@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}
}