Business process management employs process models and event logs to represent the behavior of the information systems under study. Traditional case-centric notions consider the order of activities and events in isolated process instances. The emerging field of object-centric processes challenges this assumption by putting objects in the center. Object-centric process mining and modeling approaches identify the structure of co-evolving data objects that influence the behavior of an information system to provide a comprehensive view of the system behavior. Object-centricity has been investigated independently in process modeling and in process mining, which resulted in the coexistence of seemingly contradictory assumptions and definitions. As a community effort, this research manifesto relates and aligns existing terminologies, definitions, and perspectives to provide a common ground for current and future research in object-centric business process management. Based on the current state of research, we propose a conceptualization that sets process models and event logs in relation to the information system’s behavior and the execution data it generates. The conceptualization aims at aligning different terminologies and, thus, providing a basis to model and analyze behavioral characteristics. Building on this common ground, we identify open research challenges along the most relevant research areas in object-centric process management. For each research area, its current status is investigated and an outline of the most relevant research challenges is presented.

A critical part of flow-based conceptual modeling, such as process modeling, is visualizing the logical and temporal sequence in which activities in a process should be completed. While there are established standards and recommendations, there is limited empirical research examining the influence of process model layout on model comprehension. To address this research gap, we conducted a controlled eye-tracking experiment with 70 participants comparing different layouts. The experimental results confirm that the visibility of control flow patterns is critical for assisting users with visual processing, particularly attentional allocation, when comprehending process models for both local comprehension tasks and tasks requiring cognitive integration of model components. In models with more directional changes, users’ visual attention is more drawn to irrelevant regions, but comprehension is less affected as long as patterns remain visible. Our findings not only elucidate how cognitive fit between a visual representation and a task can manifest itself and the perceptual benefits it brings, but they can also guide the automated layout of models in tools and complement practical process modeling guidelines.

Business process models abstract complex business processes by representing them as graphical models. Their layout, as determined by the modeler, may have an effect when these models are used. However, this effect is currently not fully understood. In order to systematically study this effect, a basic set of measurable key visual features is proposed, depicting the layout properties that are meaningful to the human user. The aim of this research is thus twofold: first, to empirically identify key visual features of business process models which are perceived as meaningful to the user and second, to show how such features can be quantified into computational metrics, which are applicable to business process models. We focus on one particular feature, consistency of flow direction, and show the challenges that arise when transforming it into a precise metric. We propose three different metrics addressing these challenges, each following a different view of flow consistency. We then report the results of an empirical evaluation, which indicates which metric is more effective in predicting the human perception of this feature. Moreover, two other automatic evaluations describing the performance and the computational capabilities of our metrics are reported as well.

Even though considerable progress regarding the technical perspective on modeling and supporting business processes has been achieved, it appears that the human perspective is still often left aside. In particular, we do not have an in-depth understanding of how process models are inspected by humans, what strategies are taken, what challenges arise, and what cognitive processes are involved. This paper contributes toward such an understanding and reports an exploratory study investigating how humans identify and classify quality issues in BPMN process models. Providing preliminary answers to initial research questions, we also indicate other research questions that can be investigated using this approach. Our qualitative analysis shows that humans adapt different strategies on how to identify quality issues. In addition, we observed several challenges appearing when humans inspect process models. Finally, we present different manners in which classification of quality issues was addressed.

Declarative approaches to business process modeling are regarded as well suited for highly volatile environments, as they enable a high degree of flexibility. However, problems in understanding and maintaining declarative process models often impede their adoption. Likewise, little research has been conducted into the understanding of declarative process models. This paper takes a first step toward addressing this fundamental question and reports on an empirical investigation consisting of an exploratory study and a follow-up study focusing on the system analysts’ sense-making of declarative process models that are specified in Declare. For this purpose, we distributed real-world Declare models to the participating subjects and asked them to describe the illustrated process and to perform a series of sense-making tasks. The results of our studies indicate that two main strategies for reading Declare models exist: either considering the execution order of the activities in the process model, or orienting by the layout of the process model. In addition, the results indicate that single constraints can be handled well by most subjects, while combinations of constraints pose significant challenges. Moreover, the study revealed that aspects that are similar in both imperative and declarative process modeling languages at a graphical level, while having different semantics, cause considerable troubles. This research not only helps guiding the future development of tools for supporting system analysts, but also gives advice on the design of declarative process modeling notations and points out typical pitfalls to teachers and educators of future systems analysts.

Business process models are an important means to design, analyze, implement, and control business processes. As with every type of conceptual model, a business process model has to meet certain syntactic, semantic, and pragmatic quality requirements to be of value. For many years, such quality aspects were investigated by centering on the properties of the model artifact itself. Only recently, the process of model creation is considered as a factor that influences the resulting model’s quality. Our work contributes to this stream of research and presents an explorative analysis of the process of process modeling (PPM). We report on two large-scale modeling sessions involving 115 students. In these sessions, the act of model creation, i.e., the PPM, was automatically recorded. We conducted a cluster analysis on this data and identified three distinct styles of modeling. Further, we investigated how both task- and modeler-specific factors influence particular aspects of those modeling styles. Based thereupon, we propose a model that captures our insights. It lays the foundations for future research that may unveil how high-quality process models can be established through better modeling support and modeling instruction.

Hierarchy has widely been recognized as a viable approach to deal with the complexity of conceptual models. For instance, in declarative business process models, hierarchy is realized by sub-processes. While technical implementations of declarative sub-processes exist, their application, semantics, and the resulting impact on understandability are less understood yet—this research gap is addressed in this work. More specifically, we discuss the semantics and the application of hierarchy and show how sub-processes enhance the expressiveness of declarative modeling languages. Then, we turn to the influence of hierarchy on the understandability of declarative process models. In particular, we present a cognitive-psychology-based framework that allows to assess the impact of hierarchy on the understandability of a declarative process model. To empirically test the proposed framework, a combination of quantitative and qualitative research methods is followed. While statistical tests provide numerical evidence, think-aloud protocols give insights into the reasoning processes taking place when reading declarative process models.

This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware information systems, the quality of process design becomes crucial. Although verification of process models has gained much attention, their validation, relating to the reachability of the process goal, has hardly been addressed. The paper investigates the need for model validation both theoretically and empirically. The authors present a theoretical analysis, showing that process model verification and validation are complementary in nature, and an empirical evaluation of the effectiveness of validity criteria in validating a process model. The theoretical analysis, which relates to different aspects of process model quality, shows that process model verification and validation are complementary in nature. The empirical findings corroborate the effectiveness of validity criteria and indicate that a systematic criteria-supported validity analysis improves the identification of validity problems in process models.

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.

Reference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise-specific business processes. The application of reference models for process design requires guidance in reusing these models and flexibility in adapting them to specific enterprises. One popular modeling language for specifying reference models is event-driven process chain (EPC), which has been extended to express configurable reference models, i.e., configurable EPC (C–EPC). These models provide explicit reuse guidance but allow a limited level of flexibility following a reuse by configuration approach. To increase the level of adaptability of reference models, in this paper, we propose to utilize the application-based domain modeling (ADOM) approach to specify and apply reference models by using EPC. ADOM supports the enforcement of reference model constraints while allowing high levels of flexibility, adaptability, and variability in the business processes of particular enterprises. This paper presents the syntax and semantics of the proposed approach, called ADOM–EPC, and its specialization and configuration capabilities. ADOM–EPC is evaluated by comparing it to C–EPC, a leading approach for reference modeling and reuse, in terms of expressiveness and comprehensibility. Although the expressiveness of ADOM–EPC, i.e., its set of specified reuse operations, exceeds that of C–EPC, the understandability of the two types of reference models is similar.

Visitors often tend to visit museums in groups, mainly with family or friends, yet most of the today mobile museum guides focus on supporting the individual visitor. The technology described in this paper allows supporting groups of visitors in addition to individuals by providing context-aware services aimed at supporting the whole group. These include context-aware communication and alerting services that are provided by the museum visitor's guide system developed in the framework of the PIL (PEACH-Israel) project, as an example case of a larger variety of possible context-aware services.

Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, different people may construct different models given the same domain. Variations among correct models, while known and familiar in practice, have hardly been investigated in the literature. Their roots are in the decisions made during the modeling process, where modelers face the need to map reality into modeling constructs. This paper reports an empirical study whose aim is to explore model variations and in particular to examine possible directions for reducing them. Specifically, the study uses a multimethod research paradigm to examine the effect of applying ontology-based modeling rules on modeling decisions as reflected in resulting model variations. The findings of the study provide insights into the variations phenomenon, as well as to the application of ontology-based modeling rules.

Reuse of models assists in constructing a new model on the basis of existing knowledge by retrieving a model that matches a preliminary partial input model or some facts about the domain and adapting it to the current needs. It often employs similarity measures to identify reusable models that are structurally and semantically similar to the input model. However, in many cases, an input model, being a preliminary one, is of a higher level of abstraction than the detailed models to be retrieved, and structural similarity cannot be detected. This paper proposes the concept of refinement equivalence, which means that a detailed model is a refinement of an abstract input model. Measuring refinement equivalence rather than structural similarity enables retrieving an appropriate model, despite differences in the abstraction level between the models. The paper discusses the structural characteristics of refinement operations in Object-Process Methodology (OPM) models and presents an algorithm that detects refinement equivalence.