chapter

Synthesis and Composition of Web Services

Authors:

Annapaola Marconi,

Marco PistoreAuthors Info & Claims

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

May 2009

Pages 89 - 157

https://doi.org/10.1007/978-3-642-01918-0_3

Published: 22 May 2009 Publication History

Abstract

One of the key ideas underlying Web services is that of allowing the combination of existing services published on the Web into a new service that achieves some higher-level functionality and satisfies some business goals. As the manual development of the new composite service is recognized as a difficult and error-prone task, the automated synthesis of the composition is considered one of the key challenges in the field of Web services.

In this paper, we will present a survey of existing approaches for the synthesis of Web service compositions. We will then focus on a specific approach, the ASTRO approach, which has been shown to support complex composition requirements and to be applicable in real domains. In the paper, we will present the formal framework behind the ASTRO approach; we will present the implementation of the framework and its integration within a commercial toolkit for developing Web services; we will finally evaluate the approach on a real-world composition domain.

References

[1]

ActiveBPEL. The Open Source BPEL Engine, http://www.activebpel.org

[2]

Akkiraju, R., Srivastava, B., Ivan, A., Goodwin, R., Syeda-Mahmood, T.: Semaplan: Combining planning with semantic matching to achieve web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)

Digital Library

[3]

Amazon Services. AWSECommerceService WSDL Specification (2006), http://aws.amazon.com/

[4]

Amazon Services. Amazon E-Commerce Service - Developer Guide (2007), http://developer.amazonwebservices.com/

[5]

Ambite, J.L., Kapoor, D.: Argos: a framework for automatically generating data processing workflows. In: Proc. of the 8th annual international conference on Digital government research, dg.o 2007 (2007)

[6]

Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003)

[7]

Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., Mcllraith, S., Narayanan, S.: DAML-S: semantic markup for web services. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)

[8]

Ardagna, D., Pernici, B.: Dynamic web service composition with QoS constraints. International Journal of Business Process Integration and Management 1(4), 233-243 (2006)

[9]

ASTRO. Project ASTRO: Supporting the Composition of Distributed Business Processes, http://astroproject.org

[10]

Baresi, L., Maurino, A.,Modalfieri, S.:Workflow partitioning in mobile information systems. In: Proc. of IFIP TC8 Working Conference on Mobile Systems (2004)

[11]

Benatallah, B., Dumas, M., Fauvet, M., Rabhi, F.: Towards patterns of web services composition (2002)

[12]

Benatallah, B., Dumas, M., Sheng, Q., Ngu, A.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: Proc. of the International Conference on Data Engineering, ICDE 2002 (2002)

[13]

Berardi, D.: Automatic Service Composition: Models, Techniques and Tools. Ph.D Thesis (2005)

[14]

Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. of the 31st VLDB Conference, VLDB 2005 (2005)

[15]

Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of E-Services that export their behaviour. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43-58. Springer, Heidelberg (2003)

[16]

Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of Services with Nondeterministic Observable Behaviour. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 520-526. Springer, Heidelberg (2005)

[17]

Berge, C.: Graphs and Hypergraphs. North-Holland, Amsterdam (1973)

[18]

Berge, C.: Hypergraphs: Combinatorics of Finite Sets. North-Holland, Amsterdam (1989)

[19]

Berglund, A., Boag, S., Chamberlin, D., Ferndez, M.F., Kay, M., Robie, J., Simé on, J.: XML Path Language, XPath 2.0 (2007), http://www.w3.org/TR/xpath20/

[20]

Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. of IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (2001)

[21]

Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)

[22]

Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. IJCAI 2001 (2001)

Digital Library

[23]

Boley, H.: Directed recursive labelnode hypergraphs: a new representation language. Artificial Intelligence 9, 49-85 (1977)

Digital Library

[24]

Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 214-227. Springer, Heidelberg (2005)

[25]

Bryant, R.E.:Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 8(C-35), 677-691 (1986)

[26]

Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: In Proc. of the 12th international conference on World Wide Web (WWW2003), pp. 403-410 (2003)

Digital Library

[27]

Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 10²⁰ states and beyond. In: Proc. of Symp. Logic in Computer Science, pp. 428-439 (1990)

[28]

Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Service Description Language (WSDL), version 1.1 (2001)

[29]

Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning via model checking: A decision procedure for ar. In: Steel, S. (ed.) ECP 1997. LNCS, vol. 1348, pp. 130-142. Springer, Heidelberg (1997)

Digital Library

[30]

Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning as model checking. In: Proc. of ECP, pp. 1-20 (1999)

[31]

Cimatti, A., Pistore, M., Roveri, M., Traverso, P.:Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1-2), 35-84 (2003)

Digital Library

[32]

Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)

[33]

ActiveBPEL Designer. The Active Endpoints BPEL Designer, http://www.active-endpoints.com

[34]

Dustdar, S., Schreiner, W.: A survey on web services composition. Int. J. Web and Grid Services 1, 1-30 (2005)

Digital Library

[35]

Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B. Elsevier, Amsterdam (1990)

[36]

Erol, K., Hendler, J., Nau, D.: Semantics for HTN planning (1994)

[37]

Erol, K., Hendler, J., Nau, D.: UMCP: A sound and complete procedure for hierarchical task-network planning. In: Proc. Artificial Intelligence Planning Systems Symposium, pp. 249-254 (1994)

[38]

W3C Semantic Annotations forWeb Service Description Language Working Group. Semantic Annotations for WSDL and XML Schema, SAWSDL (2007), http://www.w3.org/TR/sawsdl/

[39]

Fujii, K., Suda, T.: Dynamic service composition using semantic information. In: Proc. of International Conference on Service Oriented Computing, ICSOC 2004 (2004)

[40]

De Giacomo, G., Lesperance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109-169 (2000)

Digital Library

[41]

Gnesi, S., Montanari, U., Martelli, A.: Dynamic programming as graph searching: an algebraic approach. J. Assoc. Comp. Mach. 28, 737-751 (1981)

Digital Library

[42]

Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. PODS 2003 (2003)

[43]

Kazhamiakin, R.: Formal Analysis of Web Service Compositions. Ph.D Thesis (2007)

[44]

Khalaf, R., Mukhi, N., Weerawarana, S.: Service Oriented Composition in BPEL4WS. In: Proc. WWW2003 (2003)

[45]

Koehler, J., Srivastava, B.:Web Service Composition: Current Solutions and Open Problems. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)

[46]

Kuster, U., Stern, M., Konig-Ries, B.: A classification of issures and approaches in service composition. In:Workshop Proc. First InternationalWorkshop on Engineering Service Compositions, WESC 2005 (2005)

[47]

Lecue, F., Delteil, A., Leger, A.: Applying abduction in semantic web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)

[48]

Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59-83 (1997)

[49]

Levi, G., Sirovich, F.: Generalized And/Or graphs. Artificial Intelligence 7, 243-259 (1976)

[50]

Marconi, A., Pistore, M., Traverso, P.: Specifying Data-Flow Requirements for the Automated Composition of Web Services. In: Proc. of Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006 (2006)

[51]

Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition at Work: the Amazon/MPS Case Study. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)

[52]

Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition in Practice: from Composition Requirements Specification to Process Run. In: Proc. of 2nd European Young Researchers Workshop on Service Oriented Computing, YRSOC 2007 (2007)

[53]

Marconi, A.: Automated Process-level Composition of Web Services: from Requirements Specification to Process Run. Ph.D thesis, Univerity of Trento (2008)

[54]

Martelli, A., Montanari, U.: Additive AND/OR graphs. In: Proc. IJCAI, vol. 3 (1973)

[55]

McCarthy, J.: Situations, actions and causal laws (1968)

[56]

McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. NMR 2002 (2002)

[57]

McIlraith, S., Son, S.: Adapting Golog for Composition of Semantic Web Services. In: Proc. of the Eighth International Conference on Knowledge Representation and Reasoning, KR 2002 (2002)

[58]

Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8(6), 51-59 (2004)

