Semantically-Governed Data-Aware Processes

In this paper we consider processes that run over data stored in a relational database. Our setting is that of ontology-based data access (OBDA), where the information in the database is conceptually represented as an ontology and is declaratively mapped to it through queries. We are interested in verifying temporal logic formulas on the evolution of the information at the conceptual level, taking into account the knowledge present in the ontology, which allows for deducing information that is only implicitly available. Specifically, we show how, building on first-order rewritability of queries over the system state that is typical of ontology languages for OBDA, we are able to reformulate the temporal properties into temporal properties expressed over the underlying database. This allows us adopt notable decidability results on verification of evolving databases that have been established recently.

[1]  Jianwen Su,et al.  Towards Formal Analysis of Artifact-Centric Business Process Models , 2007, BPM.

[2]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[3]  Diego Calvanese,et al.  Foundations of Relational Artifacts Verification , 2011, BPM.

[4]  Diego Calvanese,et al.  EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.

[5]  Alessio Lomuscio,et al.  Verification of Deployed Artifact Systems via Data Abstraction , 2011, ICSOC.

[6]  Giuseppe De Giacomo,et al.  Conjunctive Artifact-Centric Services , 2010, ICSOC.

[7]  Richard Hull,et al.  Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes , 2009, IEEE Data Eng. Bull..

[8]  Diego Calvanese,et al.  Dependencies: Making Ontology Based Data Access work in practice , 2011 .

[9]  Diego Calvanese,et al.  Verification of Conjunctive-Query Based Semantic Artifacts , 2011, Description Logics.

[10]  Diego Calvanese,et al.  Path-Based Identification Constraints in Description Logics , 2008, KR.

[11]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[12]  Anil Nigam,et al.  Business artifacts: An approach to operational specification , 2003, IBM Syst. J..

[13]  E. Allen Emerson,et al.  Automated Temporal Reasoning about Reactive Systems , 1996, Banff Higher Order Workshop.

[14]  Serge Abiteboul,et al.  The AXML Artifact Model , 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

[15]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[16]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

[17]  Jacques Wainer,et al.  Proclets: A Framework for Lightweight Interacting Workflow Processes , 2001, Int. J. Cooperative Inf. Syst..

[18]  Stephan Merz,et al.  Model Checking , 2000 .

[19]  Diego Calvanese,et al.  Verification of relational data-centric dynamic systems with external services , 2012, PODS.