Advertisement

Ontology-Based Governance of Data-Aware Processes

  • Diego Calvanese
  • Giuseppe De Giacomo
  • Domenico Lembo
  • Marco Montali
  • Ario Santoso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7497)

Abstract

In this paper we show how one can use the technology developed recently for Ontology-Based Data Access (OBDA) to govern data-aware processes through ontologies. In particular, we consider processes executed over a relational database which issue calls to external services to acquire new information and update the data.We equip these processes with an OBDA system, in which an ontology modeling the domain of interest is connected through declarative mappings to the database, and that consequently allows one to understand and govern the manipulated information at the conceptual level. In this setting, we are interested in verifying first-order μ-calculus formulae specifying temporal properties over the evolution of the information at the conceptual level. Specifically, we show how, building on first-order rewritability of queries over the system state that is typical of OBDA, we are able to reformulate the temporal properties into temporal properties expressed over the underlying database. This allows us to adopt notable decidability results on verification of evolving databases that have been established recently.

Keywords

Description Logic Process Component External Service Query Answering Object Term 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. of Cooperative Information Systems 10(4), 443–481 (2001)CrossRefGoogle Scholar
  2. 2.
    Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The AXML Artifact Model. In: Proc. of TIME, pp. 11–17 (2009)Google Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)Google Scholar
  4. 4.
    Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R.: Verification of Conjunctive-Query Based Semantic Artifacts. In: Proc. of DL, vol. 745. CEUR (2011), ceur-ws.org (2011)
  5. 5.
    Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of Relational Artifacts Verification. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 379–395. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR Technical Report arXiv:1203.0024, arXiv.org e-Print archive (2012), http://arxiv.org/abs/1203.0024
  7. 7.
    Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of Deployed Artifact Systems via Data Abstraction. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. LNCS, vol. 7084, pp. 142–156. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Belardinelli, F., Lomuscio, A., Patrizi, F.: An Abstraction Technique for the Verification of Artifact-Centric Systems. In: Proc. of KR, pp. 319–328 (2012)Google Scholar
  9. 9.
    Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards Formal Analysis of Artifact-Centric Business Process Models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288–304. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodríguez-Muro, M., Rosati, R.: Ontologies and Databases: The DL-Lite Approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 255–356. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective First-Order Query Processing in Description Logics. In: Proc. of IJCAI, pp. 274–279 (2007)Google Scholar
  12. 12.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. of Automated Reasoning 39(3), 385–429 (2007)zbMATHCrossRefGoogle Scholar
  13. 13.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-Based Identification Constraints in Description Logics. In: Proc. of KR, pp. 231–241 (2008)Google Scholar
  14. 14.
    Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive Artifact-Centric Services. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 318–333. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  15. 15.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)Google Scholar
  16. 16.
    Cohn, D., Hull, R.: Business Artifacts: A Data-Centric Approach to Modeling Business Operations and Processes. IEEE Bull. on Data Engineering 32(3), 3–9 (2009)Google Scholar
  17. 17.
    De Masellis, R., De Giacomo, G., Rosati, R.: Verification of Conjunctive Artifact-Centric Services. Int. J. of Cooperative Information Systems (to appear, 2012)Google Scholar
  18. 18.
    Emerson, E.A.: Automated Temporal Reasoning About Reactive Systems. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 41–101. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  19. 19.
    Nigam, A., Caswell, N.S.: Business Artifacts: An Approach to Operational Specification. IBM Systems Journal 42(3), 428–445 (2003)CrossRefGoogle Scholar
  20. 20.
    Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking Data to Ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  21. 21.
    Rodriguez-Muro, M., Calvanese, D.: High Performance Query Answering over DL-Lite Ontologies. In: Proc. of KR, pp. 308–318 (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Diego Calvanese
    • 1
  • Giuseppe De Giacomo
    • 2
  • Domenico Lembo
    • 2
  • Marco Montali
    • 1
  • Ario Santoso
    • 1
  1. 1.Free University of Bozen-BolzanoItaly
  2. 2.Sapienza Università di RomaItaly

Personalised recommendations