@misc{PufahlWongWeske2018,
  author    = {Pufahl, Luise and Wong, Tsun Yin and Weske, Mathias},
  title     = {Design of an extensible BPMN process simulator},
  series = {Business Process Management Workshops (BPM 2017)},
  volume    = {308},
  journal   = {Business Process Management Workshops (BPM 2017)},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-319-74030-0},
  issn      = {1865-1348},
  doi       = {10.1007/978-3-319-74030-0_62},
  pages     = {782 -- 795},
  year      = {2018},
  abstract  = {Business process simulation is an important means for quantitative analysis of a business process and to compare different process alternatives. With the Business Process Model and Notation (BPMN) being the state-of-the-art language for the graphical representation of business processes, many existing process simulators support already the simulation of BPMN diagrams. However, they do not provide well-defined interfaces to integrate new concepts in the simulation environment. In this work, we present the design and architecture of a proof-of-concept implementation of an open and extensible BPMN process simulator. It also supports the simulation of multiple BPMN processes at a time and relies on the building blocks of the well-founded discrete event simulation. The extensibility is assured by a plug-in concept. Its feasibility is demonstrated by extensions supporting new BPMN concepts, such as the simulation of business rule activities referencing decision models and batch activities.},
  language  = {en}
}
@article{MeyerPufahlBatoulisetal.2015,
  author    = {Meyer, Andreas and Pufahl, Luise and Batoulis, Kimon and Fahland, Dirk and Weske, Mathias},
  title     = {Automating data exchange in process choreographies},
  series = {Information systems},
  volume    = {53},
  journal   = {Information systems},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0306-4379},
  doi       = {10.1016/j.is.2015.03.008},
  pages     = {296 -- 329},
  year      = {2015},
  abstract  = {Communication between organizations is formalized as process choreographies in daily business. While the correct ordering of exchanged messages can be modeled and enacted with current choreography techniques, no approach exists to describe and automate the exchange of data between processes in a choreography using messages. This paper describes an entirely model-driven approach for BPMN introducing a few concepts that suffice to model data retrieval, data transformation, message exchange, and correlation four aspects of data exchange. For automation, this work utilizes a recent concept to enact data dependencies in internal processes. We present a modeling guideline to derive local process models from a given choreography; their operational semantics allows to correctly enact the entire choreography from the derived models only including the exchange of data. Targeting on successful interactions, we discuss means to ensure correct process choreography modeling. Finally, we implemented our approach by extending the camunda BPM platform with our approach and show its feasibility by realizing all service interaction patterns using only model-based concepts. (C) 2015 Elsevier Ltd. All rights reserved.},
  language  = {en}
}