145 citations · 360 across the 54 of their papers we have counts for
3 papers · 1 filter
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…
Verification of Query Completeness over Processes [Extended Version]
Simon Razniewski, Marco Montali, Werner Nutt
Data completeness is an essential aspect of data quality, and has in turn a huge impact on the effective management of companies. For example, statistics are computed and audits ar…
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…