TY  - JOUR
A1  - Decker, Gero
A1  - Mendling, Jan
T1  - Process instantiation
N2  - Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introduces the CASU framework (from Creation, Activation, subscription, Unsubscription). The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six prominent languages by the help of this framework. We validate the relevance of the CASU framework through empirical investigations involving a large set of process models from practice. Our work provides the basis for the design of new correctness criteria as well as for the formalization of Event-driven Process Chains (EPCs) and extension of the Business Process Modeling Notation (BPMN). It complements research such as the workflow patterns.
Y1  - 2009
UR  - http://www.sciencedirect.com/science/journal/0169023X
U6  - https://doi.org/10.1016/j.datak.2009.02.013
SN  - 0169-023X
ER  - 
TY  - JOUR
A1  - Decker, Gero
A1  - Weske, Mathias
T1  - Interaction-centric modeling of process choreographies
JF  - Information systems
N2  - With the rise of electronic integration between organizations, the need for a precise specification of interaction behavior increases. Information systems, replacing interaction previously carried out by humans via phone, faxes and emails, require a precise specification for handling all possible situations. Such interaction behavior is described in process choreographies. While many proposals for choreography languages have already been made, most of them fall into the category of interconnection models, where the observable behavior of the different partners is described and then related via message flow. As this article will show, this modeling approach fails to support fundamental design principles of choreographies and typically leads to modeling errors. This motivates an alternative modeling style, namely interaction modeling, for overcoming these limitations. While the main concepts are independent of a concrete modeling language, iBPMN is introduced as novel interaction modeling language. Formal execution semantics are provided and a comprehensive toolset implementing the approach is presented.
KW  - Choreographies
KW  - B2B process integration
KW  - Interaction modeling
KW  - Business Process Modeling Notation
Y1  - 2011
U6  - https://doi.org/10.1016/j.is.2010.06.005
SN  - 0306-4379
VL  - 36
IS  - 2
SP  - 292
EP  - 312
PB  - Elsevier
CY  - Oxford
ER  - 
TY  - JOUR
A1  - Decker, Gero
A1  - Kopp, Oliver
A1  - Leymann, Frank
A1  - Weske, Mathias
T1  - Interacting services : from specification to execution
N2  - Interacting services play a key role to realize business process integration among different business partners by means of electronic message exchange. In order to provide seamless integration of these services, the messages exchanged as well as their dependencies must be well-defined. Service choreographies are a means to describe the allowed conversations. This article presents a requirements framework for service choreography languages, along which existing choreography languages are assessed. The requirements framework provides the basis for introducing the language BPEL4Chor, which extends the industry standard WS-BPEL with choreography-specific concepts. A validation is provided and integration with executable service orchestrations is discussed.
Y1  - 2009
UR  - http://www.sciencedirect.com/science/journal/0169023X
U6  - https://doi.org/10.1016/j.datak.2009.04.003
SN  - 0169-023X
ER  -