Abstract
The management of collaborative business processes refers to the design, analysis, and execution of interrelated production, logistics and information processes, which are usually performed by different independent enterprises in order to produce and to deliver a specified range of goods or services. The effort to interconnect independently developed business process models and to map them to process-implementing software components is particularly high. The implementation of such collaborative inter-organizational business process models is assisted by so-called choreography languages that can be executed by software applications. In this paper, we present a Petri net based approach for process-model driven deduction of BPEL code. Our approach is based on a specific type of high-level Petri nets, so-called XML nets. We use XML nets both for modeling and coordinating business processes implemented as Web services and for deriving BPEL elements of the Web service based components. Our approach provides a seamless concept for modeling, analysis and execution of business processes.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)
Arkin, A.: Business Process Modeling Language, http://www.bpmi.org/bpml.esp
Choi, I., Song, M., Park, C., Park, N.: An XML-based process definition language for integrated process management. Computers in Industry 50, 85–102 (2003)
Dong, M., Chen, F.: Process modeling and analysis of manufacturing supply chain networks using object oriented Petri nets. Robotics and Computer Integrated Manufacturing 17, 121–129 (2001)
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services, http://www.ibm.com/developerworks/library/ws-bpel/
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, pp. 191–200 (2003)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (2001)
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005) (to appear)
Jensen, K.: Coloured Petri Nets. Basic Concepts, vol. 1. Berlin (1992)
Karagiannis, D., Juninger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Stickel, S.-R. (ed.) Business Process modeling, pp. 81–106 (1996)
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 e-Technology, e-Commerce and e-Services, Hong Kong, pp. 89–92 (2005)
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 1st International Workshop on Computer Supported Activity Coordination (CSAC 2004), Porto/Portugal, pp. 136–148 (April 2004)
Lenz, K., Oberweis, A.: Inter-organizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 243–263. Springer, Heidelberg (2003)
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, pp. 35–42 (November 2004)
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/
Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491. Springer, Heidelberg (1998)
Reisig, W.: Place/Transition Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 117–141. Springer, Heidelberg (1987)
Scheer, A.-W.: ARIS – Business Process Modeling, 2nd edn. Berlin (1999)
Schuster, H., Georgakopoulos, D., Cichocki, A.: Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes. In: Proceeding of the 12th Conference on Advanced Information Systems Engineering, Stockholm (2000)
Zimmermann, A., Freiheit, J., Huck, A.: A Petri net based design engine for manufacturing systems. International Journal of Production Research 39(2), 225–253 (2001)
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. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)
W3C. Web Services Description Language (WSDL) Version 2.0 PART 1: Core Language. W3C Working Draft (2005), http://www.w3.org/TR/wsdl20/
W3C. Web Service Architecture Requirement, W3C Working Group Note (2004), http://www.w3.org/TR/wsa-reqs/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koschmider, A., Mevius, M. (2005). A Petri Net Based Approach for Process Model Driven Deduction of BPEL Code. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. OTM 2005. Lecture Notes in Computer Science, vol 3762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575863_69
Download citation
DOI: https://doi.org/10.1007/11575863_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29739-0
Online ISBN: 978-3-540-32132-3
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
