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.
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
Vianu, V., Deutsch, A., Sui, L.: Specification and verification of data-driven web applications. J. Comput. Syst. Sci., 442–474 (2007)
Caswell, N.S., Nigam, A.: Business artifacts: An approach to operational specification. IBM Systems Journal 3(42), 428–445 (2003)
Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: LICS, pp. 132–140 (2000)
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)
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)
Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327–357 (2006)
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)
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)
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)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. IJCIS 14(4), 333–376 (2005)
Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. IJFCS 19(2), 429–451 (2008)
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)
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)
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)
Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: ICDT, pp. 252–267 (2009)
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)
Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services 1(1), 1–30 (2005)
Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theor. Comput. Sci. 256(1-2), 63–92 (2001)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. JCSS 18(2), 194–211 (1979)
Gerede, C.E., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-services: lookaheads. In: ICSOC, pp. 252–262 (2004)
Gerede, C.E., Ibarra, O.H., Ravikumar, B., Su, J.: Minimum-cost delegation in service composition. TCS 409(3), 417–431 (2008)
De Giacomo, G., De Masellis, R., Patrizi, F.: Composition of partially observable services exporting their behaviour. In: ICAPS (2009)
Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Australasian Database Conference, pp. 191–200 (2003)
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)
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)
Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS (2003)
Kucera, A., Jancar, P.: Equivalence-checking on infinite-state systems: Techniques and results. TPLP 6(3), 227–264 (2006)
Kucera, A., Mayr, R.: Simulation preorder over simple process algebras. Information and Computation 173(2), 184–198 (2002)
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)
Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002, pp. 77–88 (2002)
Motahari Nezhad, H.R., Benatallah, B., Casati, F., Toumani, F.: Web services interoperability specifications. Computer 39(5), 24–32 (2006)
Ogden, W.F., Riddle, W.E., Round, W.C.: Complexity of expressions allowing concurrency. In: SIGACT-SIGPLAN, New York, USA, pp. 185–194 (1978)
Patrizi, F., De Giacomo, G.: Composition of services that share an infinite-state blackboard (extended abstract). In: IIWEB (2009)
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)
Ragab, R., Nourine, L., Toumani, F.: Decidability and complexity of business protocol-based web service composition. Technical report
Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40–65 (2003)
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)
Yellin, D.M., Storm, R.E.: Protocol Specifications and Component Adaptors. ACM TPLS 19(2), 292–333 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)