@article{DeckerMendling2009,
  author    = {Decker, Gero and Mendling, Jan},
  title     = {Process instantiation},
  issn      = {0169-023X},
  doi       = {10.1016/j.datak.2009.02.013},
  year      = {2009},
  abstract  = {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.},
  language  = {en}
}
@article{DeckerWeske2011,
  author    = {Decker, Gero and Weske, Mathias},
  title     = {Interaction-centric modeling of process choreographies},
  series = {Information systems},
  volume    = {36},
  journal   = {Information systems},
  number    = {2},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0306-4379},
  doi       = {10.1016/j.is.2010.06.005},
  pages     = {292 -- 312},
  year      = {2011},
  abstract  = {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.},
  language  = {en}
}
@article{DeckerKoppLeymannetal.2009,
  author    = {Decker, Gero and Kopp, Oliver and Leymann, Frank and Weske, Mathias},
  title     = {Interacting services : from specification to execution},
  issn      = {0169-023X},
  doi       = {10.1016/j.datak.2009.04.003},
  year      = {2009},
  abstract  = {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.},
  language  = {en}
}