On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles

Damaggio, Elio; Hull, Richard; Vaculín, Roman

doi:10.1016/j.is.2012.09.002

Cited by 93 publications

(74 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our approach directly relates to the family of data-and artifact-centric approaches [3] that inspired the creation of various modeling languages [9,13] and execution frameworks such as: (i) the declarative rule-based Guard-Stage-Milestone (GSM) language [5] and its BizArtifact (https://sourceforge.net/projects/bizartifact/) execution platform; (ii) the OMG CMMN standard for case handling (https://www.omg.org/spec/CMMN/); (iii) the object-aware business process management approach implemented by PHILharmonic Flows [11]; (iv) the extension of GSM called EZ-Flow [26], with SeGA as [24] an execution platform; (v) the declarative data-centric process language RESEDA based on term rewriting systems [21]. As opposed to the more traditional activity-centric paradigms, these approaches emphasize the evolution of data objects through different states, but often miss a clear representation of the control-flow dimension.…”

Section: Discussion and Related Workmentioning

confidence: 99%

Modeling and In-Database Management of Relational, Data-Aware Processes

Calvanese

Montali

Patrizi

et al. 2019

Advanced Information Systems Engineering

View full text Add to dashboard Cite

During the last two decades, it has been increasingly acknowledged that the engineering of information systems usually requires a huge effort in integrating master data and business processes. This has led to a plethora of proposals, both from academia and the industry. However, such approaches typically come with ad-hoc abstractions to represent and interact with the data component. This has a twofold disadvantage. On the one hand, they cannot be used to effortlessly enrich an existing relational database with dynamics. On the other hand, they generally do not allow for integrated modelling, verification, and enactment. We attack these two challenges by proposing a declarative approach, fully grounded in SQL, that supports the agile modelling of relational data-aware processes directly on top of relational databases. We show how this approach can be automatically translated into a concrete procedural SQL dialect, executable directly inside any relational database engine. The translation exploits an in-database representation of process states that, in turn, is used to handle, at once, process enactment with or without logging of the executed instances, as well as process verification. The approach has been implemented in a working prototype.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

Modeling and In-Database Management of Relational, Data-Aware Processes

Calvanese

Montali

Patrizi

et al. 2019

Advanced Information Systems Engineering

View full text Add to dashboard Cite

show abstract

“…However, [17] does not have a specific diagram showing the relationships between the data or artifacts. The Guard-Stage-Milestone (GSM) approach [14,7] represents the artifact and its lifecycle in one model, which shows the guards, stages and milestones involved in the evolution of an artifact. In contrast to the UML class diagram, GSM does not show graphically the relationships between the artifacts: they are encoded as attributes instead.…”

Section: Related Workmentioning

confidence: 99%

Verifiable UML Artifact-Centric Business Process Models

Calvanese

Montali

Estañol

et al. 2014

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management

View full text Add to dashboard Cite

Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artifact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodology. In particular, we identify additional steps in the methodology that, in significant cases, guarantee the possibility of verifying the resulting models against rich first-order temporal properties. Notably, our results can be seamlessly transferred to different languages for the specification of the artifact lifecycles.

show abstract

“…A collection of artifacts and services is called an artifact system. IBM has developed several variants of artifacts, of which the most recent is Guard-Stage-Milestone (GSM) [20,36]. The GSM approach provides rich structuring mechanisms for services, including parallelism, concurrency and hierarchy, and has been incorporated in the OMG standard for Case Management Model and Notation (CMMN) [13,40].…”

Section: Introductionmentioning

confidence: 99%

Verification of Hierarchical Artifact Systems

Deutsch

Vianu

2019

ACM Trans. Database Syst.

View full text Add to dashboard Cite

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present work represents a significant advance on the problem of artifact verification, by considering a much richer and more realistic model than in previous work, incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the model features task hierarchy, concurrency, and richer artifact data. It also allows database key and foreign key dependencies, as well as arithmetic constraints. The results show decidability of verification and establish its complexity, making use of novel techniques including a hierarchy of Vector Addition Systems and a variant of quantifier elimination tailored to our context.

show abstract

On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles

Cited by 93 publications

References 29 publications

Modeling and In-Database Management of Relational, Data-Aware Processes

Modeling and In-Database Management of Relational, Data-Aware Processes

Verifiable UML Artifact-Centric Business Process Models

Verification of Hierarchical Artifact Systems

Contact Info

Product

Resources

About