Automatic verification of data-centric business processes

Alin Deutsch · Richard B. Hull · Fabio Patrizi · Victor Vianu

222 citations0/0 files storedInternational Conference on Database Theory

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Service-Oriented Architecture and Web Services

Abstract

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 business entities, including both their data schema and lifecycles. The lifecycle of an artifact type specifies the possible sequencings of services that can be applied to an artifact of this type as it progresses through the business process. The artifact-centric approach was introduced by IBM, and has been used to achieve substantial savings when performing business transformations.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 222 citations exist upstream.

References

2003Business artifacts: An approach to operational specification 2007Towards Formal Analysis of Artifact-Centric Business Process Models 2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges

Cited by

2011Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles 2011Business artifacts with guard-stage-milestone lifecycles 2012Efficient Discovery of Understandable Declarative Process Models from Event Logs 2013Foundations of data-aware process analysis 2012On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles 2016Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes 2012Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.