research-article

Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge

Authors:

Freddy Lécué,

Nikolay MehandjievAuthors Info & Claims

ACM Transactions on the Web (TWEB), Volume 10, Issue 1

Article No.: 5, Pages 1 - 27

https://doi.org/10.1145/2842628

Published: 08 February 2016 Publication History

Abstract

Most service composition approaches rely on top-down decomposition of a problem and AI-style planning to assemble service components into a meaningful whole, impeding reuse and flexibility. In this article, we propose an approach that starts from declarative knowledge about the semantics of individual service components and algorithmically constructs a full-blown service orchestration process that supports sequence, choice, and parallelism. The output of our algorithm can be mapped directly into a number of service orchestration languages such as OWL-S and BPEL. The approach consists of two steps. First, semantic links specifying data dependencies among the services are derived and organized in a flexible network. Second, based on a user request indicating the desired outcomes from the composition, an executable composition is constructed from the network that satisfies the dependencies. The approach is unique in producing complex compositions out of semantic links between services in a flexible way. It also allows reusing knowledge about semantic dependencies in the network to generate new compositions through new requests and modification of services at runtime. The approach has been implemented in a prototype that outperforms related composition prototypes in experiments.

References

[1]

Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison Wesley.

Digital Library

[2]

Rama Akkiraju, Biplav Srivastava, Anca-Andreea Ivan, Richard Goodwin, and Tanveer Fathima Syeda-Mahmood. 2006. SEMAPLAN: Combining planning with semantic matching to achieve web service composition. In Proc. 2006 IEEE International Conference on Web Services (ICWS’06). 37--44.

Digital Library

[3]

Mohammad Alrifai, Thomas Risse, and Wolfgang Nejdl. 2012. A hybrid approach for efficient Web service composition with end-to-end QoS constraints. TWEB 6, 2 (2012), 7.

Digital Library

[4]

Alexandre Alves, Assaf Arkin, Sid Askary, Charlton Barreto, Ben Bloch, Francisco Curbera, Mark Ford, Yaron Goland, Alejandro Guízar, Neelakantan Kartha, Canyang Kevin Liu, Rania Khalaf, Dieter König, Mike Marin, Vinkesh Mehta, Satish Thatte, Danny van der Rijn, Prasad Yendluri, and Alex Yiu. 2007. Web Services Business Process Execution Language Version 2.0 (OASIS Standard). WS-BPEL TC OASIS. (2007).

[5]

Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the EL envelope. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05). Professional Book Center, 364--369.

Digital Library

[6]

Brenda S. Baker. 1977. An algorithm for structuring flowgraphs. J. ACM 24, 1 (1977), 98--120.

Digital Library

[7]

Steve Battle. 2004. Round-tripping between XML and RDF. Poster at Third International Semantic Web Conference (ISCW'04). http://iswc2004.semanticweb.org/posters/PID-BRRGVFRE-1090254811.pdf.

[8]

Boualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, and Farouk Toumani. 2005. On automating Web services discovery. VLDB J. 14, 1 (2005), 84--96.

Digital Library

[9]

Boualem Benatallah, Quan Z. Sheng, and Marlon Dumas. 2003. The self-serv environment for Web services composition. IEEE Internet Comput. 7, 1 (2003), 40--48.

Digital Library

[10]

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella. 2005. Automatic service composition based on behavioral descriptions. Int. J. Coop. Inf. Syst. 14, 4 (2005), 333--376.

[11]

Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, and Marco Pistore. 2007. Integrating discovery and automated composition: From semantic requirements to executable code. In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS’07). 815--822.

[12]

Piergiorgio Bertoli, Marco Pistore, and Paolo Traverso. 2010. Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174, 3--4 (2010), 316--361.

Digital Library

[13]

Diana Borrego, Rik Eshuis, María Teresa Gómez López, and Rafael M. Gasca. 2013. Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87 (2013), 167--184.

Digital Library

[14]

Antonio Brogi, Razvan Popescu, and Matteo Tanca. 2010. Design and implementation of Sator: A web service aggregator. ACM Trans. Softw. Eng. Methodol. 19, 3 (2010), 10:1--10:21.

Digital Library

[15]

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, and Fabio Patrizi. 2008. Automatic service composition and synthesis: The roman model. IEEE Data Eng. Bull. 31, 3 (2008), 18--22. http://sites.computer.org/debull/A08Sept/roman.pdf.

[16]

Marco Crasso, Alejandro Zunino, and Marcelo Campo. 2011. A survey of approaches to Web service discovery in service-oriented architectures. J. Database Manag. 22, 1 (2011), 102--132.

Digital Library

[17]

Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, and Shiyong Lu. 2004. A model for abstract process specification, verification and composition. In Proceedings of the Second International Conference on Service Oriented Computing (ICSOC'04). ACM Press, 232--241.

Digital Library

[18]

Rik Eshuis and Paul W. P. J. Grefen. 2009. Composing services into structured processes. Int. J. Coop. Inf. Syst. 18, 2 (2009), 309--337.

[19]

Dieter Fensel, Michael Kifer, Jos de Bruijn, and John Domingue. 2005. Web Service Modeling Ontology Submission, W3C Submission. Technical Report.

[20]

Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, and Ingo Weber. 2008. Detecting regulatory compliance for business process models through semantic annotations. In Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers (Lecture Notes in Business Information Processing), Danilo Ardagna, Massimo Mecella, and Jian Yang (Eds.), Vol. 17. Springer, 5--17.

[21]

Ourania Hatzi, Dimitris Vrakas, Mara Nikolaidou, Nick Bassiliades, Dimosthenis Anagnostopoulos, and Ioannis P. Vlahavas. 2012. An integrated approach to automated semantic Web service composition through planning. IEEE T. Serv. Comput. 5, 3 (2012), 319--332.

Digital Library

[22]

Kerry Hinge, Aditya K. Ghose, and George Koliadis. 2009. Process SEER: A tool for semantic effect annotation of business process models. In Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference (EDOC’09), September 1-4, 2009, Auckland, New Zealand. IEEE Computer Society, 54--63.

Digital Library

[23]

Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, and Marco Pistore. 2009. Message-based Web service composition, integrity constraints, and planning under uncertainty: A new connection. J. Artif. Intell. Res. (JAIR) 35 (2009), 49--117.

Digital Library

[24]

Ian Horrocks. 1998. Using an expressive description logic: FaCT or Fiction? In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). 636--647.

Digital Library

[25]

Richard Hull, Michael Benedikt, Vassilis Christophides, and Jianwen Su. 2003. E-services: A look behind the curtain. In Proc. of the 22nd ACM Symposium on Principles of Database Systems. ACM, 1--14.

Digital Library

[26]

Ravi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, and Slinger Jansen. 2011. Model-driven development of service compositions for enterprise interoperability. In Proceedings of the Third International IFIP Working Conference on Enterprise Interoperability (IWEI'11). 177--190.

[27]

Matthias Klusch, Andreas Gerber, and M. Schmidt. 2005. Semantic Web service composition planning with OWLS-XPlan. In Agents and the Semantic Web: Papers from the AAAI Fall Symposium (Fall Symposium Series Technical Reports), Vol. FS-05-01. AAAI Press, 55--62.

[28]

George Koliadis and Aditya Ghose. 2007. Verifying semantic business process models in inter-operation. In Proceedings of the IEEE International Conference on Services Computing (SCC’07). 731--738.

[29]

Srividya Kona, Ajay Bansal, and Gopal Gupta. 2007. Automatic composition of semantic Web services. In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS’07). 150--158.

[30]

Jacek Kopecký, Tomas Vitvar, Carine Bournez, and Joel Farrell. 2007. SAWSDL: Semantic annotations for WSDL and XML schema. IEEE Internet Comput. 11, 6 (2007), 60--67.

Digital Library

[31]

