Transformation BPEL to CP-nets for verifying Web services composition

Proceedings - International Conference on Next Generation Web Services Practices, NWeSP 2005

Volumn 2005, Issue , 2005, Pages 137-142

  YanPing, Yang ^a   QingPing, Tan ^a   JinShan, Yu ^a   Feng, Liu ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; PETRI NETS; SEMANTICS;

BUSINESS PROCESSES; COLORED PETRI NETS (CP-NETS); WEB SERVICES;

TELECOMMUNICATION SERVICES;

EID: 33847161730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NWESP.2005.77     Document Type: Conference Paper

References (8)

1. T. Andrews, F. Curbera, H. Dholakia, etc. Business Process Execution Language for Web Services (BPEL4WS) version 1.1, May 2003.
2. K. Jensen, Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, Volume 1, 2 and 3, second edition, 1996.
3. Design/CPN. http://www.daimi.au.dk/designCPN/
4. CPN tools. http://www.daimi.au.dk/CPNtools/
5. S. Narayanan, S.McIlraith, "Analysis and simulation of Web services, Computer Networks", vol. 42, pp. 675-693, 2003.
6. W.M.P. van der Aalst. "Verification of workflow nets". Proceedings of the 18th International Conference on Applications and Theory in Petri Nets, volume 1248 of LNCS, pages 407(426, Toulouse, June 1997. Springer-Verlag.
7. A. Martens. Distributed Business Processes Modeling and Verification by help of Web Services. PhD thesis, Humbold University, HuBerlin, July 2003. Available at http://www.informatik.huberlin.de/top/download/documents/pdf/ Mar03.pdf.
8. M. Koshkina. Verification of business processes for web services. Master's thesis, York University, 2003.