Transformation of BPEL processes to Petri nets

Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008

Volumn , Issue , 2008, Pages 166-173

  Dun, Haiqiang ^a   Xu, Haiying ^b   Wang, Lifu ^a  

^a PEKING UNIVERSITY   (China)

^b Henan Province Office of Industry and Information   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DECENTRALIZED CONTROL; GRAPH THEORY; INFORMATION SERVICES; LINGUISTICS; MARINE BIOLOGY; MARKUP LANGUAGES; PETRI NETS; SOFTWARE ENGINEERING; WORLD WIDE WEB;

BUSINESS PROCESSES; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 51749118655     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2008.27     Document Type: Conference Paper

References (20)

1. BPMI. Business Process Modeling Language.
2. R. Farahbod, U. Glässer, and M. Vajihollahi. Specification and validation of the business process execution language for web services. In Abstract State Machines, pages 78-94, 2004.
3. A. Ferrara. Web services: a process algebra approach. In Proceedings of the 2nd international conference on Service oriented computing (ICSOC'04), pages 242-251, New York, NY, USA, 2004. ACM Press.
4. J. A. Fisteus, L. S. Fernández, and C. D. Kloos. Formal verification of bpel4ws business collaborations. In Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (LEC-Web'04), pages 76-85, 2004.
5. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In Proceedings of the 13th International World Wide Web Conference (WWW'04), pages 621-630, 2004.
6. R. Hamadi and B. Benatallah. A petri net-based model for web service composition. In Proceedings of the 14th Australasian database conference (ADC'03), pages 191-200. Australian Computer Society, Inc., 2003.
7. S. Hinz, K. Schmidt, and C. Stahl. Transforming bpel to petri nets. In Proceedings of 3rd International Conference on Business Process Management (BPM'05), pages 220-235, Nancy, France, Sep. 6-9 2005. Springer-Verlag.
8. S. Narayanan and S. Mcllraith. Analysis and simulation of web services. Computer Networks, 42(5):675-693, 2003.
9. OASIS. Web Services Business Process Execution Language 2.0. OASIS, 2007.
10. K. Schmidt. Lola: A low level analyser. In Proceedings of the 21st International Conference of Application and Theory of Petri Nets (ICATPN 2000), pages 465-474, 2000.
11. W. M. P. van der Aalst. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
12. W. M. P. van der Aalst and K. M. van Hee. Workflow Management: Models, Methods and Systems. The MIT Press, Cambridge, Massachusetts London, England, 2002.
13. H. M. W. Verbeek and W. M. P. van der Aalst. Woflan 2.0: A petri-net-based workflow diagnosis tool. In Proceedings of the 21st International Conference of Application and Theory of Petri Nets (ICATPN 2000), pages 475-484, 2000.
14. H. M. W. Verbeek and W. M. P. van der Aalst. Analyzing bpel processes using petri nets. In Proceedings of 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 59-78, 2005.
15. W3C. Web Service Choreography Interface 1.0, 2002.
16. W3C. Web Services Description Requirements, 2002.
17. W3C. Web Services Choreography Description Language Version 1.0, 2004.
18. Y. Yang, Q. Tan, J. Yu, and F. Liu. Transformation bpel to cp-nets for verifying web services composition. In Proceedings of the International Conference on Next Generation Web Services Practices (NWESP'05), pages 137-142, Washington, DC, USA, 2005. IEEE Computer Society.
19. C. Y. Yuan. Principle and Application of Petri Nets. Publishing House of Electronics Industry, Beijing, China, 2005. in Chinese.
20. C. Y. Yuan, W. Zhao, S. K. Zhang, and Y. Huang. A threelayer model for business processes - process logic, case semantics and workflow management. Journal of Computer Science and Technology, 22(3):410-425, May 2007.