Alexander Lazovik, Marco Aiello, and Mike P. Papazoglou. 2006. Planning and monitoring the execution of web service requests. Int. J. Digital Libraries 6, 3 (2006), 235--246.

Digital Library

[32]

Freddy Lécué, Alexandre Delteil, Alain Léger, and Olivier Boissier. 2009. Web service composition as a composition of valid and robust semantic links. Int. J. Coop. Inf. Syst. 18, 1 (2009), 1--62.

[33]

Freddy Lécué and Nikolay Mehandjiev. 2011. Seeking quality of Web service composition in a semantic dimension. IEEE Trans. Knowl. Data Eng. 23, 6 (2011), 942--959.

Digital Library

[34]

Thomas Lengauer and Robert E. Tarjan. 1979. A fast algorithm for finding dominators in a flowgraph. ACM Trans. Program. Lang. Syst. 1, 1 (1979), 121--141.

Digital Library

[35]

Lei Li and Ian Horrocks. 2003. A software framework for matchmaking based on semantic web technology. In Proceedings of the Twelfth International World Wide Web Conference (WWW'03). 331--339.

Digital Library

[36]

Qianhui Althea Liang and Stanley Y. W. Su. 2005. AND/OR graph and search algorithm for discovering composite web services. Int. J. Web Service Res. 2, 4 (2005), 48--67.

[37]

John W. Lloyd. 1987. Foundations of Logic Programming. Springer.

Digital Library

[38]

Therani Madhusudan and Naveen Uttamsingh. 2006. A declarative approach to composing web services in dynamic environments. Decision Support Syst. 41, 2 (2006), 325--357.

Digital Library

[39]

David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, and Naveen Srinivasan. 2007. Bringing semantics to Web services with OWL-S. World Wide Web 10, 3 (2007), 243--277.

Digital Library

[40]

Sheila A. McIlraith and Tran Cao Son. 2002. Adapting golog for composition of semantic Web services. In Proceedings of the Eight International Conference on Principles and Knowledge Representation and Reasoning (KR'02), D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams (Eds.). Morgan Kaufmann, 482--496.

[41]

Brahim Medjahed, Athman Bouguettaya, and Ahmed K. Elmagarmid. 2003. Composing Web services on the Semantic Web. VLDB J. 12, 4 (2003), 333--351.

Digital Library

[42]

Nikolay Mehandjiev, Freddy Lécué, Usman Wajid, and Abdallah Namoun. 2010. Assisted service composition for end users. In 8th IEEE European Conference on Web Services (ECOWS’10), Antonio Brogi, Cesare Pautasso, and George Angelos Papadopoulos (Eds.). IEEE Computer Society, 131--138.

Digital Library

[43]

Le Duy Ngan and Rajaraman Kanagasabai. 2013. Semantic Web service discovery: State-of-the-art and research challenges. Personal Ubiquitous Comput. 17, 8 (2013), 1741--1752.

Digital Library

[44]

Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee, and Soundar R. T. Kumara. 2006. WSBen: A Web services discovery and composition benchmark. In Proceedings of the 2006 IEEE International Conference on Web Services (ICWS’06). IEEE Computer Society, 239--248.

Digital Library

[45]

Seog-Chan Oh, Dongwon Lee, and Soundar R. T. Kumara. 2007. Web service planner (WSPR): An effective and scalable Web service composition algorithm. Int. J. Web Service Res. 4, 1 (2007), 1--22.

[46]

Bart Orriëns, Jian Yang, and Mike P. Papazoglou. 2003. Model driven service composition. In Proceedings of the First International Conference on Service-Oriented Computing (ICSOC'03). 75--90.

[47]

Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia P. Sycara. 2002. Semantic matching of Web services capabilities. In Proceedings of the First International Semantic Web Conference (ISWC'02). 333--347.

Digital Library

[48]

Carlos Pedrinaci, David Lambert, Maria Maleshkova, Dong Liu, John Domingue, and Reto Krummenacher. 2010. Adaptive service binding with lightweight semantic web services. In Service Engineering, Schahram Dustdar and Fei Li (Eds.). Springer.

[49]

Shankar R. Ponnekanti and Armando Fox. 2002. SWORD: A developer toolkit for building composite web services. In Proc. of the 11th International World Wide Web Conference (WWW'02).

[50]

Jinghai Rao, Peep Küngas, and Mihhail Matskin. 2006. Composition of semantic Web services using Linear Logic theorem proving. Inf. Syst. 31, 4--5 (2006), 340--360.

Digital Library

[51]

Quan Z. Sheng, Xiaoqiang Qiao, Athanasios V. Vasilakos, Claudia Szabo, Scott Bourne, and Xiaofei Xu. 2014. Web services composition: A decade’s overview. Inf. Sci. 280 (2014), 218--238.

[52]

Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, and Dana S. Nau. 2004. HTN planning for Web service composition using SHOP2. J. Web Sem. 1, 4 (2004), 377--396.

Digital Library

[53]

Katia P. Sycara, Massimo Paolucci, Anupriya Ankolekar, and Naveen Srinivasan. 2003. Automated discovery, interaction and composition of Semantic Web services. J. Web Sem. 1, 1 (2003), 27--46.

[54]

Paolo Traverso and Marco Pistore. 2004. Automated composition of semantic Web services into executable processes. In Proceedings of the Third International Semantic Web Conference (ISWC'04). Springer, 380--394.

Digital Library

[55]

Pengwei Wang, Zhijun Ding, Changjun Jiang, and Mengchu Zhou. 2014. Automated web service composition supporting conditional branch structures. Enterprise Inf. Syst. 8, 1 (2014), 121--146.

Digital Library

[56]

Ingo Weber, Jörg Hoffmann, and Jan Mendling. 2010. Beyond soundness: On the verification of semantic business process models. Distrib. Parallel Databases 27, 3 (2010), 271--343.

Digital Library

[57]

Ingo Weber, Hye-Young Paik, and Boualem Benatallah. 2013. Form-based Web service composition for domain experts. TWEB 8, 1 (2013), 2:1--2:40.

Digital Library

Cited By

Quenum JJosua JBrandic ISakellariou RSpillner J(2021)Multi-cloud serverless function compositionProceedings of the 14th IEEE/ACM International Conference on Utility and Cloud Computing10.1145/3468737.3494090(1-10)Online publication date: 6-Dec-2021
https://dl.acm.org/doi/10.1145/3468737.3494090
Afzal AShafiq BShamail SElahraf AVaidya JAdam N(2021) ASSEMBLE: A ttribute, S tructure and S emantics Based S e rvice M apping Approach for Collaborative B usiness Process Deve l opm e nt IEEE Transactions on Services Computing10.1109/TSC.2018.280534614:2(371-385)Online publication date: 1-Mar-2021
https://doi.org/10.1109/TSC.2018.2805346
Chattopadhyay SBanerjee A(2020)QoS Constrained Large Scale Web Service Composition Using Abstraction RefinementIEEE Transactions on Services Computing10.1109/TSC.2017.270754813:3(529-544)Online publication date: 1-May-2020
https://doi.org/10.1109/TSC.2017.2707548
Show More Cited By

Index Terms

Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge
1. Information systems
  1. Information retrieval
    1. Search engine architectures and scalability
      1. Distributed retrieval
      2. Peer-to-peer retrieval
  2. Information storage systems
    1. Storage architectures
      1. Distributed storage

Recommendations

Towards semantic web service engineering
SMRR'07: Proceedings of the 2007 International Conference on Service Matchmaking and Resource Retrieval in the Semantic Web - Volume 243

The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existing and new Web services. INFRAWEBS has adopted the WSMO (Web Service ...
Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge
ICWS '12: Proceedings of the 2012 IEEE 19th International Conference on Web Services

Most service composition approaches rely on top down decomposition of a problem and AI-style planning to assemble services into a meaningful whole, impeding reuse and flexibility. In contrast, our approach starts from declarative knowledge about the ...
An weighted ontology-based semantic similarity algorithm for web service

A critical step in the process of reusing existing WSDL-specified services for building web-based applications is the discovery of potentially relevant services. However, the category-based service discovery, such as UDDI, is clearly insufficient. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on the Web

ACM Transactions on the Web Volume 10, Issue 1

February 2016

198 pages

ISSN:1559-1131

EISSN:1559-114X

DOI:10.1145/2870642

Editors:
Brian D. Davison
Lehigh University, USA
,
Marianne Winslett
University of Illinois at Urbana-Champaign

Issue’s Table of Contents

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 February 2016

Accepted: 01 October 2015

Revised: 01 July 2015

Received: 01 December 2013

Published in TWEB Volume 10, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
333
Total Downloads

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

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Quenum JJosua JBrandic ISakellariou RSpillner J(2021)Multi-cloud serverless function compositionProceedings of the 14th IEEE/ACM International Conference on Utility and Cloud Computing10.1145/3468737.3494090(1-10)Online publication date: 6-Dec-2021
https://dl.acm.org/doi/10.1145/3468737.3494090
Afzal AShafiq BShamail SElahraf AVaidya JAdam N(2021) ASSEMBLE: A ttribute, S tructure and S emantics Based S e rvice M apping Approach for Collaborative B usiness Process Deve l opm e nt IEEE Transactions on Services Computing10.1109/TSC.2018.280534614:2(371-385)Online publication date: 1-Mar-2021
https://doi.org/10.1109/TSC.2018.2805346
Chattopadhyay SBanerjee A(2020)QoS Constrained Large Scale Web Service Composition Using Abstraction RefinementIEEE Transactions on Services Computing10.1109/TSC.2017.270754813:3(529-544)Online publication date: 1-May-2020
https://doi.org/10.1109/TSC.2017.2707548
Afzal AZahid MAkhtar AShafiq BShamail SElahraf AVaidya JAdam N(2020)BP-Com: A Service Mapping Tool for Rapid Development of Business Processes2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS47774.2020.00121(1235-1238)Online publication date: Nov-2020
https://doi.org/10.1109/ICDCS47774.2020.00121
Zhou ZWen JWang YXue XHung PNguyen L(2020)Topic-based crossing-workflow fragment discoveryFuture Generation Computer Systems10.1016/j.future.2020.05.029112(1141-1155)Online publication date: Nov-2020
https://doi.org/10.1016/j.future.2020.05.029
Zhang YSheng V(2019)Fog-enabled Event Processing Based on IoT Resource ModelsIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2018.286750431:9(1707-1721)Online publication date: 1-Sep-2019
https://doi.org/10.1109/TKDE.2018.2867504
Feng SFeng ZCao L(2019)Many-to-One Gesture-to-Command Flexible Mapping Approach for Smart Teaching Interface InteractionIEEE Access10.1109/ACCESS.2019.29573657(179517-179531)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2957365
Wen JZhou ZLei FZhang J(2019)Basic and personalized pattern-based workflow fragments discoveryPersonal and Ubiquitous Computing10.1007/s00779-019-01276-325:6(1091-1111)Online publication date: 22-Aug-2019
https://dl.acm.org/doi/10.1007/s00779-019-01276-3
Gu QCao JYang X(2018)A Web Services Composition Discovery Approach Based on Service Data Network2018 IEEE International Conference on Progress in Informatics and Computing (PIC)10.1109/PIC.2018.8706331(344-350)Online publication date: Dec-2018
https://doi.org/10.1109/PIC.2018.8706331
Kurniawan KEkaputra FAryan P(2018)Semantic Service Description and Compositions: A Systematic Literature Review2018 2nd International Conference on Informatics and Computational Sciences (ICICoS)10.1109/ICICOS.2018.8621686(1-6)Online publication date: Oct-2018
https://doi.org/10.1109/ICICOS.2018.8621686
Show More Cited By

View Options

Get Access

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 Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents