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.
- Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison Wesley. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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).Google Scholar
- 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. Google Scholar
Digital Library
- Brenda S. Baker. 1977. An algorithm for structuring flowgraphs. J. ACM 24, 1 (1977), 98--120. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- Rik Eshuis and Paul W. P. J. Grefen. 2009. Composing services into structured processes. Int. J. Coop. Inf. Syst. 18, 2 (2009), 309--337.Google Scholar
Cross Ref
- Dieter Fensel, Michael Kifer, Jos de Bruijn, and John Domingue. 2005. Web Service Modeling Ontology Submission, W3C Submission. Technical Report.Google Scholar
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- John W. Lloyd. 1987. Foundations of Logic Programming. Springer. Google Scholar
Digital Library
- Therani Madhusudan and Naveen Uttamsingh. 2006. A declarative approach to composing web services in dynamic environments. Decision Support Syst. 41, 2 (2006), 325--357. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- Brahim Medjahed, Athman Bouguettaya, and Ahmed K. Elmagarmid. 2003. Composing Web services on the Semantic Web. VLDB J. 12, 4 (2003), 333--351. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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).Google Scholar
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
Index Terms
Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge
Recommendations
Semantic Web Service Composition for Service-Oriented Architectures
CECANDEEE '08: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-ServicesSemantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition request which contains a set of available input parameters and a set of wanted ...
Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge
ICWS '12: Proceedings of the 2012 IEEE 19th International Conference on Web ServicesMost 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 ...
Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services OWL-S
Web Service composition has become indispensable as a single web service cannot satisfy complex functional requirements. Composition of services has received much interest to support business-to-business B2B or enterprise application integration. An ...






Comments