Refine
Year of publication
Document Type
- Article (34)
- Monograph/Edited Volume (16)
- Other (5)
- Preprint (3)
- Postprint (1)
Is part of the Bibliography
- yes (59) (remove)
Keywords
- BPMN (6)
- business process management (4)
- Business process models (3)
- DMN (3)
- Hasso-Plattner-Institut (3)
- Process mining (3)
- Blockchain (2)
- Business process modeling (2)
- Case management (2)
- Compliance checking (2)
- Data modeling (2)
- Decision models (2)
- Event mapping (2)
- Forschungskolleg (2)
- Hasso Plattner Institute (2)
- Klausurtagung (2)
- Process Enactment (2)
- SQL (2)
- Service-oriented Systems Engineering (2)
- blockchain (2)
- business processes (2)
- deferred choice (2)
- formal semantics (2)
- oracles (2)
- process mining (2)
- smart contracts (2)
- workflow patterns (2)
- Abstraction (1)
- Abstraktion von Geschäftsprozessmodellen (1)
- Activity-oriented Optimization (1)
- Anti-patterns (1)
- B2B process integration (1)
- BPM (1)
- Batch activity (1)
- Batch processing (1)
- Batchverarbeitung (1)
- Bayes'sche Netze (1)
- Bayesian networks (1)
- Behavioral querying (1)
- Behavioural Abstraction (1)
- Behavioural analysis (1)
- Business Process Management (1)
- Business Process Modeling Notation (1)
- Business process choreographies (1)
- Business process improvement (1)
- Business process intelligence (1)
- Business process management (1)
- Business process simulation (1)
- Business processes (1)
- Causal Behavioural Profiles (1)
- Causality (1)
- Change propagation (1)
- Choreographies (1)
- Colored Petri Net (1)
- Commute pattern (1)
- Commute process (1)
- Compliance measurement (1)
- Conceptual modeling (1)
- Concurrency (1)
- Conformance Überprüfung (1)
- Constraint satisfaction (1)
- Data (1)
- Data Modeling (1)
- Data exchange (1)
- Data warehouse (1)
- Data-centric (1)
- Datenflusskorrektheit (1)
- Datenmodellierung (1)
- Datensicht (1)
- Decision support (1)
- Declare (1)
- Duration prediction (1)
- Event processing (1)
- Events (1)
- Exception handling (1)
- Exclusiveness (1)
- Extensibility (1)
- Flexible processes; (1)
- Formal Methods (1)
- Geschäftsprozessmanagement (1)
- Gruppierung von Prozessinstanzen (1)
- Hasso-Plattner-Institute (1)
- Interacting processes (1)
- Interaction modeling (1)
- Knowledge-intensive processes (1)
- Location-based services (1)
- Log conformance (1)
- Model synchronisation (1)
- Model verification (1)
- Natural language analysis (1)
- Natural language processing (1)
- Objektlebenszyklus-Synchronisation (1)
- Optionality (1)
- Order Relations (1)
- Pattern (1)
- Petri net Mapping (1)
- Petri net mapping (1)
- Ph.D. Retreat (1)
- Ph.D. retreat (1)
- Process Execution (1)
- Process Mining (1)
- Process Modeling (1)
- Process Monitoring (1)
- Process choreographies (1)
- Process compliance (1)
- Process model alignment (1)
- Process model analysis (1)
- Process model repositories (1)
- Process model search (1)
- Process modeling (1)
- Process-related data (1)
- Propagation von Aktivitätsinstanzzuständen (1)
- Prozessausführung (1)
- Prozessinstanz (1)
- Prozessmodellierung (1)
- RESTful choreographies (1)
- Research School (1)
- Resource Allocation (1)
- Resource Management (1)
- Risk control (1)
- Root cause analysis (1)
- Stochastic Petri nets (1)
- Structural Decomposition (1)
- Trace inclusion (1)
- Ubiquitous business process (1)
- Ubiquitous computing (1)
- Visual modeling (1)
- activity instance state propagation (1)
- batch processing (1)
- behavioral abstraction (1)
- behaviour compatibility (1)
- behaviour equivalence (1)
- behavioural models (1)
- business process model abstraction (1)
- business process modeling (1)
- conformance checking (1)
- consistency checking (1)
- consistency measures (1)
- context (1)
- data flow correctness (1)
- data in business processes (1)
- data modeling (1)
- data view (1)
- event log (1)
- fehlende Daten (1)
- fully concurrent bisimulation (1)
- low-code development approaches (1)
- maximal structuring (1)
- missing data (1)
- model transformation (1)
- model verification (1)
- object life cycle synchronization (1)
- process instance (1)
- process instance grouping (1)
- process model alignment (1)
- process modeling (1)
- process modeling languages (1)
- process-aware digital twin cockpit (1)
- process-awareness (1)
- processes (1)
- query optimisation (1)
- query rewriting (1)
- research challenges (1)
- research school (1)
- sensor data (1)
- service-oriented systems engineering (1)
- stochastic Petri nets (1)
- stochastische Petri Netze (1)
- structured process model (1)
- uBPMN (1)
- ubiquitous business process model and notation (uBPMN) (1)
- ubiquitous business process modeling (1)
- ubiquitous computing (ubicomp) (1)
- ubiquitous decision-aware business process (1)
- ubiquitous decisions (1)
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.
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.
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.
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.
The engineering of digital twins and their user interaction parts with explicated processes, namely processaware digital twin cockpits (PADTCs), is challenging due to the complexity of the systems and the need for information from different disciplines within the engineering process. Therefore, it is interesting to investigate how to facilitate their engineering by using already existing data, namely event logs, and reducing the number of manual steps for their engineering. Current research lacks systematic, automated approaches to derive process-aware digital twin cockpits even though some helpful techniques already exist in the areas of process mining and software engineering. Within this paper, we present a low-code development approach that reduces the amount of hand-written code needed and uses process mining techniques to derive PADTCs. We describe what models could be derived from event log data, which generative steps are needed for the engineering of PADTCs, and how process mining could be incorporated into the resulting application. This process is evaluated using the MIMIC III dataset for the creation of a PADTC prototype for an automated hospital transportation system. This approach can be used for early prototyping of PADTCs as it needs no hand-written code in the first place, but it still allows for the iterative evolvement of the application. This empowers domain experts to create their PADTC prototypes.
The interplay between process and decision models plays a crucial role in business process management, as decisions may be based on running processes and affect process outcomes. Often process models include decisions that are encoded through process control flow structures and data flow elements, thus reducing process model maintainability. The Decision Model and Notation (DMN) was proposed to achieve separation of concerns and to possibly complement the Business Process Model and Notation (BPMN) for designing decisions related to process models. Nevertheless, deriving decision models from process models remains challenging, especially when the same data underlie both process and decision models. In this paper, we explore how and to which extent the data modeled in BPMN processes and used for decision-making may be represented in the corresponding DMN decision models. To this end, we identify a set of patterns that capture possible representations of data in BPMN processes and that can be used to guide the derivation of decision models related to existing process models. Throughout the paper we refer to real-world healthcare processes to show the applicability of the proposed approach. (C) 2019 Elsevier Ltd. All rights reserved.
Operational decisions in business processes can be modeled by using the Decision Model and Notation (DMN). The complementary use of DMN for decision modeling and of the Business Process Model and Notation (BPMN) for process design realizes the separation of concerns principle. For supporting separation of concerns during the design phase, it is crucial to understand which aspects of decision-making enclosed in a process model should be captured by a dedicated decision model. Whereas existing work focuses on the extraction of decision models from process control flow, the connection of process-related data and decision models is still unexplored. In this paper, we investigate how process-related data used for making decisions can be represented in process models and we distinguish a set of BPMN patterns capturing such information. Then, we provide a formal mapping of the identified BPMN patterns to corresponding DMN models and apply our approach to a real-world healthcare process.
Business processes constantly generate, manipulate, and consume data that are managed by organizational databases. Despite being central to process modeling and execution, the link between processes and data is often handled by developers when the process is implemented, thus leaving the connection unexplored during the conceptual design. In this paper, we introduce, formalize, and evaluate a novel conceptual view that bridges the gap between process and data models, and show some kinds of interesting insights that can be derived from this novel proposal.
In the field of Business Process Management (BPM), modeling business processes and related data is a critical issue since process activities need to manage data stored in databases. The connection between processes and data is usually handled at the implementation level, even if modeling both processes and data at the conceptual level should help designers in improving business process models and identifying requirements for implementation. Especially in data -and decision-intensive contexts, business process activities need to access data stored both in databases and data warehouses. In this paper, we complete our approach for defining a novel conceptual view that bridges process activities and data. The proposed approach allows the designer to model the connection between business processes and database models and define the operations to perform, providing interesting insights on the overall connected perspective and hints for identifying activities that are crucial for decision support.
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.