Skip to main content
SpringerLink
Log in

Assumption-Based Composition and Monitoring of Web Services

  • Chapter
Book cover Test and Analysis of Web Services

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

  2. A. Albore and P. Bertoli. Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. In Proc. AAAI, 2004.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. L. Baresi, C. Ghezzi, and S. Guinea. Smart Monitors for Composed Services. In Proc. of Int. Conf. on Service-Oriented Computing, 2004.

    Google Scholar 

  5. L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL Processes. In Proc. of Int. Conf. on Service-Oriented Computing, 2005.

    Google Scholar 

  6. BEA and IBM. BPELJ: BPEL for Java - http://www-106.ibm.com/developerworks /webservices/library/ws-bpel.

    Google Scholar 

  7. B. Benatallah, F. Casati, H. Skogsrud, and F. Toumani. Abstracting and Enforcing Web Service Protocols. Int. Journal of Cooperative Information Systems, 2004.

    Google Scholar 

  8. B. Benatallah, F. Casati, and F. Toumani. Analysis and Management of Web Services Protocols. In ER, 2004.

    Google Scholar 

  9. B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing web service protocols. Data Knowl. Eng., 58(3), 2006.

    Google Scholar 

  10. B. Benatallah, F. Casati, F. Toumani, and R. Hamadi. Conceptual Modeling of Web Service Conversations. In CAiSE, 2003.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. B. Bonet and H. Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. In Proc. AIPS’00, 2000.

    Google Scholar 

  16. R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293–318, 1992.

    Article  Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    MATH  Google Scholar 

  19. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services. In Technical White paper (OWL-S version 1.0), 2003.

    Google Scholar 

  20. I. Constantinescu, B. Faltings, and W. Binder. Typed Based Service Composition. In Proc. WWW2004, 2004.

    Google Scholar 

  21. U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. AAAI’02, 2002.

    Google Scholar 

  22. D. Mc Dermott. The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University, 1998. CVC Report 98-003.

    Google Scholar 

  23. A. Dingwall-Smith and A. Finkelstein. From Requirements to Monitors by way of Aspects. In Int. Conf. on Aspect-Oriented Software Development, 2002.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. M. Feather and S. Fickas. Requirements Monitoring in Dynamic Environment. In Int. Conf. on Requirements Engineering, 1995.

    Google Scholar 

  26. The Web Service Modeling Framework. SDK WSMO working group - http://www.wsmo.org/.

    Google Scholar 

  27. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain. In Proc. PODS’03, 2003.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. K. Mahbub and G. Spanoudakis. A Framework for Requirements Monitoring of Service Based Systems. In Int. Conf. on Service-Oriented Computing (ICSOC), 2004.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. 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.

    Google Scholar 

  32. S. McIlraith and R. Fadel. Planning with Complex Actions. In Proc. NMR’02, 2002.

    Google Scholar 

  33. S. McIlraith and S. Son. Adapting Golog for composition of semantic web Services. In Proc. KR’02, 2002.

    Google Scholar 

  34. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW2002, 2002.

    Google Scholar 

  35. M. Paolucci, K. Sycara, and T. Kawamura. Delivering Semantic Web Services. In Proc. WWW2003, 2002.

    Google Scholar 

  36. D.K. Peters. Deriving Real-Time Monitors for System Requirements Documentation. In Int. Symp. on Requirements Engineering - Doctoral Symposium, 1997.

    Google Scholar 

  37. 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.

    Google Scholar 

  38. 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.

    Google Scholar 

  39. M. Pistore, D. Shaparau, and P. Traverso. Contingent Planning with Goal Preferences. In Proc. AAAI’06, 2006.

    Google Scholar 

  40. M. Pistore, L. Spalazzi, and P. Traverso. A Minimalist Approach to Semantic Annotations for Web Processes Compositions. In Proc. ESWC’06, 2006.

    Google Scholar 

  41. 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.

    Google Scholar 

  42. 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.

    Google Scholar 

  43. A. Pnueli and R. Rosner. On the synthesis of an asynchronous reactive module. In Proc. ICALP’89, 1989.

    Google Scholar 

  44. W. Robinson. Monitoring Web Service Requirements. In IEEE Int. Conference on Requirement Engineering, 2003.

    Google Scholar 

  45. 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.

    Google Scholar 

  46. diana K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In Proc. of ICSE, 2004.

    Google Scholar 

  47. M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proc. AAMAS’03, 2003.

    Google Scholar 

  48. 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.

    Google Scholar 

  49. P. Traverso and M. Pistore. Automated Composition of Semantic Web Services into Executable Processes. In Proc. Int. Semantic Web Conference (ISWC), 2004.

    Google Scholar 

  50. M. Y. Vardi. An automata-theoretic approach to fair realizability and synthesis. In Proc. CAV’95, 1995.

    Google Scholar 

  51. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S Web Services Composition using SHOP2. In Proc. ISWC’03, 2003.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ITC-IRST, Via Sommarive 18, Povo, 38050 Trento, Italy

    Marco Pistore & Paolo Traverso

Authors
  1. Marco Pistore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Traverso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipto. Elettronica Informazione, Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133 Milano, Italy

    Luciano Baresi  & Elisabetta Di Nitto  & 

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation