Verification of Semantically-Enhanced Artifact Systems (Extended Version)


Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach has been recently proposed to model artifacts and their lifecycle in a declarative way. In this paper, we enhance GSM with a Semantic Layer… (More)

4 Figures and Tables


  • Presentations referencing similar topics