Digital Library

[59]

Nagarajan, M., Verma, K., Sheth, A.P., Miller, J.A., Lathem, J.: Semantic interoperability of web services - challenges and experiences. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)

Digital Library

[60]

Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. In: Proc. of 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2004)

[61]

Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of the Eleventh International Conference on World Wide Web, WWW 2002 (2002)

[62]

Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20, 379-404 (2003)

Digital Library

[63]

Nau, D., Cao, Y., Lotem, A.,Muroz-Avila, H.: Shop: Simple hierarchical ordered planner. In: Proc. of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999 (1999)

[64]

Oracle. Oracle BPEL Process Manager, http://www.oracle.com/appserver/bpel_home.html

[65]

OWL-S. OWL-S: Semantic Markup for Web Services (OWL-S version 1.0) (2003)

[66]

Peer, J.: Web service composition as AI planning - a survey (2005)

[67]

Pistore, M., Marconi, A., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proc. IJCAI 2005 (2005)

[68]

Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: Proc. ICAPS 2005 (2005)

[69]

Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. of IEEE International Conference on Web Services, ICWS 2005 (2005)

Digital Library

[70]

Ponnekanti, S., Fox, A.: SWORD: A Developer Toolkit for Web Service Composition. In: Proc. WWW2002 (2002)

[71]

Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43-54. Springer, Heidelberg (2005)

[72]

Sacerdoti, E.D.: Planning in a hierarchy of abstraction spaces. In: Proc. of the Third International Joint Conference on Artificial Intelligence, IJCAI 1973 (1973)

[73]

Sadiq, W., Sadiq, S., Schulz, K.: Model-driven distribution of collaborative business processes. In: Proc. of IEEE International Conference on Services Computing, SCC (2006)

Digital Library

[74]

Sirin, E., Hendler, J., Parsia, B.: Semi automatic composition of web services using semantic descriptions. In: Proc. ICEIS 2003 Workshop on Web Services: Modeling, Architecture and Infrastructure (2003)

[75]

Skogan, D., Gronmo, R., Solheim, I.: Web Service Composition in UML. In: Proc. EDOC 2004 (2004)

[76]

Srivastava, B., Koehler, J.: Planning with Workflows - An Emerging Paradigm for Web Service Composition. In: Proc. of ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (2004)

[77]

Thakkar, S., Ambite, J.L., Knoblock, C.A.: A view integration approach to dynamic composition of web services. In: Proc. of the 1st ICAPS International Workshop on Planning for Web Services, P4WS 2003 (2003)

[78]

Thakkar, S., Ambite, J.L., Knoblock, C.A.: A data integration approach to automatically composing and optimizing web services. In: Proc. of the 2nd ICAPS InternationalWorkshop on Planning and Scheduling for Web and Grid Services (2004)

[79]

Thakkar, S., Ambite, J.L., Knoblock, C.A., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proc. of 2002 AAAI Workshop on Intelligent Service Integration (2002)

[80]

Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P., Traverso, P.: ASTRO: supporting the Composition and Execution of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 495-501. Springer, Heidelberg (2005)

[81]

van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (2003)

[82]

Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Proc. of the 22nd International Conference on Conceptual Modeling (2003)

[83]

Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-SWeb Services Composition using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195-210. Springer, Heidelberg (2003)

[84]

Yildiz, U., Godart, C.: Centralized versus decentralized conversation-based orchestrations. In: Proc. of 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, CEC-EEE 2007 (2007)

[85]

Yildiz, U., Godart, C.: Information flow control with decentralized service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)

[86]

Zeng, L.: Dynamic web services composition. Ph.D Thesis (2003)

Cited By

(2019)A semantic matching engine for web service compositionInternational Journal of Business Information Systems10.5555/3302617.330262330:1(92-108)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3302617.3302623
Lemos ADaniel FBenatallah B(2015)Web Service CompositionACM Computing Surveys10.1145/283127048:3(1-41)Online publication date: 9-Dec-2015
https://dl.acm.org/doi/10.1145/2831270
Rouached MSallay H(2014)A semantic QoS-aware web services composition frameworkInternational Journal of Business Information Systems10.1504/IJBIS.2014.06412417:1(94-111)Online publication date: 1-Aug-2014
https://dl.acm.org/doi/10.1504/IJBIS.2014.064124
Show More Cited By

Index Terms

Synthesis and Composition of Web Services
1. Information systems
  1. World Wide Web
    1. Web applications

Index terms have been assigned to the content through auto-classification.

Recommendations

Semantically realizing discovery and composition for RESTful web services
Abstract
The processes of service discovery and composition are crucial tasks in application development driven by Web Services. However, with RESTful Web Service replacing SOAP-based Web Service as the dominant service-providing approach, the research on ...
Towards composition of RESTful web services
ICCCNT '15: Proceedings of the 2015 6th International Conference on Computing, Communication and Networking Technologies (ICCCNT)

RESTful HTTP and SOAP/WSDL services are two architectural styles for building web services, Where SOAP/WSDL based services follows an operation centric approach and RESTful HTTP based services follows resource centric approach. Dynamic composition of ...
Composition and evaluation of trustworthy web services

Web service technology seamlessly enables integration of different software to fulfil dynamic business demands in a platform-neutral fashion. By means of standard interfaces, service requesters can obtain their desired functionalities through certain ...

Comments

Information & Contributors

Information

Published In

cover image Guide books

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

May 2009

339 pages

ISBN:9783642019173

Editors:
Marco Bernardo
Istituto di Scienze e Tecnologie dell'Informazione, Università di Urbino "Carlo Bo", Urbino, Italy 61029
,
Luca Padovani
Istituto di Scienze e Tecnologie dell'Informazione, Università di Urbino "Carlo Bo", Urbino, Italy 61029
,
Gianluigi Zavattaro
Dipartimento di Scienze dell'Informazione, Università di Bologna, Bologna, Italy 40127

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 22 May 2009

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2019)A semantic matching engine for web service compositionInternational Journal of Business Information Systems10.5555/3302617.330262330:1(92-108)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3302617.3302623
Lemos ADaniel FBenatallah B(2015)Web Service CompositionACM Computing Surveys10.1145/283127048:3(1-41)Online publication date: 9-Dec-2015
https://dl.acm.org/doi/10.1145/2831270
Rouached MSallay H(2014)A semantic QoS-aware web services composition frameworkInternational Journal of Business Information Systems10.1504/IJBIS.2014.06412417:1(94-111)Online publication date: 1-Aug-2014
https://dl.acm.org/doi/10.1504/IJBIS.2014.064124
Laleh TKhodadadi AMokhov SPaquet JYan YDesai B(2014)Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service CompositionProceedings of the 2014 International C* Conference on Computer Science & Software Engineering10.1145/2641483.2641528(1-6)Online publication date: 3-Aug-2014
https://dl.acm.org/doi/10.1145/2641483.2641528
Fionda VGreco G(2013)The complexity of mixed multi-unit combinatorial auctionsArtificial Intelligence10.1016/j.artint.2012.12.002196(1-25)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.artint.2012.12.002
Khéfifi RPoizat PSaïs F(2013)Automatic Composition of Form-Based Services in a Context-Aware Personal Information SpaceProceedings of the 11th International Conference on Service-Oriented Computing - Volume 827410.1007/978-3-642-45005-1_48(575-583)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1007/978-3-642-45005-1_48
Poizat PSalaün GOssowski SLecca P(2012)Checking the realizability of BPMN 2.0 choreographiesProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232095(1927-1934)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232095
Nguyen HPoizat PZaïdi FOssowski SLecca P(2012)Passive conformance testing of service choreographiesProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232020(1528-1535)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232020
Carbone RMinea MMödersheim SPonta STuruani MViganò L(2011)Towards formal validation of trust and security in the internet of servicesThe future internet10.5555/1983741.1983755(193-207)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/1983741.1983755

View Options

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 Chapter

Media

Figures

Other

Tables

View Table of Contents