TY  - GEN
A1  - Grum, Marcus
A1  - Gronau, Norbert
T1  - Process modeling within augmented reality
BT  - the bidirectional interplay of two worlds
T2  - Business Modeling and Software Design, BMSD 2018
N2  - The collaboration during the modeling process is uncomfortable and characterized by various limitations. Faced with the successful transfer of first process modeling languages to the augmented world, non-transparent processes can be visualized in a more comprehensive way. With the aim to rise comfortability, speed, accuracy and manifoldness of real world process augmentations, a framework for the bidirectional interplay of the common process modeling world and the augmented world has been designed as morphologic box. Its demonstration proves the working of drawn AR integrations. Identified dimensions were derived from (1) a designed knowledge construction axiom, (2) a designed meta-model, (3) designed use cases and (4) designed directional interplay modes. Through a workshop-based survey, the so far best AR modeling configuration is identified, which can serve for benchmarks and implementations.
KW  - Augmented reality
KW  - Process modeling
KW  - Simulation process building
KW  - Generalized knowledge constructin axiom
KW  - Meta-model
KW  - Use cases Morphologic box
KW  - Industry 4.0
KW  - CPS
KW  - CPPS
KW  - Internet of things
Y1  - 2018
SN  - 978-3-319-94214-8
SN  - 978-3-319-94213-1
U6  - https://doi.org/10.1007/978-3-319-94214-8_7
SN  - 1865-1348
VL  - 319
SP  - 99
EP  - 115
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Meyer, Andreas
A1  - Pufahl, Luise
A1  - Batoulis, Kimon
A1  - Fahland, Dirk
A1  - Weske, Mathias
T1  - Automating data exchange in process choreographies
JF  - Information systems
N2  - 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.
KW  - Process modeling
KW  - Data modeling
KW  - Process choreographies
KW  - Data exchange
KW  - BPMN
KW  - SQL
Y1  - 2015
U6  - https://doi.org/10.1016/j.is.2015.03.008
SN  - 0306-4379
SN  - 1873-6076
VL  - 53
SP  - 296
EP  - 329
PB  - Elsevier
CY  - Oxford
ER  - 
TY  - JOUR
A1  - Polyvyanyy, Artem
A1  - Garcia-Banuelos, Luciano
A1  - Dumas, Marlon
T1  - Structuring acyclic process models
JF  - Information systems
N2  - This article studies the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method for structuring any process model that belongs to this class. This article fills this gap in the context of acyclic process models. The article defines a necessary and sufficient condition for an unstructured acyclic process model to have an equivalent well-structured process model under fully concurrent bisimulation, as well as a complete structuring method. The method has been implemented as a tool that takes process models captured in the BPMN and EPC notations as input. The article also reports on an empirical evaluation of the structuring method using a repository of process models from commercial practice.
KW  - Process modeling
KW  - Structured modeling
KW  - Structuring
KW  - Model equivalence
KW  - Petri net unfolding
KW  - Modular decomposition
Y1  - 2012
U6  - https://doi.org/10.1016/j.is.2011.10.005
SN  - 0306-4379
VL  - 37
IS  - 6
SP  - 518
EP  - 538
PB  - Elsevier
CY  - Oxford
ER  -