A Net-based Approach to Web Services Publication and Replaceability

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

Abstrakty

EN

Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether two services can be used interchangeably in any context. To this aim, our paper first briefly reviews the results contained in a recent article by the same authors, where a suitable notion of behavioural equivalence for Web services was introduced. Our work then extends those results, in order to account for ontologybased service specifications. Next, a concrete example scenario – a car rental system – is presented, and it is then used to illustrate how the equivalence between services can be fruitfully employed for correctly addressing two prominent, modularity-related problems: the publication of correct service specifications and the replaceability of (sub)services.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 94, nr 3/4
• Strony: 305--330
• Opis fizyczny: Bibliogr. 28 poz., wykr.

Twórcy

autor

Bonchi F.

autor

Brogi A.

autor

Corfini S.

autor

Gadducci F.

• Department of Informatics, University of Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy,

Bibliografia

• [1] 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.
• [2] Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web services, Fundamentals of Software Engineering (F. Arbab, M. Sarjani, Eds.), LNCS 4767, Springer, 2007.
• [3] Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services via Behavioural Equivalence: A Case Study, Application and Theory of Petri Nets (K. van Hee, R. Valk, Eds.), LNCS 5062, Springer, 2008.
• [4] Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: On the use of behavioural equivalences for Web services' development, Fundamenta Informaticae, 89(4), 2009, 479-510.
• [5] Bonchi, F., Montanari, U.: Coalgebraic Models for Reactive Systems, Concurrency Theory (L. Caires, V. Vasconcelos, Eds.), LNCS 4703, Springer, 2007.
• [6] Bordeaux, L., Salaün, G., Berardi, D.,Mecella,M.: When are TwoWeb Services Compatible?, Technologies for E-Services (M.-C. Shan, U. Dayal, M. Hsu, Eds.), LNCS 3324, Springer, 2005.
• [7] BPEL Coalition: WS-BPEL 2.0, 2006, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
• [8] Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions, International Journal of Web Services Research, 4(3), 2007, 1-25.
• [9] Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts forWeb services, Principles of Programming Languages (G. C. Necula, P. Wadler, Eds.), ACM, 2008.
• [10] Fernandez, J.-C., Mounier, L., Jard, C., Jeron, T.: On-the-fly Verification of Finite Transition Systems, Formal Methods in System Design, 1(2/3), 1992, 251-273.
• [11] Laneve, C., Padovani, L.: The Must Preorder Revisited, Concurrency Theory (L. Caires, V. Vasconcelos, Eds.), LNCS 4703, Springer, 2007.
• [12] Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems, Concurrency Theory (C. Palamidessi, Ed.), LNCS 1877, Springer, 2000.
• [13] Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes, Business Process Management (S. Dustdar, J. L. Fiadeiro, A. Sheth, Eds.), LNCS 4102, Springer, 2006.
• [14] Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services, Application and Theory of Petri Nets (Y. Kleijn, A. Yakovlev, Eds.), LNCS 4546, Springer, 2007.
• [15] Martens, A.: On Compatibility of Web Services, Petri Net Newsletter, 65, 2003, 12-20.
• [16] Martens, A.: Analyzing Web service based business processes, Fundamental Approaches to Software Engineering (M. Cerioli, Ed.), LNCS 3442, Springer, 2005.
• [17] Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA, Annals of Mathematics, Computing & Teleinformatics, 1(3), 2005, 35-43.
• [18] McGuinness, D., van Harmelen, F.: OWLWeb Ontology LanguageOverview, 2004,W3C Recommendation. http://www.ai.sri.com/daml/services/owl-s/1.2/overview/.
• [19] Milner, R.: Communication and Concurrency, Prentice Hall, 1989.
• [20] 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.
• [21] OWL-S Coalition: OWL-S: Semantic Markup for Web Service, 2006, http://www.ai.sri.com/daml/ services/owl-s/1.2/overview/.
• [22] Papazoglou, M., Georgakopoulos, D.: Service-Oriented Computing, Communications of the ACM, 46(10), 2003, 24-28.
• [23] Pathak, J., Basu, S., Honavar, V.: On Context-Specific Substitutability ofWeb Services, Web Services, IEEE Computer Society, 2007.
• [24] Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis for timed web service protocols, Conceptual Modeling (C. Parent, K.-D. Schewe, V. C. Storey, B. Thalheim, Eds.), LNCS 4801, Springer, 2007.
• [25] Puhlmann, F., Weske, M.: Interaction Soundness for Service Orchestrations, Service-oriented Computing (A. Dan, W. Winfried Lamersdorf, Eds.), LNCS 4294, Springer, 2006.
• [26] Reisig, W.: Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer, 1985.
• [27] Tan, W., Fan, Y., Zhou, M.: A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language, IEEE Transactions on Automation Science and Engineering, 6(1), 2009, 94-106.
• [28] 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.), Florida International University 2005.