×
Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda

A Petri net approach for the design and analysis of web services choreographies. (English) Zbl 1188.68205

J. Log. Algebr. Program. 78, No. 5, 359-380 (2009).
Summary: A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, e.g. the Internet. Web Services composition provides a way to obtain value-added services by combining several Web Services. The composition of Web Services is, therefore, suitable to support enterprise application integration. WS-CDL (Web Services Choreography Description Language) is a W3C candidate recommendation for the description of peer-to-peer collaborations for the participants in a Web Services composition. In this paper we focus our attention on the development of a methodology for the design and validation of composite Web Services using WS-CDL as the language for describing Web Services interactions and Petri nets as a formalism that allows us to simulate and validate the described systems. We specifically intend, then, to capture timed and prioritized collaborations in composite Web Services, so the model of Petri nets that we use is a prioritized version of Time Petri nets.

Cited in 3 Documents

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M10 Network design and communication in computer systems

Keywords:

web services; web service composition; priorities; choreography; time Petri nets
Cite Review PDF
Full Text: DOI

References:

[1] van der Aalst, W. M.P., Interval timed coloured Petri nets and their analysis, Lecture Notes in Computer Science, 691, 451-472 (1993)
[2] W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, H.M.W. Verbeek, Choreography conformance checking: an approach based on BPEL and Petri nets, in: Dagstuhl Seminar Proceedings 06291, The Role of Business Processes in SOA, 2006. <http://drops.dagstuhl.de/opus/volltexte/2006/830>.; W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, H.M.W. Verbeek, Choreography conformance checking: an approach based on BPEL and Petri nets, in: Dagstuhl Seminar Proceedings 06291, The Role of Business Processes in SOA, 2006. <http://drops.dagstuhl.de/opus/volltexte/2006/830>.
[3] Ajmone Marsan, M.; Balbo, G.; Bobbio, A.; Chiola, G.; Conte, G.; Cumani, A., On Petri nets with stochastic timing, (Proceedings of the International Workshop on Timed Petri Nets (1985), IEEE Computer Society Press), 80-87
[4] Alonso, G.; Casati, F.; Kuno, H.; Machiraju, V., Web Services (2002), Springer-Verlag
[5] Alur, R.; Dill, D. L., A theory of timed automata, Theoretical Computer Science, 126, 183-235 (1994) · Zbl 0803.68071
[6] T. Andrews, et al., BPEL4WS - Business Process Execution Language for Web Services, Version 1.1, May 2003. <http://www.ibm.com/developerworks/library/specification/ws-bpel/>.; T. Andrews, et al., BPEL4WS - Business Process Execution Language for Web Services, Version 1.1, May 2003. <http://www.ibm.com/developerworks/library/specification/ws-bpel/>.
[7] Bause, F., On the analysis of Petri nets with static priorities, Acta Informatica, 33, 7, 669-686 (1986) · Zbl 0849.68086
[8] Best, E.; Koutny, M., Petri net semantics of priority systems, Theoretical Computer Science, 96, 175-215 (1992) · Zbl 0753.68059
[9] A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing web service choreography, in: WS-FM’04, Electronic Notes in Theoretical Computer Science, vol. 105, 2004, pp. 73-94.; A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing web service choreography, in: WS-FM’04, Electronic Notes in Theoretical Computer Science, vol. 105, 2004, pp. 73-94. · Zbl 1271.68083
[10] Bucci, G.; Fedeli, A.; Sassoli, L.; Vicario, E., Modeling flexible real time systems with preemptive time Petri nets, (Proceedings of the 15th Euromicro Conference on Real-Time Systems (2003), IEEE Computer Society Press), 279-286
[11] Bultan, T.; Fu, X.; Su, J., Analyzing conversations of web services, IEEE Internet Computing, 10, 1, 18-25 (2006)
[12] M. Carbone, K. Honda, N. Yoshida, A theoretical basis of communicaton-centres concurrent programming, in: First International Summer School on Emerging Trends in Concurrency (TIC’06), 2006. <http://www.dcs.qmul.ac.uk/\( \sim\) carbonem/cdlpaper/part1.pdf>.; M. Carbone, K. Honda, N. Yoshida, A theoretical basis of communicaton-centres concurrent programming, in: First International Summer School on Emerging Trends in Concurrency (TIC’06), 2006. <http://www.dcs.qmul.ac.uk/\( \sim\) carbonem/cdlpaper/part1.pdf>.
[13] J. Clark, XSL Transformations (XSLT), Version 1.0, Technical Report REC-xml-19980210, W3C, 1998. <http://www.w3.org/TR/xslt>.; J. Clark, XSL Transformations (XSLT), Version 1.0, Technical Report REC-xml-19980210, W3C, 1998. <http://www.w3.org/TR/xslt>.
[14] Clarke, E. M.; Grumberg, O.; Peled, D. A., Model Checking (1999), MIT Press
[15] R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: Proceedings of the 14th Australasian Database Conference, vol. 17, 2003, pp. 191-200.; R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: Proceedings of the 14th Australasian Database Conference, vol. 17, 2003, pp. 191-200.
[16] Heitmeyer, C.; Mandrioli, D., Formal Methods for Real-Time Computing (1996), John Wiley & Sons
[17] Hoare, T., The verifying compiler: a grand challenge for computing research, Journal of ACM, 50, 1, 63-69 (2003) · Zbl 1032.68868
[18] A. van Lamsweerde, A. Dardenne, Stephen Fickas, Goal-directed requirements acquisition, Selected Papers of the Sixth International Workshop on Software Specification and Design, Science of Computer Programming, 20 (1-2), 1993, 3-50.; A. van Lamsweerde, A. Dardenne, Stephen Fickas, Goal-directed requirements acquisition, Selected Papers of the Sixth International Workshop on Software Specification and Design, Science of Computer Programming, 20 (1-2), 1993, 3-50. · Zbl 0792.68024
[19] A. Martens, Analyzing web service based business processes, in: Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE’05), Lecture Notes in Computer Science, vol. 3442, 2005, pp. 19-33.; A. Martens, Analyzing web service based business processes, in: Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE’05), Lecture Notes in Computer Science, vol. 3442, 2005, pp. 19-33. · Zbl 1119.68305
[20] P. Merlin, A Study of the Recoverability of Communication Protocols, Ph.D. Thesis, University of California, 1974.; P. Merlin, A Study of the Recoverability of Communication Protocols, Ph.D. Thesis, University of California, 1974.
[21] Milner, R., Communication and Concurrency (1989), Prentice-Hall · Zbl 0683.68008
[22] Milner, R.; Parrow, J.; Walker, D., A calculus of mobile processes, part I and II, Information and Computation, 100, 1, 1-40 (1992) · Zbl 0752.68036
[23] Z. Qiu, X. Zhao, C. Cai, H. Yang, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, 2007, pp. 973-982.; Z. Qiu, X. Zhao, C. Cai, H. Yang, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, 2007, pp. 973-982.
[24] C. Ramchandani, Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, 1973.; C. Ramchandani, Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, 1973.
[25] Salaun, G.; Bordeaux, L.; Schaerf, M., Describing and reasoning on web services using process algebra, (Second International Conference on Web Services (2004), IEEE Computer Society Press), 43-50
[26] J. Sifakis, Use of Petri nets for performance evaluation, in: Proceedings of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems, Elsevier Science Publishers, 1977, pp. 75-93.; J. Sifakis, Use of Petri nets for performance evaluation, in: Proceedings of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems, Elsevier Science Publishers, 1977, pp. 75-93. · Zbl 0425.68001
[27] J.P. Thomas, M. Thomas, G. Ghinea, Modeling of web services flow, in: IEEE International Conference on E-Commerce, Newport Beach, California, USA, 2003, pp. 391-398.; J.P. Thomas, M. Thomas, G. Ghinea, Modeling of web services flow, in: IEEE International Conference on E-Commerce, Newport Beach, California, USA, 2003, pp. 391-398.
[28] H.M.W. Verbeek, W.M.P. van der Aalst, Analyzing BPEL processes using Petri nets, in: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, 2005, pp. 59-78.; H.M.W. Verbeek, W.M.P. van der Aalst, Analyzing BPEL processes using Petri nets, in: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, 2005, pp. 59-78.
[29] Wang, J., Timed Petri Nets, Theory and Application (1998), Kluwer · Zbl 0924.68147
[30] Web Services Choreography Description Language Version 1.0 (WS-CDL), 2005. <http://www.w3.org/TR/ws-cdl-10/>.; Web Services Choreography Description Language Version 1.0 (WS-CDL), 2005. <http://www.w3.org/TR/ws-cdl-10/>.
[31] World Wide Web Consortium (W3C), 2008. <http://www.w3.org/>.; World Wide Web Consortium (W3C), 2008. <http://www.w3.org/>.
[32] World Wide Web Consorium (W3C), Web Services Description Language (WSDL). Version 2.0, 2007. <http://www.w3.org/TR/2007/NOTE-wsdl20-rdf-20070626/>.; World Wide Web Consorium (W3C), Web Services Description Language (WSDL). Version 2.0, 2007. <http://www.w3.org/TR/2007/NOTE-wsdl20-rdf-20070626/>.
[33] H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang, A formal model for web service choreography description language (WS-CDL), in: International Conference on Web Services (ICWS’06), IEEE Computer Society Press, 2006, pp. 893-894.; H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang, A formal model for web service choreography description language (WS-CDL), in: International Conference on Web Services (ICWS’06), IEEE Computer Society Press, 2006, pp. 893-894.
[34] W.L. Yeung, Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services, in: Proceedings of 4th IEEE European Conference on Web Services 2006 (ECOWS’06), IEEE Computer Society, 2006, pp. 297-305.; W.L. Yeung, Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services, in: Proceedings of 4th IEEE European Conference on Web Services 2006 (ECOWS’06), IEEE Computer Society, 2006, pp. 297-305.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.