@article{BaierMendlingWeske2014,
  author    = {Baier, Thomas and Mendling, Jan and Weske, Mathias},
  title     = {Bridging abstraction layers in process mining},
  series = {Information systems},
  volume    = {46},
  journal   = {Information systems},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0306-4379},
  doi       = {10.1016/j.is.2014.04.004},
  pages     = {123 -- 139},
  year      = {2014},
  abstract  = {While the maturity of process mining algorithms increases and more process mining tools enter the market, process mining projects still face the problem of different levels of abstraction when comparing events with modeled business activities. Current approaches for event log abstraction try to abstract from the events in an automated way that does not capture the required domain knowledge to fit business activities. This can lead to misinterpretation of discovered process models. We developed an approach that aims to abstract an event log to the same abstraction level that is needed by the business. We use domain knowledge extracted from existing process documentation to semi-automatically match events and activities. Our abstraction approach is able to deal with n:m relations between events and activities and also supports concurrency. We evaluated our approach in two case studies with a German IT outsourcing company. (C) 2014 Elsevier Ltd. All rights reserved.},
  language  = {en}
}
@article{BaierDiCiccioMendlingetal.2018,
  author    = {Baier, Thomas and Di Ciccio, Claudio and Mendling, Jan and Weske, Mathias},
  title     = {Matching events and activities by integrating behavioral aspects and label analysis},
  series = {Software and systems modeling},
  volume    = {17},
  journal   = {Software and systems modeling},
  number    = {2},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1619-1366},
  doi       = {10.1007/s10270-017-0603-z},
  pages     = {573 -- 598},
  year      = {2018},
  abstract  = {Nowadays, business processes are increasingly supported by IT services that produce massive amounts of event data during the execution of a process. These event data can be used to analyze the process using process mining techniques to discover the real process, measure conformance to a given process model, or to enhance existing models with performance information. Mapping the produced events to activities of a given process model is essential for conformance checking, annotation and understanding of process mining results. In order to accomplish this mapping with low manual effort, we developed a semi-automatic approach that maps events to activities using insights from behavioral analysis and label analysis. The approach extracts Declare constraints from both the log and the model to build matching constraints to efficiently reduce the number of possible mappings. These mappings are further reduced using techniques from natural language processing, which allow for a matching based on labels and external knowledge sources. The evaluation with synthetic and real-life data demonstrates the effectiveness of the approach and its robustness toward non-conforming execution logs.},
  language  = {en}
}
@article{AwadWeidlichWeske2011,
  author    = {Awad, Ahmed Mahmoud Hany Aly and Weidlich, Matthias and Weske, Mathias},
  title     = {Visually specifying compliance rules and explaining their violations for business processes},
  series = {Journal of visual languages and computing},
  volume    = {22},
  journal   = {Journal of visual languages and computing},
  number    = {1},
  publisher = {Elsevier},
  address   = {London},
  issn      = {1045-926X},
  doi       = {10.1016/j.jvlc.2010.11.002},
  pages     = {30 -- 55},
  year      = {2011},
  abstract  = {A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteria, such as soundness. However, business processes must also adhere to and show compliance with various regulations and constraints, the so-called compliance requirements. These are domain-dependent requirements. In many situations, verifying compliance on a model level is of great value, since violations can be resolved in an early stage prior to execution. However, this calls for using formal verification techniques, e.g., model checking, that are too complex for business experts to apply. In this paper, we utilize a visual language. BPMN-Q to express compliance requirements visually in a way similar to that used by business experts to build process models. Still, using a pattern based approach, each BPMN-Qgraph has a formal temporal logic expression in computational tree logic (CTL). Moreover, the user is able to express constraints, i.e., compliance rules, regarding control flow and data flow aspects. In order to provide valuable feedback to a user in case of violations, we depend on temporal logic querying approaches as well as BPMN-Q to visually highlight paths in a process model whose execution causes violations.},
  language  = {en}
}
@article{AndreeIhdeWeskeetal.2022,
  author    = {Andree, Kerstin and Ihde, Sven and Weske, Mathias and Pufahl, Luise},
  title     = {An exception handling framework for case management},
  series = {Software and Systems Modeling},
  volume    = {21},
  journal   = {Software and Systems Modeling},
  number    = {3},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1619-1366},
  doi       = {10.1007/s10270-022-00993-3},
  pages     = {939 -- 962},
  year      = {2022},
  abstract  = {In order to achieve their business goals, organizations heavily rely on the operational excellence of their business processes. In traditional scenarios, business processes are usually well-structured, clearly specifying when and how certain tasks have to be executed. Flexible and knowledge-intensive processes are gathering momentum, where a knowledge worker drives the execution of a process case and determines the exact process path at runtime. In the case of an exception, the knowledge worker decides on an appropriate handling. While there is initial work on exception handling in well-structured business processes, exceptions in case management have not been sufficiently researched. This paper proposes an exception handling framework for stage-oriented case management languages, namely Guard Stage Milestone Model, Case Management Model and Notation, and Fragment-based Case Management. The effectiveness of the framework is evaluated with two real-world use cases showing that it covers all relevant exceptions and proposed handling strategies.},
  language  = {en}
}