2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.AI2013★ 1 cited
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +2
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, t…
cs.SE2013★ 2 cited
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
Dmitry Solomakhin, Marco Montali, Sergio Tessaris +1
Artifact-centric business processes have recently emerged as an approach in which processes are centred around the evolution of business entities, called artifacts, giving equal im…
cs.OH2013
Medical Process Modeling: an Artifact-Centric Approach
Dmitry Solomakhin
In this position paper we argue that just as traditional business process modeling has been adopted to deal with clinical pathways, also the artifact-centric process modeling techn…