Assumption-Based Composition and Monitoring of Web Services

  • Marco Pistore
  • Paolo Traverso


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.


Service Composition Component Service Composite Service Monitor Generation Process Instance 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ActiveBPEL. The Open Source BPEL Engine - Scholar
  2. 2.
    A. Albore and P. Bertoli. Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. In Proc. AAAI, 2004.Google Scholar
  3. 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. 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. 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. 6.
    BEA and IBM. BPELJ: BPEL for Java - /webservices/library/ws-bpel.Google Scholar
  7. 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. 8.
    B. Benatallah, F. Casati, and F. Toumani. Analysis and Management of Web Services Protocols. In ER, 2004.Google Scholar
  9. 9.
    B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing web service protocols. Data Knowl. Eng., 58(3), 2006.Google Scholar
  10. 10.
    B. Benatallah, F. Casati, F. Toumani, and R. Hamadi. Conceptual Modeling of Web Service Conversations. In CAiSE, 2003.Google Scholar
  11. 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. 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. 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. 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. 15.
    B. Bonet and H. Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. In Proc. AIPS’00, 2000.Google Scholar
  16. 16.
    R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293–318, 1992.CrossRefGoogle Scholar
  17. 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. 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.zbMATHGoogle Scholar
  19. 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. 20.
    I. Constantinescu, B. Faltings, and W. Binder. Typed Based Service Composition. In Proc. WWW2004, 2004.Google Scholar
  21. 21.
    U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. AAAI’02, 2002.Google Scholar
  22. 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. 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. 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. 25.
    M. Feather and S. Fickas. Requirements Monitoring in Dynamic Environment. In Int. Conf. on Requirements Engineering, 1995.Google Scholar
  26. 26.
    The Web Service Modeling Framework. SDK WSMO working group - Scholar
  27. 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. 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. 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. 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. 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. 32.
    S. McIlraith and R. Fadel. Planning with Complex Actions. In Proc. NMR’02, 2002.Google Scholar
  33. 33.
    S. McIlraith and S. Son. Adapting Golog for composition of semantic web Services. In Proc. KR’02, 2002.Google Scholar
  34. 34.
    S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW2002, 2002.Google Scholar
  35. 35.
    M. Paolucci, K. Sycara, and T. Kawamura. Delivering Semantic Web Services. In Proc. WWW2003, 2002.Google Scholar
  36. 36.
    D.K. Peters. Deriving Real-Time Monitors for System Requirements Documentation. In Int. Symp. on Requirements Engineering - Doctoral Symposium, 1997.Google Scholar
  37. 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. 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. 39.
    M. Pistore, D. Shaparau, and P. Traverso. Contingent Planning with Goal Preferences. In Proc. AAAI’06, 2006.Google Scholar
  40. 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. 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. 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. 43.
    A. Pnueli and R. Rosner. On the synthesis of an asynchronous reactive module. In Proc. ICALP’89, 1989.Google Scholar
  44. 44.
    W. Robinson. Monitoring Web Service Requirements. In IEEE Int. Conference on Requirement Engineering, 2003.Google Scholar
  45. 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. 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. 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. 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. 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. 50.
    M. Y. Vardi. An automata-theoretic approach to fair realizability and synthesis. In Proc. CAV’95, 1995.Google Scholar
  51. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Marco Pistore
    • 1
  • Paolo Traverso
    • 1
  1. 1.ITC-IRSTPovoItaly

Personalised recommendations