Verification of Semantically-Enhanced Artifact Systems

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin

Proc. of the 11th Int. Conf. on Service Oriented Computing (ICSOC 2013). Volume 8274 of Lecture Notes in Computer Science. 2013.

Artifact-Centric systems have emerged in the last years as a sui table 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, constituted by a full-fledged OWL 2 QL ontology linked to the artifact information models through mapping specifications. The ontology provides a conceptual view of the domain under study, and allows one to understand the evolution of the artifact system at a higher level of abstraction. In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model. This technique has been implemented in a tool that exploits state-of-the-art ontology-based data access technologies to manipulate the temporal properties according to the ontology and the mappings, and that relies on the GSMC model checker for verification.

   title = "Verification of Semantically-Enhanced Artifact Systems",
   year = "2013",
   author = "Bagheri Hariri, Babak and Diego Calvanese and Marco Montali
and Ario Santoso and Dmitry Solomakhin",
   booktitle = "Proc. of the 11th Int. Conf. on Service Oriented Computing
(ICSOC 2013)",
   pages = "600--607",
   volume = "8274",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/978-3-642-45005-1_51",
pdf url