research-article

A Framework for the composition and formal verification of adaptable semantic Web services

Authors:

Rihab Ben Lamine,

Raoudha Ben Djemaa,

Ikram AmousAuthors Info & Claims

MoMM2018: Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia

Pages 25 - 33

https://doi.org/10.1145/3282353.3282355

Published: 19 November 2018 Publication History

Abstract

This paper proposes a framework for composing and formally verifying adaptable semantic Web services. This framework enables, on one hand, the service provider to describe and publish adaptable semantic Web services. On the other hand, it allows users to compose and verify Web services according to their contexts. By our verification process, two important properties for the composition of adaptable semantic Web services namely the liveness and the adaptability are verified. Unlike previous works, our framework permits to take into accounts context information throughout the whole Web services life cycle.

References

[1]

Siewe, F., Zedan, H., Cau, A. (2011). The calculus of context-aware ambients. Journal of Computer and System Sciences, 77 (4): 597--620.

Digital Library

[2]

Li L, Liu D, Bouguettaya A. Semantic based aspect-oriented programming for context-aware Web service composition. Inf Syst. 2011;36(3):551--564.

Digital Library

[3]

Baidouri H, Hafiddi H, Nassar M, Kriouile A. Towards a Context-Aware Composition of Services*. 2012;12(3):133--140.

[4]

Furno A, Zimeo E. Context-aware composition of semantic web services. Mob Networks Appl. 2014;19(2):235--248.

Digital Library

[5]

Blum AL, Furst ML. Fast planning through planning graph analysis. Artif Intell. 1997; 90(1-2):281--300.

Digital Library

[6]

Yan Y, Chen M. Anytime QoS-aware service composition over the GraphPlan. Serv Oriented Comput Appl. 2015;9(1)

Digital Library

[7]

Cao, Z., Zhang, X., Zhang, W., Xie, X., Shi, J., and Xu, H. (2015). A Context-Aware Adaptive Web Service Composition Framework. IEEE International Conference on Computational Intelligence & Communication Technology (CICT), 2015, 62--66.

[8]

Boukadi, K., Ghedira, Ch., Maamar, Z., and Boucheneb, H. (2007). Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets. In 9th International Conference on Enterprise Information System, ICEIS 07, Jun 2007, Madeira, Portugal, 107--112.

[9]

Chemaa, S., Bouarioua, M., and Chaoui, A. (2015). A high-level Petri net based model for web services composition and verification. International Journal of Computer Applications in Technology, 51(4): 306--323.

Digital Library

[10]

Nagamouttou, D., Egambaram, I., Krishnan, M., and Narasingam, P. (2015). A verification strategy for web services composition using enhanced stacked automata model, SpringerPlus, 4:98

[11]

Zhu, Y., Huang, Z., Zhou, H. (2016). Modeling and verification of web services composition based on model transformation. Journal of Software: Practice and Experience 2016.

Digital Library

[12]

Ben Lamine, R., Ben Jemaa, R., and Amous, I.(2017). Graph Planning Based Composition For Adaptable Semantic Web Services. Proceedings of the 2017 International Conference on Knowledge Based and Intelligent Information and Engineering Systems, KES2017, 6-8 September 2017, Marseille, France.

[13]

Ben Lamine, R., Ben Jemaa, R., and Amous, I. (2018). Formal Specification of Adaptable Semantic Web Services Composition. IJITWE, International Journal of Information Technology and Web Engineering, 13(4): 14--34.

Digital Library

[14]

Almutairi, A. (2013). Context-Aware and Adaptive Usage Control Model. Phd Thesis. Montfort University - Leicester, 2013. UK

[15]

Alghamdi, A. S. (2015). Features Interaction Detection and Resolution in Smart home systems Using Agent-Based Negotiation Approach. Phd Thesis. Montfort university - Leicester, 2015. UK.

Cited By

Andon PSlabospitskaya O(2021)Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service CompositionPROBLEMS IN PROGRAMMING10.15407/pp2021.04.003(003-018)Online publication date: Dec-2021
https://doi.org/10.15407/pp2021.04.003
Hu YQin XXie B(2019)Research on Semantic Composition of Smart Government Services Based on Abstract ServicesAdvances in Intelligent Systems and Interactive Applications10.1007/978-3-030-34387-3_99(803-814)Online publication date: 30-Nov-2019
https://doi.org/10.1007/978-3-030-34387-3_99

Index Terms

A Framework for the composition and formal verification of adaptable semantic Web services
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification

Recommendations

Formal Specification of Adaptable Semantic Web Services Composition

This article proposes a formal specification method for Web services composition based on context-aware semantic planning graph technique. The authors first use a graph planning technique to conceive an adaptable semantic Web services composition. They ...
Model transformation and formal verification for Semantic Web Services composition

Web services composition is becoming more and more important in today's service oriented business environment. We need to compose services from different providers together to fulfill the business goals that cannot be satisfied by any single service. ...
Graph Planning Based Composition For Adaptable Semantic Web Services

This paper proposes a context-aware semantic planning graph technique for Web services composition. We first use an ontology based context model for extending Web services descriptions with information about the most suitable context for its use. Then, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

MoMM2018: Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia

November 2018

157 pages

ISBN:9781450364522

DOI:10.1145/3282353

Copyright © 2018 ACM.

© 2018 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

In-Cooperation

Johannes Kepler University, Linz, Austria
@WAS: International Organization of Information Integration and Web-based Applications and Services
Johannes Kepler University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 November 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

MoMM2018

MoMM2018: 16th International Conference on Advances in Mobile Computing and Multimedia

November 19 - 21, 2018

Yogyakarta, Indonesia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
56
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Andon PSlabospitskaya O(2021)Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service CompositionPROBLEMS IN PROGRAMMING10.15407/pp2021.04.003(003-018)Online publication date: Dec-2021
https://doi.org/10.15407/pp2021.04.003
Hu YQin XXie B(2019)Research on Semantic Composition of Smart Government Services Based on Abstract ServicesAdvances in Intelligent Systems and Interactive Applications10.1007/978-3-030-34387-3_99(803-814)Online publication date: 30-Nov-2019
https://doi.org/10.1007/978-3-030-34387-3_99

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten