Artifact-driven Process Monitoring: Dynamically Binding Real-world Objects to Running Processes

Monitoring inter-organizational business processes requires explicit knowledge about when activities start and complete. This is a challenge because no single system controls the process, activities might not be directly recorded, and the overall course of execution might only be determined at runtime. In this paper, we address these problems by integrating process monitoring with sensor data from real-world objects. We formalize our approach using the E-GSM artifact-centric language. Since the association between real-world objects and process instances is often only determined at runtime, our approach also caters for dynamic binding and unbinding at runtime

Using the guard-stage-milestone notation for monitoring BPMN-based processes

Business processes are usually designed by means of imperative languages to model the acceptable execution of the activities performed within a system or an organization. At the same time, declarative languages are better suited to check the conformance of the states and transitions of the modeled process with respect to its actual execution. To avoid defining models twice from scratch to cope with both the process enactment and its monitoring, this paper proposes an approach for translating BPMN process models to E-GSM ones: an extension of the Guard-Stage-Milestone artifact-centric notation. The paper also shows how a monitoring engine based on E-GSM specifications can detect anomalies during the execution of the process and classify them according to different levels of severity, that is, with respect to the impact on the outcome of the process

Discovery and Evaluation of Coordination Patterns for Business Processes in many-to-many Relationships

Today, organisations use process-oriented systems to manage and automate the enactment of their business processes. The cornerstone artifact is the process model, which at design-time is used to describe the steps that need to be fulfilled in order to reach a business goal. At run-time, the process model is executed and process instances are created. The existing modelling approaches are based on three main paradigms: the more traditional activity-centric paradigm, the case handling paradigm and the more recent data-centric paradigm. Process models can be classified into monolithic and interacting process models. Monolithic process models are predominantly created in the activity-centric and case-handling paradigm. In a monolithic process model, all the involved resources and activities are contained in one vast model. In monolithic process models, interactions occur between the different partners involved in a cross-organisational setting which exchange messages with one another. Interacting process models are prevalent in the data-centric paradigm. In interacting process models, interdependent processes interact with one another such that on a meta-level a composite business process is achieved. In both types of models, interactions between interrelated processes need to be properly coordinated such that a common business objective can be reached. Handling the complexity generated by highly interconnected scenarios, involving hundreds of processes, is a challenge in business process management. Process management systems for such collaborations must be capable of handling both synchronous and asynchronous process interactions. In the context of process management systems, different pattern catalogues such as the Service Interaction Pattern or Correlation Pattern have been used for describing fundamental types of interactions that repeatedly arise during business process modelling. Yet, until now, none of the existing pattern catalogues has explicitly tackled the interactions of heterogeneous business processes in a many-to-many relationship setting. Furthermore, the existing pattern catalogues for the interaction-perspective are not paradigm independent, but mainly focus on the activity-centric paradigm. For modelling multiple interacting processes with different dependency constraints, a collection of patterns that explicitly describes interactions among processes in different types of relationships, in a paradigm-independent manner, is required. This thesis proposes a catalogue of patterns, named the Process Coordination Patterns, describing process interactions in a one-to-many and many-to-many relationship setting. In the developed pattern catalogue, the discovered seven patterns are illustrated by abstracting from any specific paradigm. The PCPs may be used as guidance for evaluating the degree to which existing approaches capture more complex process interactions. In this thesis, the proposed pattern catalogue is put into practice by evaluating the degree to which two modelling approaches, based on different paradigms, can support the seven Process Coordination Patterns

Tackling Dierent Business Process Perspectives

Business Process Management (BPM) has emerged as a discipline to design, control, analyze, and optimize business operations. Conceptual models lie at the core of BPM. In particular, business process models have been taken up by organizations as a means to describe the main activities that are performed to achieve a specific business goal. Process models generally cover different perspectives that underlie separate yet interrelated representations for analyzing and presenting process information. Being primarily driven by process improvement objectives, traditional business process modeling languages focus on capturing the control flow perspective of business processes, that is, the temporal and logical coordination of activities. Such approaches are usually characterized as \u201cactivity-centric\u201d. Nowadays, activity-centric process modeling languages, such as the Business Process Model and Notation (BPMN) standard, are still the most used in practice and benefit from industrial tool support. Nevertheless, evidence shows that such process modeling languages still lack of support for modeling non-control-flow perspectives, such as the temporal, informational, and decision perspectives, among others. This thesis centres on the BPMN standard and addresses the modeling the temporal, informational, and decision perspectives of process models, with particular attention to processes enacted in healthcare domains. Despite being partially interrelated, the main contributions of this thesis may be partitioned according to the modeling perspective they concern. The temporal perspective deals with the specification, management, and formal verification of temporal constraints. In this thesis, we address the specification and run-time management of temporal constraints in BPMN, by taking advantage of process modularity and of event handling mechanisms included in the standard. Then, we propose three different mappings from BPMN to formal models, to validate the behavior of the proposed process models and to check whether they are dynamically controllable. The informational perspective represents the information entities consumed, produced or manipulated by a process. This thesis focuses on the conceptual connection between processes and data, borrowing concepts from the database domain to enable the representation of which part of a database schema is accessed by a certain process activity. This novel conceptual view is then employed to detect potential data inconsistencies arising when the same data are accessed erroneously by different process activities. The decision perspective encompasses the modeling of the decision-making related to a process, considering where decisions are made in the process and how decision outcomes affect process execution. In this thesis, we investigate the use of the Decision Model and Notation (DMN) standard in conjunction with BPMN starting from a pattern-based approach to ease the derivation of DMN decision models from the data represented in BPMN processes. Besides, we propose a methodology that focuses on the integrated use of BPMN and DMN for modeling decision-intensive care pathways in a real-world application domain