Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets

Science of Computer Programming

Volumn 77, Issue 3, 2012, Pages 290-313

  Valero, Valentín ^a   MacI, Hermenegilda ^a   Pardo, Juan José ^a   Cambronero, María Emilia ^a   Díaz, Gregorio ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Choreography; Priorities; Timed colored Petri nets; Web Service composition; Web Services

Indexed keywords

CHOREOGRAPHY; COLORED PETRI NETS; COMMERCIAL APPLICATIONS; DATA VARIABLES; DESCRIPTION LANGUAGES; PEER-TO-PEER COLLABORATION; PRIORITIES; PRIORIZATION; TIME CONSTRAINTS; TIMED COLORED PETRI NET; VALUE ADDED SERVICE; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION;

PETRI NETS; QUALITY OF SERVICE; SEMANTICS;

WEB SERVICES;

EID: 84855189147     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2011.05.002     Document Type: Conference Paper

References (44)

1. W.M.P. van der Aalst Interval timed coloured Petri nets and their analysis Lecture Notes in Computer Science 691 1993 451 472
2. W.M.P. van der Aalst, and M.A. Odijk Analysis of railway stations by means of interval timed coloured Petri nets Real-Time Systems 9 1995 241 263
3. 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 Proccedings 06291, The Role of Business Processes in SOA, 2006. http://drops.dagstuhl.de/opus/volltexte/2006/830.
4. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani On Petri nets with stochastic timing Proc. of the International Workshop on Timed Petri Nets 1985 IEEE Computer Society Press 80 87
5. G. Alonso, F. Casati, H. Kuno, and V. Machiraju Web Services 2002 Springer-Verlag
6. T. Andrews, et al., BPEL4WSBusiness Process Execution Language for Web Services. Version 1.1, May 2003, http://www.ibm.com/developerworks/library/ specification/ws-bpel/.
7. F. Arbab Reo: a channel-based coordination model for component composition Mathematical Structures in Computer Science 14 3 2004 329 366 (Pubitemid 38729561)
8. F. Bause On the analysis of Petri nets with static priorities Acta Informatica 33 7 1986 669 686
9. E. Best, and M. Koutny Petri net semantics of priority systems Theoretical Computer Science 96 1992 175 215
10. I. Ben-Hafaiedh, S. Graf, and S. Quinton Building distributed controllers for systems with priorities Journal of Logic and Algebraic Programming 80 35 2011 194 218
11. E. Best, R. Devillers, and M. Koutny Petri Net Algebra 2001 Springer Verlag
12. E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz M-nets: an algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages Acta Informatica 35 10 1998 813 857 (Pubitemid 128365045)
13. T. Bolognesi, F. Lucidi, and S. Trigila From timed Petri nets to timed LOTOS Proceedings of the Tenth International IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification 1990 North-Holland
14. Fred D.J. Bowden, Modelling time in Petri nets, in: Proc. Second Australia-Japan Workshop on Stochastic Models, 1996.
15. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo Formalizing web service choreography WS-FM'04 Electronic Notes in Theoretical Computer Science 2004
16. T. Bultan, X. Fu, and J. Su Analyzing conversations of web services IEEE Internet Computing 10 1 2006 18 25 (Pubitemid 43159609)
17. M. Carbone, K. Honda, N. Yoshida, Structured communicationcentred programming for web services, in: ESOP, 2007, pp. 217.
18. CPN Tools homepage. www.cs.au.dk/CPNTools.
19. R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: ADC'03: Proceedings of the 14th Australasian Database Conference, 2003.
20. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall
21. K. Jensen Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use Monographs in Theoretical Computer Science 1997 Springer-Verlag
22. K. Jensen, and L.M. Kristensen Coloured Petri Nets. Modelling and Validation of Concurrent Systems 2009 Springer
23. C. Laneve, L. Padovani, Smooth orchestrators, in: FoSSaCS, 2006, pp. 3246.
24. N. Lohmann, A feature-complete Petri net semantics for ws-bpel 2.0, in: Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 2829, 2007. Proceedings, 2007, pp. 7791.
25. A. Martens Analyzing web service based business processes Proc. of International Conference on Fundamental Approaches to Software Engineering FASE'05 Lecture Notes in Computer Science vol. 3442 2005 19 33 (Pubitemid 41273668)
26. P. Merlin, A study of the recoverability of communication protocols, Ph.D. Thesis, Univ. of California, 1974.
27. R. Milner communication and Concurrency 1989 Prentice-Hall International
28. J.L. Peterson Petri Net Theory and the Modeling of Systems 1981 Prentice-Hall
29. 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. 973982.
30. C. Ramchandani, Performance evaluation of asynchronous concurrent systems by timed Petri nets, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, 1973.
31. N. Roohi, G. Salan, and S. Mirian-Hosseinabadi Analyzing chor specifications by translation into FSP Electronic Notes in Theoretical Computer Science 255 2009 159 176
32. G. Salaun, L. Bordeaux, and M. Schaerf Describing and reasoning on web services using process algebra Second International Conference on Web Services 2004 IEEE Computer Society Press
33. J. Sifakis Use of Petri nets for performance evaluation Proc. of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems 1977 Elsevier Science Publishers 75 93
34. S. Tasharofi, and M. Sirjani Formal modeling and conformance validation for WS-CDL using Reo and CASM Electronic Notes in Theoretical Computer Science 229 2 2009 155 174
35. J.P. Thomas, M. Thomas, G. Ghinea, Modeling of web services flow, in: IEEE International Conference on E-Commerce, Newport Beach, California, USA, June 2003, pp. 391398.
36. 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. 5978.
37. V. Valero, D. de Frutos, F. Cuartero, Decidability of the strict reachability problem for TPN's with rational and real durations, in: Proc. 5th International Workshop on Petri Nets and Performance Models, 1993, pp. 5665.
38. J. Wang Timed Petri Nets, Theory and Application 1998 Kluwer
39. World Wide Web Consortium (W3C). http://www.w3.org/.
40. Web Services Choreography Description Language Version 1.0 (WS-CDL). http://www.w3.org/TR/ws-cdl-10/.
41. W3C. Web Services Description Language (WSDL). Version 1.1. http://www.w3.org/TR/wsdl/.
42. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci/ .
43. H. Yang, X. Zhao, Z. Qiu, G. Pu, and S. Wang A formal model for web service choreography description language (WS-CDL) International Conference on Web Services ICWS'06 2006 IEEE Computer Society Press 893 894 (Pubitemid 351209935)
44. W.L. Yeung Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services Proc. of 4th IEEE European Conference on Web Services 2006 ECOWS'06 2006 IEEE Computer Society 297 305 (Pubitemid 351164942)