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)
As resources are valuable assets, organizations have to decide which resources to allocate to business process tasks in a way that the process is executed not only effectively but also efficiently. Traditional role-based resource allocation leads to effective process executions, since each task is performed by a resource that has the required skills and competencies to do so. However, the resulting allocations are typically not as efficient as they could be, since optimization techniques have yet to find their way in traditional business process management scenarios. On the other hand, operations research provides a rich set of analytical methods for supporting problem-specific decisions on resource allocation. This paper provides a novel framework for creating transparency on existing tasks and resources, supporting individualized allocations for each activity in a process, and the possibility to integrate problem-specific analytical methods of the operations research domain. To validate the framework, the paper reports on the design and prototypical implementation of a software architecture, which extends a traditional process engine with a dedicated resource management component. This component allows us to define specific resource allocation problems at design time, and it also facilitates optimized resource allocation at run time. The framework is evaluated using a real-world parcel delivery process. The evaluation shows that the quality of the allocation results increase significantly with a technique from operations research in contrast to the traditional applied rule-based approach.
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.
Business process management experiences a large uptake by the industry, and process models play an important role in the analysis and improvement of processes. While an increasing number of staff becomes involved in actual modeling practice, it is crucial to assure model quality and homogeneity along with providing suitable aids for creating models. In this paper we consider the problem of offering recommendations to the user during the act of modeling. Our key contribution is a concept for defining and identifying so-called action patterns - chunks of actions often appearing together in business processes. In particular, we specify action patterns and demonstrate how they can be identified from existing process model repositories using association rule mining techniques. Action patterns can then be used to suggest additional actions for a process model. Our approach is challenged by applying it to the collection of process models from the SAP Reference Model.
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.
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.
Organizations strive for efficiency in their business processes by process improvement and automation. Business process management (BPM) supports these efforts by capturing business processes in process models serving as blueprint for a number of process instances. In BPM, process instances are typically considered running independently of each other. However, batch processing-the collectively execution of several instances at specific process activities-is a common phenomenon in operational processes to reduce cost or time. Currently, batch processing is organized manually or hard-coded in software. For allowing stakeholders to explicitly represent their batch configurations in process models and their automatic execution, this paper provides a concept for batch activities and describes the corresponding execution semantics. The batch activity concept is evaluated in a two-step approach: a prototypical implementation in an existing BPM System proves its feasibility. Additionally, batch activities are applied to different use cases in a simulated environment. Its application implies cost-savings when a suitable batch configuration is selected. The batch activity concept contributes to practice by allowing the specification of batch work in process models and their automatic execution, and to research by extending the existing process modeling concepts.
Die Automatisierung von Geschäftsprozessen unterstützt Unternehmen, die Ausführung ihrer Prozesse effizienter zu gestalten. In existierenden Business Process Management Systemen, werden die Instanzen eines Prozesses völlig unabhängig voneinander ausgeführt. Jedoch kann das Synchronisieren von Instanzen mit ähnlichen Charakteristiken wie z.B. den gleichen Daten zu reduzierten Ausführungskosten führen. Zum Beispiel, wenn ein Onlinehändler zwei Bestellungen vom selben Kunden mit der gleichen Lieferanschrift erhält, können diese zusammen verpackt und versendet werden, um Versandkosten zu sparen. In diesem Papier verwenden wir Konzepte aus dem Datenbankbereich und führen Datensichten für Geschäftsprozesse ein, um Instanzen zu identifizieren, welche synchronisiert werden können. Auf Grundlage der Datensichten führen wir das Konzept der Batch-Regionen ein. Eine Batch-Region ermöglicht eine kontext-bewusste Instanzen-Synchronisierung über mehrere verbundene Aktivitäten. Das eingeführte Konzept wird mit einer Fallstudie evaluiert, bei der ein Kostenvergleich zwischen der normalen Prozessausführung und der Batchverarbeitung durchgeführt wird.
Behaviour equivalence and compatibility of business process models with complex correspondences
(2012)
Once multiple models of a business process are created for different purposes or to capture different variants, verification of behaviour equivalence or compatibility is needed. Equivalence verification ensures that two business process models specify the same behaviour. Since different process models are likely to differ with respect to their assumed level of abstraction and the actions that they take into account, equivalence notions have to cope with correspondences between sets of actions and actions that exist in one process but not in the other. In this paper, we present notions of equivalence and compatibility that can handle these problems. In essence, we present a notion of equivalence that works on correspondences between sets of actions rather than single actions. We then integrate our equivalence notion with work on behaviour inheritance that copes with actions that exist in one process but not in the other, leading to notions of behaviour compatibility. Compatibility notions verify that two models have the same behaviour with respect to the actions that they have in common. As such, our contribution is a collection of behaviour equivalence and compatibility notions that are applicable in more general settings than existing ones.
Behavioural Models
(2016)
This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role.
The book consists of three parts, the first of which addresses the foundations of behavioural modelling. After a general introduction to modelling, it introduces transition systems as a basic formalism for representing the behaviour of discrete dynamic systems. This section also discusses causality, a fundamental concept for modelling and reasoning about behaviour. In turn, Part II forms the heart of the book and is devoted to models of behaviour. It details both sequential and concurrent systems and introduces finite automata, state machines and several different types of Petri nets. One chapter is especially devoted to business process models, workflow patterns and BPMN, the industry standard for modelling business processes. Lastly, Part III investigates how the behaviour of systems can be analysed. To this end, it introduces readers to the concept of state spaces. Further chapters cover the comparison of behaviour and the formal analysis and verification of behavioural models.
The book was written for students of computer science and software engineering, as well as for programmers and system analysts interested in the behaviour of the systems they work on. It takes readers on a journey from the fundamentals of behavioural modelling to advanced techniques for modelling and analysing sequential and concurrent systems, and thus provides them a deep understanding of the concepts and techniques introduced and how they can be applied to concrete application scenarios.