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 …

Business process (BP) modeling is a building block for design and management of business
processes. Two fundamental aspects of BP modeling are: a formal framework that well …

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 …

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 …

Business artifacts (or simply, artifacts) are used to model conceptual entities that are central
to guiding the operations of a business, and whose content changes as they move through …

This chapter describes a design methodology for business processes and workflows that
focuses first on “business artifacts”, which represent key (real or conceptual) business …

SOA has influenced business process modeling and management. Recent business
process models have elevated data representation to the same level as control flows, for …

We study the static verification problem for data-centric business processes, specified in a
variant of IBM's “business artifact” model. Artifacts are records of variables that correspond to …

Almost all medium-and large-scale businesses rely on electronic workflow systems to
manage their business processes. A key challenge is to enable the easy re-use and …

The need to extend business process languages with the capability to model complex data
objects along with the control flow perspective has lead to significant practical and …