A method for explaining the behaviour of conceptual models

  • Antoni Olivé
  • Maria-Ribera Sancho
Behaviour Modelling
Part of the Lecture Notes in Computer Science book series (LNCS, volume 932)


Traditional information modelling methods have been concerned with the important task of checking whether a model correctly and adequately describes a piece of reality and/or the users' intended requirements, that is, with model validation. In this paper, we present a new method for model validation which can be applied to conceptual models based on the concept of transaction. It provides explanations of the results of model execution. We extend the facilities of methods developed so far in this context by providing answers to questions about the value of derived information, to questions about how an information can be made true or false, and to hypothetical questions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bub88]
    Bubenko,J.A. “Selecting a Strategy For Computer-aided Software Engineering (CASE)”, SYSLAB Rep. 59, University of Stockholm, 1988.Google Scholar
  2. [Che76]
    Chen.P.P. “The Entity-Relational model. Towards a unified view of data”. ACM Trans. on Database Systems, vol. 1, no. 1, March 1976, pp. 9–36.Google Scholar
  3. [CoO92]
    Costal,D.; Olivé,A. “A method for reasoning about deductive conceptual models”, Proc. of CAiSE 92, Manchester, May 1992, pp. 612–631.Google Scholar
  4. [Dal92]
    Dalianis,H. “A method for validating a conceptual model by natural language discourse generation”, Proc. of CAiSE 92, Manchester, 1992, pp. 425–444.Google Scholar
  5. [Dec91]
    Decker,H. “On Explanations in Deductive Databases”, Proc. Third Workshop on Foundations of Models and Languages for Data and Objects, Aigen, September 1991, pp. 173–186.Google Scholar
  6. [DeT89]
    Decker,H.; Tomasic,A. “Towards a foundation of explanations in deductive databases”, Internal report ECRC, Munich 1989.Google Scholar
  7. [Gul93]
    Gulla,J.A. “Explanation generation in information systems engineering”, PhD. Thesis. Norwegian Institute of Technology, Trondheim, 1993.Google Scholar
  8. [GuW93]
    Gulla,J.A.;Willumsen,G. “Using Explanations to Improve the Validation of Executable Models”, Proc. CAiSE 93, Paris, June 1993, pp. 118–142.Google Scholar
  9. [HaM81]
    Hammer,M.;McLeod,D. “Database description with SDM: A semantic database model”. ACM TODS, vol. 6, no. 3, 1981, pp. 351–386.Google Scholar
  10. [JeC92]
    Jesus,L.;Carapuça,R. “Automatic Generation of Documentation for Information Systems”,Proc. CAiSE 92, Manchester, May 1992, pp. 48–64.Google Scholar
  11. [JMS92]
    Jarke,M.; Mylopoulos,J.W.;Schmidt,J.W.;Vassiliou,Y. “DAIDA: An Environment for Evolving Information Systems”. ACM Trans. on Information Systems, vol. 10, no. 1, January 1992, pp. 1–50.Google Scholar
  12. [LaL93]
    Lalioti,V.; Loucopoulos,P. “Visualisation for Validation”, Proc. CAiSE 93, Paris, June 1993, pp. 143–164.Google Scholar
  13. [LiK93]
    Lindland,O.I.;Krogstie,J.“Validating Conceptual Models by Transformational Prototyping”, Proc. CAiSE 93, Paris, June 1993, pp. 165–183.Google Scholar
  14. [Llo87]
    Lloyd, J.W. “Foundations of logic programming”. Springer-Verlag, 1987.Google Scholar
  15. [LTP91]
    Loucopoulos,P.;Theodoulidis,B.;Pantazis,D. “Business Rules Modelling: Conceptual Modelling and Object-Oriented Specifications”. In Van Assche, F., Moulin,B.; Rolland,C. (eds.) “Object Oriented Approach in Information Systems”, North-Holland, 1991, pp. 322–342.Google Scholar
  16. [NH89]
    Nijssen, G.M.; Halpin, T.A. “Conceptual Schema and Relational Database Design. A fact oriented approach”. Prentice Hall, 1989.Google Scholar
  17. [Oli91]
    Olivé, A. “Integrity constraints checking in deductive databases”, Proc. of the 17th. VLDB, Barcelona, 1991, pp. 513–523.Google Scholar
  18. [OlS95]
    Olivé, A.; Sancho,M.R. “A Method for Explaining the Behaviour of Conceptual Models — Extended version” Tech. Report LSI/95-RGoogle Scholar
  19. [RoP92]
    Rolland,C.;Proix,C. “A Natural Language Approach for Requirements Engineering”, Proc. CAiSE 92, Manchester, May 1992, pp. 257–277.Google Scholar
  20. [Ten92]
    Teniente, E. “El mètode dels esdeveniments interns per actualització de vistes en bases de dades deductives” (in catalan), PhD. Thesis, Universitat Politècnica de Catalunya, Barcelona, 1992.Google Scholar
  21. [TeO92]
    Teniente, E; Olivé, A. “The Events Method for View Updating in Deductive Databases”, Proc. EDBT'92, Vienna, 1992, pp. 245–260.Google Scholar
  22. [San93]
    Sancho,M.R. “Explaining the behaviour of a deductive conceptual model”, Proc. Fourth Intl. DAISD Workshop, Tech. Report LSI/93-25-R, Universitat Politècnica de Catalunya, 1993, pp. 27–50.Google Scholar
  23. [San94]
    Sancho,M.R. “Disseny de transaccions a partir de models conceptuals deductius” (in catalan). PhD. Thesis, Universitat Politècnica de Catalunya, Barcelona, 1994.Google Scholar
  24. [Urp93]
    Urpi, A. “El mètode dels esdeveniments interns per al càlcul de canvis en bases de dades deductives” (in catalan). PhD. Thesis, Universitat Politècnica de Catalunya, Barcelona, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Antoni Olivé
    • 1
  • Maria-Ribera Sancho
    • 1
  1. 1.Facultat d'InformàticaUniversitat Politècnica de CatalunyaBarcelona

Personalised recommendations