On the Use of Behavioural Equivalences for Web Services' Development

• Autorzy: Bonchi F. , Brogi A. , Corfini S. , Gadducci F.
• Języki publikacji: EN

Abstrakty

EN

Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems.We define a new behavioural equivalence for Web services, based on bisimilarity and inspired by recent advances in the theory of reactive systems. The equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviouraware discovery and for a sound incremental development of services and service compositions.

Słowa kluczowe

EN

web services

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 89, nr 4
• Strony: 479--510
• Opis fizyczny: bibliogr. 45 poz., wykr.

Twórcy

autor

Bonchi F.

autor

Brogi A.

autor

Corfini S.

autor

Gadducci F.

• Department of Computer Science University of Pisa, Italy,

Bibliografia

• [1] http://www.di.unipi.it/_corfini/owls/processmodels/.
• [2] A. Alves et al.: WS-BPEL 2.0, 2006, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
• [3] van der Aalst, W.: Pi Calculus Versus Petri Nets: Let Us Eat "Humble Pie" Rather Than Further Inflate the "Pi Hype", BPTrends, 3(5), 2005, 1-11.
• [4] van der Aalst,W., ter Hofstede, A., Kiepuszewski, B., Barros, A.:Workflow Patterns, Distributed and Parallel Databases, 14(1), 2003, 5-51.
• [5] van der Aalst,W., Alves deMedeiros, A.,Weijters, A.: Process Equivalence: Comparing Two ProcessModels Based on Observed Behavior, Business Process Management, LNCS 4102 (S. Dustdar, J. Fiadeiro, A. Sheth, Eds.), Springer, 2006.
• [6] Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes, Mathematical Structures in Computer Science, 15(1), 2005, 1-35.
• [7] Best, E., Devillers, R., Koutny, M.: The Box Algebra = Petri Nets + Process Expressions, Information and Computation, 178(1), 2002, 44-100.
• [8] Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web services, Fundamentals of Software Engineering, LNCS 4767 (F. Arbab, M. Sarjani, Eds.), Springer, 2007.
• [9] Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification ofWeb Services via Behavioural Equivalence: A Case Study, Applications and Theory of Petri Nets, LNCS 5062 (K. van Hee, R. Valk, Eds.), Springer, 2008.
• [10] Bonchi, F., König, B., Montanari, U.: Saturated Semantics for Reactive Systems, Logic in Computer Science, IEEE Computer Society, 2006.
• [11] Bonchi, F., Montanari, U.: Coalgebraic Models for Reactive Systems, Concurrency Theory, LNCS 4703 (L. Caires, V. Vasconcelos, Eds.), Springer, 2007.
• [12] Bordeaux, L., Salaün, G., Berardi, D.,Mecella,M.:When are TwoWeb Services Compatible?, Technologies for E-Services, LNCS 3324 (M.-C. Shan, U. Dayal, M. Hsu, Eds.), Springer, 2005.
• [13] Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions, International Journal of Web Services Research, 4(3), 2007, 1-25.
• [14] Brogi, A., Corfini, S., Iardella, S.: From OWL-S descriptions to Petri nets, ICSOC 2007 Workshops, LNCS 4907 (E. D. Nitto, M. Ripeanu, Eds.), Springer, 2009.
• [15] Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts forWeb services, Principles of Programming Languages (G. C. Necula, P. Wadler, Eds.), ACM 2008.
• [16] Ehrig, H., König, B.: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting, Foundations of Software Science and Computation Structures, LNCS 2987 (I.Walukiewicz, Ed.), Springer, 2004.
• [17] Hamadi, R., Benatallah, B.: A Petri Net-based Model forWeb Service Composition, Australasian Database Conference, Conferences in Research and Practice in Information Technology 17 (K.-D. Schewe, X. Zhou, Eds.), Australian Computer Society, 2003.
• [18] Kindler, E.: A Compositional Partial Order Semantics for Petri Net Components, Applications and Theory of Petri Nets, LNCS 1248 (P. Az`ema, G. Balbo, Eds.), Springer, 1997.
• [19] Lack, S., Sobociński, P.: Adhesive Categories, Foundations of Software Science and Computation Structures, LNCS 2987 (I. Walukiewicz, Ed.), Springer, 2004.
• [20] Laneve, C., Padovani, L.: TheMust Preorder Revisited, Concurrency Theory, LNCS 4703 (L. Caires, V. Vasconcelos, Eds.), Springer, 2007.
• [21] Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems, Concurrency Theory, LNCS 1877 (C. Palamidessi, Ed.), Springer, 2000.
• [22] Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes, Business Process Management, LNCS 4102 (S. Dustdar, J. L. Fiadeiro, A. Sheth, Eds.), Springer, 2006.
• [23] Lohmann,N.,Massuthe, P.,Wolf, K.: Operating Guidelines for Finite-State Services, Application and Theory of Petri Nets, LNCS 4546 (Y. Kleijn, A. Yakovlev, Eds.), Springer, 2007.
• [24] Martens, A.: On Compatibility of Web Services, Petri Net Newsletter, 65, 2003, 12-20.
• [25] Martens, A.: Analyzing Web service based business processes, Fundamental Approaches to Software Engineering, LNCS 3442 (M. Cerioli, Ed.), Springer, 2005.
• [26] Martens, A.: Consistency between Executable and Abstract Processes, e-Technology, e-Commerce, and e-Services, IEEE Computer Society, 2005.
• [27] Massuthe, P., Reisig,W., Schmidt, K.: An Operating Guideline Approach to the SOA, Annals ofMathematics, Computing & Teleinformatics, 1(3), 2005, 35-43.
• [28] Mecella,M., Parisi-Presicce, F., Pernici, B.: Modeling E-service Orchestration through Petri Nets, Technologies for E-Services, LNCS 2444, (A. P. Buchmann, F. Casati, L. Fiege, M. Hsu, M.-C. Shan, Eds.), Springer, 2002.
• [29] Milner, R.: A Calculus of Communicating Systems, LNCS 92, Springer, 1980.
• [30] Milner, R.: Bigraphs for Petri Nets, Lectures on Concurrency and Petri Nets, LNCS 3098 (J. Desel,W. Reisig, G. Rozenberg, Eds.), Springer, 2004.
• [31] Montanari, U., Rossi, F.: Contextual Nets, Acta Informatica, 32(6), 1995, 545-596.
• [32] Narayanan, S., McIlraith, S.: Analysis and simulation of Web services, Computer Networks, 42(5), 2003, 675-693.
• [33] Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI, Addison-Wesley, 2002.
• [34] Ouyang, C., Verbeek, E., van der Aalst, W. M. P., Breutel, S., Dumas, M., ter Hofstede, A. H. M.: Formal Semantics and Analysis of Control Flow in WS-BPEL, Science of Computer Programming, 67(2-3), 2007, 162-198.
• [35] OWL-S Coalition: OWL-S: Semantic Markup forWeb Service, 2006, http://www.ai.sri.com/daml/services/owl-s/1.2/overview/.
• [36] Pathak, J., Basu, S., Honavar, V.: On Context-Specific Substitutability of Web Services, Web Services, IEEE Computer Society, 2007.
• [37] Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for net based Systems, Advances in Petri nets, LNCS 609 (G. Rozenberg, Ed.), Springer, 1992.
• [38] Puhlmann, F., Weske, M.: Interaction Soundness for Service Orchestrations, Service-oriented Computing, LNCS 4294 (A. Dan,W. Winfried Lamersdorf, Eds.), Springer, 2006.
• [39] Reisig, W.: Petri Nets: An Introduction, vol. 4 of EATCS Monographs in Theoretical Computer Science, Springer, 1985.
• [40] Sassone, V., Sobociński, P.: Reactive systems over cospans, Logic in Computer Science, IEEE Computer Society, 2005.
• [41] Sassone, V., Sobociński, S.: A Congruence for Petri Nets, Petri Nets and Graph Transformation, ENTCS 127 (H. Ehrig, J. Padberg, G. Rozenberg, Eds.), Elsevier, 2005.
• [42] UDDI Coalition: The UDDI TechnicalWhite Paper, 2000, http://www.uddi.org/.
• [43] Verbeek, H., van der Aalst, W.: Analyzing BPEL processes using Petri nets, Applications of Petri Nets to Coordination, Workflow and Business Process Management (D. Marinescu, Ed.), 2005.
• [44] W3C: Simple Object Access Protocol (SOAP) 1.2, W3C working draft, 17 December 2001, 2001, http://www.w3.org/TR/2001/WD-soap12-part0-20011217/.
• [45] W3C: WSDL 1.1, 2001, http://www.w3.org/TR/wsdl.