Abstract
We propose an approach to the automated synthesis automated synthesis and the run-time monitoring run-time monitoring of web service compositions. Automated synthesis, given a set of existing component services that are modeled in the BPEL language, and given a composition requirement, generates a new BPEL process that, once deployed, interacts with the components to satisfy the requirement. The composition requirement expresses assumptions under which component services are supposed to participate in the composition, as well as conditions that the composition is expected to guarantee. Run-time monitoring matches the actual behaviors of the service compositions against the assumptions expressed in the composition requirement, and reports violations. We describe the implementation of the proposed approach, which exploits efficient synthesis techniques, and discuss its scalability and practical applicability.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ActiveBPEL. The Open Source BPEL Engine - http://www.activebpel.org.
A. Albore and P. Bertoli. Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. In Proc. AAAI, 2004.
T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services (version 1.1), 2003.
L. Baresi, C. Ghezzi, and S. Guinea. Smart Monitors for Composed Services. In Proc. of Int. Conf. on Service-Oriented Computing, 2004.
L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL Processes. In Proc. of Int. Conf. on Service-Oriented Computing, 2005.
BEA and IBM. BPELJ: BPEL for Java - http://www-106.ibm.com/developerworks /webservices/library/ws-bpel.
B. Benatallah, F. Casati, H. Skogsrud, and F. Toumani. Abstracting and Enforcing Web Service Protocols. Int. Journal of Cooperative Information Systems, 2004.
B. Benatallah, F. Casati, and F. Toumani. Analysis and Management of Web Services Protocols. In ER, 2004.
B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing web service protocols. Data Knowl. Eng., 58(3), 2006.
B. Benatallah, F. Casati, F. Toumani, and R. Hamadi. Conceptual Modeling of Web Service Conversations. In CAiSE, 2003.
D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of E-Services that export their behaviour. In Proc. ICSOC’03, 2003.
D. Berardi, D. Calvanese, G. De Giacomo, and M. Mecella. Composition of Services with Nondeterministic Behaviours. In B. Benatallah, F. Casati, and P. Traverso, editors, Proceedings of the Third International Conference on Service-Oriented Computing (ICSOC’05). Lecture Notes in Computer Science LNCS 3826. Springer, 2005.
P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Proc. IJCAI’01, 2001.
Jim Blythe, Ewa Deelman, and Yolanda Gil. Planning for Workflow Construction and Maintenance on the Grid. In Proceedings of ICAPS’03 Workshop on Planning for Web Services, Trento, Italy, June 2003.
B. Bonet and H. Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. In Proc. AIPS’00, 2000.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293–318, 1992.
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In CAV, 2002.
A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence, 147(1-2):35–84, 2003.
The OWL Services Coalition. OWL-S: Semantic Markup for Web Services. In Technical White paper (OWL-S version 1.0), 2003.
I. Constantinescu, B. Faltings, and W. Binder. Typed Based Service Composition. In Proc. WWW2004, 2004.
U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. AAAI’02, 2002.
D. Mc Dermott. The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University, 1998. CVC Report 98-003.
A. Dingwall-Smith and A. Finkelstein. From Requirements to Monitors by way of Aspects. In Int. Conf. on Aspect-Oriented Software Development, 2002.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, 1990.
M. Feather and S. Fickas. Requirements Monitoring in Dynamic Environment. In Int. Conf. on Requirements Engineering, 1995.
The Web Service Modeling Framework. SDK WSMO working group - http://www.wsmo.org/.
R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain. In Proc. PODS’03, 2003.
A. Lazovik, M. Aiello, and Papazoglou M. Planning and Monitoring the Execution of Web Service Requests. In Proc. of the 1st International Conference on Service-Oriented Computing (ICSOC’03), 2003.
K. Mahbub and G. Spanoudakis. A Framework for Requirements Monitoring of Service Based Systems. In Int. Conf. on Service-Oriented Computing (ICSOC), 2004.
K. Mahbub and G. Spanoudakis. Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In Int. Conf. on Web Services (ICWS), 2005.
D. Mandell and S. McIlraith. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In Proc. of 2nd International Semantic Web Conference (ISWC03), 2003.
S. McIlraith and R. Fadel. Planning with Complex Actions. In Proc. NMR’02, 2002.
S. McIlraith and S. Son. Adapting Golog for composition of semantic web Services. In Proc. KR’02, 2002.
S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW2002, 2002.
M. Paolucci, K. Sycara, and T. Kawamura. Delivering Semantic Web Services. In Proc. WWW2003, 2002.
D.K. Peters. Deriving Real-Time Monitors for System Requirements Documentation. In Int. Symp. on Requirements Engineering - Doctoral Symposium, 1997.
M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. In Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), 2005.
M. Pistore, P. Roberti, and P. Traverso. Process-level compositions of executable web services: on-the-fly versus once-for-all compositions. In Proc. ESWC’05, 2005.
M. Pistore, D. Shaparau, and P. Traverso. Contingent Planning with Goal Preferences. In Proc. AAAI’06, 2006.
M. Pistore, L. Spalazzi, and P. Traverso. A Minimalist Approach to Semantic Annotations for Web Processes Compositions. In Proc. ESWC’06, 2006.
M. Pistore, P. Traverso, and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. In Proc. Int. Conf. on Automated Planning and Scheduling (ICAPS), 2005.
M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated Synthesis of Composite BPEL4WS Web Services. In IEEE Int. Conf. on Web Services (ICWS), 2005.
A. Pnueli and R. Rosner. On the synthesis of an asynchronous reactive module. In Proc. ICALP’89, 1989.
W. Robinson. Monitoring Web Service Requirements. In IEEE Int. Conference on Requirement Engineering, 2003.
A. Sahai, V. Machiraju, A. van Morsel, and F. Casati. Automated SLA Monitoring for Web Services. In Int. Workshop on Distributed Systems: Operations and Management, 2002.
diana K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In Proc. of ICSE, 2004.
M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proc. AAMAS’03, 2003.
Snehal Thakkar, Craig Knoblock, and Jose Luis Ambite. A View Integration Approach to Dynamic Composition of Web Services. In Proceedings of ICAPS’03 Workshop on Planning for Web Services, Trento, Italy, June 2003.
P. Traverso and M. Pistore. Automated Composition of Semantic Web Services into Executable Processes. In Proc. Int. Semantic Web Conference (ISWC), 2004.
M. Y. Vardi. An automata-theoretic approach to fair realizability and synthesis. In Proc. CAV’95, 1995.
D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S Web Services Composition using SHOP2. In Proc. ISWC’03, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Pistore, M., Traverso, P. (2007). Assumption-Based Composition and Monitoring of Web Services. In: Baresi, L., Nitto, E.D. (eds) Test and Analysis of Web Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72912-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-72912-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72911-2
Online ISBN: 978-3-540-72912-9
eBook Packages: Computer ScienceComputer Science (R0)