Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …

A data-centric approach to business process and workflow modeling has been emerging
over the past several years. This short paper presents a structured framework for a class of …

Companies increasingly adopt process management systems (PrMS) that offer promising
perspectives for more flexible and efficient process execution. However, there still exist …

This article addresses the problem of constructing consolidated business process models
out of collections of process models that share common fragments. The article considers the …

Ecosystems of multiple blockchains are now a reality. Multichain applications and protocols
are perceived as necessary to enable scalability, privacy, and composability. Despite being …

Data-centric dynamic systems are systems where both the process controlling the dynamics
and the manipulation of data are equally central. We study verification of (first-order) mu …

We formalize and study business process systems that are centered around" business
artifacts", or simply" artifacts". Artifacts are used to represent (real or conceptual) key …

The ever-increasing obligations of regulatory compliance are presenting a new breed of
challenges for organizations across several industry sectors. Aligning control objectives that …

Enacting business processes in process engines requires the coverage of control flow,
resource assignments, and process data. While the first two aspects are well supported in …

The economic success of an enterprise increasingly depends on its ability to react to
changes in its environment in a quick and flexible way. To cope with emerging business …