Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Web Services and Formal Methods

WS-FM 2012: Web Services and Formal Methods pp 1–15Cite as

Formal Approaches for Synthesis of Web Service Business Protocols

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7843))

Abstract

In this paper, we consider the web service business protocol synthesis problem, i.e., the automated construction of a new target protocol by reusing some existing ones. We review recent research works and challenges and discuss the associated computational problems both in bounded and unbounded settings.

This is a preview of subscription content, 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   49.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Vianu, V., Deutsch, A., Sui, L.: Specification and verification of data-driven web applications. J. Comput. Syst. Sci., 442–474 (2007)

    Google Scholar 

  2. Caswell, N.S., Nigam, A.: Business artifacts: An approach to operational specification. IBM Systems Journal 3(42), 428–445 (2003)

    Google Scholar 

  3. Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: LICS, pp. 132–140 (2000)

    Google Scholar 

  4. Akroun, L., Benatallah, B., Nourine, L., Toumani, F.: On decidability of simulation in data-centeric business protocols. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 352–363. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  5. Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 274–286. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327–357 (2006)

    Article  Google Scholar 

  7. Benatallah, B., Casati, F., Toumani, F.: Analysis and management of web service protocols. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 524–541. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: VLDB, pp. 613–624 (2005)

    Google Scholar 

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

    Chapter  Google Scholar 

  10. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. IJCIS 14(4), 333–376 (2005)

    Google Scholar 

  11. Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. IJFCS 19(2), 429–451 (2008)

    MATH  Google Scholar 

  12. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW 2003. ACM (2003)

    Google Scholar 

  13. Church, A.: Applications of recursive arithmetic to the problem of circuit synthesis. In: Summaries of the Summer Institute of Symbolic Logic, vol. 1, pp. 3–50. Institute for Defense Analyses (1960)

    Google Scholar 

  14. Dang, Z., Ibarra, O.H., Su, J.: Composability of infinite-state activity automata. In: Fleischer, R., Trippen, G. (eds.) ISAAC 2004. LNCS, vol. 3341, pp. 377–388. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: ICDT, pp. 252–267 (2009)

    Google Scholar 

  16. Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Amercian Journal of Mathematics 35, 413–422 (1913)

    Article  MATH  Google Scholar 

  17. Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services 1(1), 1–30 (2005)

    Article  Google Scholar 

  18. Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theor. Comput. Sci. 256(1-2), 63–92 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  19. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. JCSS 18(2), 194–211 (1979)

    MathSciNet  MATH  Google Scholar 

  20. Gerede, C.E., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-services: lookaheads. In: ICSOC, pp. 252–262 (2004)

    Google Scholar 

  21. Gerede, C.E., Ibarra, O.H., Ravikumar, B., Su, J.: Minimum-cost delegation in service composition. TCS 409(3), 417–431 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  22. De Giacomo, G., De Masellis, R., Patrizi, F.: Composition of partially observable services exporting their behaviour. In: ICAPS (2009)

    Google Scholar 

  23. Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Australasian Database Conference, pp. 191–200 (2003)

    Google Scholar 

  24. Ragab Hassen, R., Nourine, L., Toumani, F.: Protocol-based web service composition. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 38–53. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS (2003)

    Google Scholar 

  27. Kucera, A., Jancar, P.: Equivalence-checking on infinite-state systems: Techniques and results. TPLP 6(3), 227–264 (2006)

    MathSciNet  MATH  Google Scholar 

  28. Kucera, A., Mayr, R.: Simulation preorder over simple process algebras. Information and Computation 173(2), 184–198 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  29. Lustig, Y., Vardi, M.Y.: Synthesis from component libraries. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 395–409. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  30. Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002, pp. 77–88 (2002)

    Google Scholar 

  31. Motahari Nezhad, H.R., Benatallah, B., Casati, F., Toumani, F.: Web services interoperability specifications. Computer 39(5), 24–32 (2006)

    Article  Google Scholar 

  32. Ogden, W.F., Riddle, W.E., Round, W.C.: Complexity of expressions allowing concurrency. In: SIGACT-SIGPLAN, New York, USA, pp. 185–194 (1978)

    Google Scholar 

  33. Patrizi, F., De Giacomo, G.: Composition of services that share an infinite-state blackboard (extended abstract). In: IIWEB (2009)

    Google Scholar 

  34. Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 599–614. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  35. Ragab, R., Nourine, L., Toumani, F.: Decidability and complexity of business protocol-based web service composition. Technical report

    Google Scholar 

  36. Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40–65 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  37. Thomas, W.: Facets of synthesis: Revisiting church’s problem. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 1–14. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  38. Yellin, D.M., Storm, R.E.: Protocol Specifications and Component Adaptors. ACM TPLS 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIMOS, CNRS, Blaise Pascal University, Clermont-Ferrand, France

    Lhouari Nourine & Farouk Toumani

Authors
  1. Lhouari Nourine
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Farouk Toumani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ISTI–CNR, Pisa, Italy

    Maurice H. ter Beek

  2. Institut für Informatik, Universität Rostock, 18051, Rostock, Germany

    Niels Lohmann

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nourine, L., Toumani, F. (2013). Formal Approaches for Synthesis of Web Service Business Protocols. In: ter Beek, M.H., Lohmann, N. (eds) Web Services and Formal Methods. WS-FM 2012. Lecture Notes in Computer Science, vol 7843. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38230-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38230-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38229-1

  • Online ISBN: 978-3-642-38230-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation