A Petri net approach for the design and analysis of Web Services Choreographies

Journal of Logic and Algebraic Programming

Volumn 78, Issue 5, 2009, Pages 359-380

  Valero, Valentín ^a   Emilia Cambronero, M ^a   Díaz, Gregorio ^a   Macià, Hermenegilda ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Choreography; Priorities; Time Petri nets; Web service composition; Web services

Indexed keywords

CHOREOGRAPHY; COMPOSITE WEB SERVICES; DESCRIPTION LANGUAGES; ENTERPRISE APPLICATION INTEGRATIONS; PEER-TO-PEER COLLABORATIONS; PRIORITIES; TIME PETRI NETS; VALUE-ADDED SERVICES; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITIONS;

GRAPH THEORY; LINGUISTICS; PETRI NETS;

WEB SERVICES;

EID: 67349131927     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2008.09.002     Document Type: Article

References (34)

1. van der Aalst W.M.P. Interval timed coloured Petri nets and their analysis. Lecture Notes in Computer Science 691 (1993) 451-472
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. .
3. Ajmone Marsan M., Balbo G., Bobbio A., Chiola G., Conte G., and 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., and Machiraju V. Web Services (2002), Springer-Verlag
5. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
6. T. Andrews, et al., BPEL4WS - Business Process Execution Language for Web Services, Version 1.1, May 2003. .
7. Bause F. On the analysis of Petri nets with static priorities. Acta Informatica 33 7 (1986) 669-686
8. Best E., and Koutny M. Petri net semantics of priority systems. Theoretical Computer Science 96 (1992) 175-215
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.
10. Bucci G., Fedeli A., Sassoli L., and 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., and Su J. Analyzing conversations of web services. IEEE Internet Computing 10 1 (2006) 18-25
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. .
13. J. Clark, XSL Transformations (XSLT), Version 1.0, Technical Report REC-xml-19980210, W3C, 1998. .
14. Clarke E.M., Grumberg O., and 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.
16. Heitmeyer C., and 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 (2003) 63-69
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.
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.
20. 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
22. Milner R., Parrow J., and Walker D. A calculus of mobile processes, part I and II. Information and Computation 100 1 (1992) 1-40
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.
24. 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., and 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.
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.
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.
29. Wang J. Timed Petri Nets, Theory and Application (1998), Kluwer
30. Web Services Choreography Description Language Version 1.0 (WS-CDL), 2005. .
31. World Wide Web Consortium (W3C), 2008. .
32. World Wide Web Consorium (W3C), Web Services Description Language (WSDL). Version 2.0, 2007. .
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.
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.