Transforming BPEL to Petri nets

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 220-235

  Hinz, Sebastian ^a   Schmidt, Karsten ^a   Stahl, Christian ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

BPEL; Business process modeling and analysis; Formal models in business process management; Petri nets; Process verification and validation

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER AIDED ANALYSIS; COMPUTER SIMULATION; INDUSTRIAL MANAGEMENT; MATHEMATICAL MODELS; SEMANTICS; WORLD WIDE WEB;

BPEL; BUSINESS PROCESS MODELING AND ANALYSIS; FORMAL MODELS IN BUSINESS PROCESS MANAGEMENT; PROCESS VERIFICATION AND VALIDATION;

PETRI NETS;

EID: 27144536920     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_15     Document Type: Article

References (26)

1. Curbera, Goland, Klein, Leymann, Roller, Thatte, Weerawarana: Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA Systems, International Business Machines Corporation, Microsoft Corporation (2003)
2. Leymann, F.: WSFL - Web Services Flow Language. IBM Software Group, Whitepaper. (2001) http://ibm.com/webservices/pdf/WSFL.pdf.
3. Thatte, S.: XLANG - Web Services for Business Process Design. Microsoft Corporation, Initial Public Draft. (2001) http://www.gotdotnet.com/team/xml- wsspecs/xlang-c.
4. Fisteus, J.A., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04). LNCS, Springer (2004)
5. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW '04: Proceedings of the 13th international conference on World Wide Web, ACM Press (2004) 621-630
6. Ferrara, A.: Web services: a process algebra approach. In: ICSOC, ACM (2004) 242-251
7. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In D. Beauquier, E.B., Slissenko, A., eds.: Proc. 12th International Workshop on Abstract State Machines, Paris, March 2005. Lecture Notes in Computer Science, Springer-Verlag (to appear, 2005)
8. Farahbod, R., Clässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Abstract State Machines. Volume 3052 of Lecture Notes in Computer Science., Springer (2004) 78-94
9. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8 (1998) 21-66
10. Martens, A.: Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, WiKu-Verlag Stuttgart (2004)
11. Schmidt, K.: Controlability of Business Processes. Technical Report 180, Humboldt-Universität zu Berlin (2004)
12. Schmidt, K.: LoLA - A Low Level Analyser. In Nielsen, M., Simpson, D., eds.: International Conference on Application and Theory of Petri Nets. LNCS 1825, Springer-Verlag (2000) 465 ff.
13. Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003 -Volume 2679 of Lecture Notes in Computer Science / Wil M. P. van der Aalst and Eike Best (Eds.), Springer-Verlag (2003) 450-462
14. Starke, P.H., Roch, S.: Ina et al. In Mortensen, K.H., ed.: Tool Demonstrations 21st International Conference on Application and Theory of Petri Nets, Department of Computer Science, University of Aarhus (2000) 51-56
15. Leymann, F., Roller, D.: Production Workflow - Concepts and Techniques. Prentice Hall (1999)
16. Stahl, C.: Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin (2004)
17. Stahl, C.: A Petri Net Semantics for BPEL. Technical report, HumboldtUniversität zu Berlin (to appear June, 2005)
18. Cabrera, Copeland, Cox, Freund, Klein, Storey, Thatte: Web Services Transaction. Vorschlag zur Standardisierung, Version 1.0. (2002) http://ibm.com/developerworks/webservices/library/ws-transpec/.
19. Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In Spies, K., Schätz, B., eds.: Proc. 25th Int. Coll. Automata, Languages, and Programming (ICALP'98), Aalborg, Denmark, July 1998. Lecture Notes in Computer Science 1443, Springer (1998) 103-115
20. Schmidt, K., Stahl, C.: A Petri net semantic for BPEL4WS - validation and application. In Kindler, E., ed.: Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), Universität Paderborn (2004) 1-6
21. Hinz, S.: Implementation einer Petrinetz-Semantik für BPEL4WS. Diplomarbeit, Humboldt-Universität zu Berlin (2005)
22. Billington et al., J.: The Petri Net Markup Language: Concepts, Technology, and Tools (2003)
23. Schmidt, K.: How to calculate symmetries of petri nets. Acta Informatica (2000) 545-590
24. Schmidt, K.: Stubborn set for standard properties. In: Proc. 20th Int. Conf. Application and Theory of Petri nets. Volume 1639 of LNCS., Springer-Verlag (1999) 46-65
25. Schmidt, K.: Automated Generation of a Progress Measure for the Sweep-Line Method. In: Proc. 10th Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Volume 2988 of LNCS., Springer-Verlag (2004) 192-204
26. Heidinger, T.: Statische Analyse von BPEL4WS-Prozessmodellen. Studienarbeit, Humboldt-Universität zu Berlin (2003)