A method for reasoning about deductive conceptual models of information systems

  • Dolors Costal
  • Antoni Olivé
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 593)


We describe a new method for reasoning about conceptual models of information systems developed in the deductive approach. The method allows checking the effect of external events on the Information Base and generating plans able to perform a transition between two states of the Information Base. Our method has the full power of the methods developed so far for the traditional, operational approach to conceptual modelling. The reasoning capabilities provided by our method are helpful and improve the validation task of conceptual models of information systems.


Deductive Conceptual Models Requirements Validation Plan Formation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABC82]
    Adrion,W.R.;Branstad,M.A.;Cherniavsky,J.C. “Validation, verification and testing of computer software”, ACM Computing Surveys, Vol. 14, No. 2, June 1982, pp. 159–192.Google Scholar
  2. [BuO86]
    Bubenko,J.; Olivé.A. “Dynamic or temporal modelling?. An illustrative comparison”, SYSLAB Working Paper No. 117, University of Stockholm, 1986.Google Scholar
  3. [Bub86]
    Bubenko,J.A. “Information system methodologies — A research view”. In Olle,T.W.; Sol,H.G.;Verrijn-Stuart,A.A. (Eds.) “Information systems design methodologies: improving the practice”, North-Holland, 1986, pp. 289–318.Google Scholar
  4. [CFT91]
    Casanova,M.A.;Furtado,A.L.;Tucherman,L. “A software tool for modular database design”, ACM TODS, Vol. 16, No. 2, June 1991, pp. 209–235.Google Scholar
  5. [Cos91]
    Costal,D. “An approach to validation of Deductive Conceptual Models”, Proc. of the Second International Workshop on the Deductive Approach to Information Systems and Databases, Aiguablava (Catalonia), September 1991, pp. 50–72.Google Scholar
  6. [FuC90]
    Furtado,A.L.; Casanova,M.A. “Plan and schedule generation over temporal databases”, Proc. of the 9th International Conference on Entity-Relationship Approach, Lausanne, 1990, pp. 235–248.Google Scholar
  7. [FuM84]
    Furtado,A.L.; Moura,C.M.O. “Expert helpers to databased Information Systems”, First International Workshop on Expert Database Systems, 1984.Google Scholar
  8. [GMN84]
    Gallaire,H.; Minker,J.;Nicolas,J.M. “Logic and databases: A deductive approach”. ACM Computing Surveys, Vol. 16, No. 2, June 1984, pp. 153–185.Google Scholar
  9. [Kow79]
    Kowalski,R.A. “Logic for problem solving”, North-Holland, 1979.Google Scholar
  10. [L1T84]
    Lloyd, J.W.; Topor,R.W. “Making Prolog more expressive”. J. Logic Programming, 1984, No.3, pp. 225–240.Google Scholar
  11. [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. 323–342.Google Scholar
  12. [Lun82a]
    Lundberg, B. “IMT-An information modelling tool”, In Schneider,H.-J.; Wasserman, A.I. (Eds.) “Automated tools for information systems design”, North Holland, 1982, pp. 21–30.Google Scholar
  13. [Lun82b]
    Lundberg, B. “On correctness of information models”, SYSLAB Report No. 11, Chalmers Univ. of Technology, June 1982.Google Scholar
  14. [Oli86]
    Olivé,A. “A comparison of the operational and deductive approaches to conceptual information systems modelling”, Proc. IFIP-86, Dublín, pp. 91–96.Google Scholar
  15. [Oli89]
    Olivé,A. “On the design and implementation of information systems from deductive conceptual models”, Proc. of the 15th VLDB, Amsterdam, 1989, pp. 3–11.Google Scholar
  16. [Pet77]
    Peterson,J.L. “Petri nets”, ACM Computing Surveys, Vol. 9, No.3, September 1977, pp. 223–252.Google Scholar
  17. [San90]
    Sancho,M.R. “Deriving an internal events model from a deductive conceptual model”, Proc. of the International Workshop on the Deductive Approach to Information Systems and Databases, S'Agaró (Catalonia), 1990, pp. 73–92.Google Scholar
  18. [TeO92]
    Teniente, E; Olivé, A. “The Events Method for View Updating in Deductive Databases”, Proc. of the International Conference EDBT'92, Vienna, 1992.Google Scholar
  19. [VeF85]
    Veloso,P.A.S.; Furtado,A.L. “Towards simpler and yet complete formal specifications”, Proc. of the IFIP Working Conference on Theoretical and Formal Aspects of Information Systems, 1985, pp. 175–189.Google Scholar
  20. [War74]
    Warren,D.H.D. “WARPLAN: a system for generating plans”-Memo 76-University of Edinburgh, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Dolors Costal
    • 1
  • Antoni Olivé
    • 1
  1. 1.Facultat d'InformàticaUniversitat Politècnica de CatalunyaBarcelona-Catalonia

Personalised recommendations