@misc{HaarmannBatoulisNikajetal.2018,
  author    = {Haarmann, Stephan and Batoulis, Kimon and Nikaj, Adriatik and Weske, Mathias},
  title     = {DMN Decision Execution on the Ethereum Blockchain},
  series = {Advanced Information Systems Engineering, CAISE 2018},
  volume    = {10816},
  journal   = {Advanced Information Systems Engineering, CAISE 2018},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-319-91563-0},
  issn      = {0302-9743},
  doi       = {10.1007/978-3-319-91563-0_20},
  pages     = {327 -- 341},
  year      = {2018},
  abstract  = {Recently blockchain technology has been introduced to execute interacting business processes in a secure and transparent way. While the foundations for process enactment on blockchain have been researched, the execution of decisions on blockchain has not been addressed yet. In this paper we argue that decisions are an essential aspect of interacting business processes, and, therefore, also need to be executed on blockchain. The immutable representation of decision logic can be used by the interacting processes, so that decision taking will be more secure, more transparent, and better auditable. The approach is based on a mapping of the DMN language S-FEEL to Solidity code to be run on the Ethereum blockchain. The work is evaluated by a proof-of-concept prototype and an empirical cost evaluation.},
  language  = {en}
}
@article{YousfiBatoulisWeske2019,
  author    = {Yousfi, Alaaeddine and Batoulis, Kimon and Weske, Mathias},
  title     = {Achieving Business Process Improvement via Ubiquitous Decision-Aware Business Processes},
  series = {ACM Transactions on Internet Technology},
  volume    = {19},
  journal   = {ACM Transactions on Internet Technology},
  number    = {1},
  publisher = {Association for Computing Machinery},
  address   = {New York},
  issn      = {1533-5399},
  doi       = {10.1145/3298986},
  pages     = {19},
  year      = {2019},
  abstract  = {Business process improvement is an endless challenge for many organizations. As long as there is a process, it must he improved. Nowadays, improvement initiatives are driven by professionals. This is no longer practical because people cannot perceive the enormous data of current business environments. Here, we introduce ubiquitous decision-aware business processes. They pervade the physical space, analyze the ever-changing environments, and make decisions accordingly. We explain how they can be built and used for improvement. Our approach can be a valuable improvement option to alleviate the workload of participants by helping focus on the crucial rather than the menial tasks.},
  language  = {en}
}
@phdthesis{Batoulis2019,
  author    = {Batoulis, Kimon},
  title     = {Sound integration of process and decision models},
  doi       = {10.25932/publishup-43738},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-437386},
  school      = {Universit{\"a}t Potsdam},
  pages     = {xviii, 155},
  year      = {2019},
  abstract  = {Business process management is an established technique for business organizations to manage and support their processes. Those processes are typically represented by graphical models designed with modeling languages, such as the Business Process Model and Notation (BPMN). Since process models do not only serve the purpose of documentation but are also a basis for implementation and automation of the processes, they have to satisfy certain correctness requirements. In this regard, the notion of soundness of workflow nets was developed, that can be applied to BPMN process models in order to verify their correctness. Because the original soundness criteria are very restrictive regarding the behavior of the model, different variants of the soundness notion have been developed for situations in which certain violations are not even harmful. All of those notions do only consider the control-flow structure of a process model, however. This poses a problem, taking into account the fact that with the recent release and the ongoing development of the Decision Model and Notation (DMN) standard, an increasing number of process models are complemented by respective decision models. DMN is a dedicated modeling language for decision logic and separates the concerns of process and decision logic into two different models, process and decision models respectively. Hence, this thesis is concerned with the development of decisionaware soundness notions, i.e., notions of soundness that build upon the original soundness ideas for process models, but additionally take into account complementary decision models. Similar to the various notions of workflow net soundness, this thesis investigates different notions of decision soundness that can be applied depending on the desired degree of restrictiveness. Since decision tables are a standardized means of DMN to represent decision logic, this thesis also puts special focus on decision tables, discussing how they can be translated into an unambiguous format and how their possible output values can be efficiently determined. Moreover, a prototypical implementation is described that supports checking a basic version of decision soundness. The decision soundness notions were also empirically evaluated on models from participants of an online course on process and decision modeling as well as from a process management project of a large insurance company. The evaluation demonstrates that violations of decision soundness indeed occur and can be detected with our approach.},
  language  = {en}
}