The increasing importance of data in business processes has led to the emergence of data-
centric business process management, which deviates from the widely used activity-centric …

Existing process modeling notations ranging from Petri nets to BPMN have difficulties
capturing the data manipulated by processes. Process models often focus on the control …

We propose DAB–a data-aware extension of BPMN where the process operates over case
and persistent data (partitioned into a read-only database called catalog and a read-write …

Abstract Information and processes are both important aspects of information systems.
Nevertheless, most existing languages for modeling information systems focus either on one …

Most data-aware process modelling approaches have been developed from a process
perspective and lack a full-fledged data modelling approach. In addition, the evaluation of …

Verification of Data-Aware Processes via Satisfiability Modulo Theories Page 1 123 LNBIP 470
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …

In the business process lifecycle, models can be approached from two perspectives: on the
one hand, models are used to create systems in the design phase, and on the other hand …

Although significant progress has been achieved in the development of spatio-temporal
models that capture real-world phenomena, more interaction between phenomenon-based …

Business processes constantly generate, manipulate, and consume data that are managed
by organizational databases. Despite being central to process modeling and execution, the …

Workflow nets and their extensions with data flows, eg, workflow nets with data and colored
workflow nets, can well model the business processes of workflow systems, and their …