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

Authors:
Agnes Koschmider;Marco Mevius
Affiliations:
Institute of Applied Informatics and Formal Description Methods, Universität Karlsruhe (TH), Karlsruhe, Germany;Institute of Applied Informatics and Formal Description Methods, Universität Karlsruhe (TH), Karlsruhe, Germany
Venue:
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Year:
2005

Citing 8
Cited 2

Place/transition systems

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Aris--Business Process Modeling

Aris--Business Process Modeling
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes

CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
An XML-based process definition language for integrated process management

Computers in Industry
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Process-Oriented Business Performance Management with Petri Nets

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

From business process models to process-oriented software systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment

OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I

Quantified Score

Hi-index	0.00

Visualization

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.