A petri net based approach for process model driven deduction of BPEL code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3762 LNCS, Issue , 2005, Pages 495-505

  Koschmider, Agnes ^a   Mevius, Marco ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING; ELECTRONIC COMMERCE; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; XML;

COLLABORATIVE BUSINESS PROCESSES; INDEPENDENT ENTERPRISES; PROCESS-IMPLEMENTING SOFTWARE; XML NETS;

PETRI NETS;

EID: 33646693455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575863_69     Document Type: Conference Paper

References (23)

1. Alonso, G.; Casati, F.; Kuno, H.; Machiraju, V.: Web Services, 2004, Springer Verlag, Heidelberg.
2. Arkin, A.: Business Process Modeling Language, http://www.bpmi.org/bpml. esp.
3. Choi, I.; Song, M.; Park, C.; Park, N.: An XML-based process definition language for integrated process management, in: Computers in Industry, 50, 2003, pp. 85-102.
4. Dong, M.; Chen, F.: Process modeling and analysis of manufacturing supply chain networks using object oriented Petri nets, in: Robotics and Computer Integrated Manufacturing, 17, 2001, pp. 121-129.
5. Curbera, F.; Goland, Y., Klein, J., Leymann, F., Roller, D., S. Thatte, Weerawarana, S. Business Process Execution Language for Web Services, http://www.ibm.com/ developerworks/library/ws-bpel/.
6. Hamadi, R.; Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Schewe, K.-D.; Zhou, X. (eds.): Database Technologies, Proc. 14th Australasian Database Conference, (2003), pp. 191-200.
7. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 2001, pp. 231-274.
8. Hinz, S.; Schmidt, K.; Stahl, C: Transforming BPEL to Petri Nets. In Proceedings of the Third International Conference on Business Process Management (BPM 2005), Nancy, France, 2005, (to appear)
9. Jensen, K.: Coloured Petri Nets. Vol 1: Basic Concepts. Berlin et al., 1992.
10. Karagiannis, D., Juninger, S., Strobl, R: "Introduction to Business Process Management Systems Concepts". In: Scholz-Rieter, Stickel (eds): Business Process modeling, 1996, pp. 81-106.
11. Lenz, K., Mevius, M., Oberweis, A.: Process-oriented Business Performance Management with Petri Nets, in: Cheung, W.; Hsu, J. (eds.): Proc. 2nd IEEE Conference on eTechnology, e-Commerce and e-Services, Hong Kong, 2005, pp. 89-92.
12. Lenz, K.; Mandaric, A.; Oberweis, A.: Modeling Processes for Managing Reputation Information - A Petri Net Approach, in: Cordeiro, J.; Filipe, J. (Hrsg.): Proceedings of the l st International Workshop on Computer Supported Activity Coordination (CSAC 2004), Porto/Portugal, April 2004, pp. 136-148
13. Lenz, K., Oberweis, A.: Inter-organizational Business Process Management with XML Nets, in: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Advances in Petri Nets. Lecture Notes in Computer Science, Vol. 2472, Springer-Verlag, Berlin Heidelberg New York, 2003, pp. 243-263.
14. Lenz, K.; Oberweis, A.: Workflow Services: A Petri Net-Based Approach to Web Services, in: Proceedings of Int. Symposium on Leveraging Applications of Formal Methods, Paphos/Cyprus, November 2004, pp. 35-42.
15. Mantell, K.: From UML to BPEL, Model Driven Architecture in a Web services world, IBM, http://www-128.ibm.com/developerworks/webservices/library/ ws-uml2bpel/.
16. Reisig, W.; Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, Vol. 1491, Springer-Verlag, Berlin, 1998.
17. Reisig, W.: Place/Transition Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.): Advances in Petri Nets. Part I. Lecture Notes in Computer Science, Vol. 254, SpringerVerlag, Berlin Heidelberg New York, 1987, pp. 117-141.
18. Scheer, A.-W.: ARIS - Business Process Modeling, 2nd ed., Berlin et al., 1999.
19. th Conference on Advanced Information Systems Engineering, (2000), Stockholm
20. Zimmermann, A., Freiheit, J., Huck, A.: A Petri net based design engine for manufacturing systems. Internationaljournal of Production Research, 39(2), 2001, pp. 225-253.
21. Wohed, P.; van der Aalst, W.M.P.; Dumas, M.; ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. Lecture Notes in Computer Science, Vol. 2813. Springer-Verlag, Heidelberg (2003), 200-215.
22. W3C. Web Services Description Language (WSDL) Version 2.0 PART 1: Core Language. W3C Working Draft (2005), http://www.w3.org/TR/wsdl20/.
23. W3C. Web Service Architecture Requirement, W3C Working Group Note, (2004), http://www.w3.org/TR/wsa-reqs/.