Introducing the guard-stage-milestone approach for specifying business entity lifecycles
A promising approach to managing business operations is based on business entities with
lifecycles (BEL's)(aka business artifacts), ie, key conceptual entities that are central to …
lifecycles (BEL's)(aka business artifacts), ie, key conceptual entities that are central to …
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
A promising approach to managing business operations is based on business artifacts, aka
business entities (with lifecycles). These are key conceptual entities that are central to …
business entities (with lifecycles). These are key conceptual entities that are central to …
Verification of relational data-centric dynamic systems with external services
B Bagheri Hariri, D Calvanese, G De Giacomo… - Proceedings of the …, 2013 - dl.acm.org
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 …
and the manipulation of data are equally central. We study verification of (first-order) mu …
Foundations of data-aware process analysis: a database theory perspective
In this work we survey the research on foundations of data-aware (business) processes that
has been carried out in the database theory community. We show that this community has …
has been carried out in the database theory community. We show that this community has …
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles
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 …
to guiding the operations of a business, and whose content changes as they move through …
Linear-time verification of data-aware dynamic systems with arithmetic
Combined modeling and verification of dynamic systems and the data they operate on has
gained momentum in AI and in several application domains. We investigate the expressive …
gained momentum in AI and in several application domains. We investigate the expressive …
Data management perspectives on business process management: tutorial overview
Traditional approaches to Business Process Management (BPM) focus primarily on the
process aspects, and treat the persistent data accessed and manipulated by the business …
process aspects, and treat the persistent data accessed and manipulated by the business …
SMT-based verification of data-aware processes: a model-theoretic approach
In recent times, satisfiability modulo theories (SMT) techniques gained increasing attention
and obtained remarkable success in model-checking infinite-state systems. Still, we believe …
and obtained remarkable success in model-checking infinite-state systems. Still, we believe …
SMT safety verification of ontology-based processes
In the context of verification of data-aware processes, a formal approach based on
satisfiability modulo theories (SMT) has been considered to verify parameterised safety …
satisfiability modulo theories (SMT) has been considered to verify parameterised safety …
Formal modeling and SMT-based parameterized verification of data-aware BPMN
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 …
and persistent data (partitioned into a read-only database called catalog and a read-write …