Handling conceptual model validation by planning

  • Dolors Costal
  • Ernest Teniente
  • Toni Urpí
  • Carles Farré
Formal Methods in System Developmant
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1080)


An important amount of research has been devoted to conceptual model validation, that is, to check whether a conceptual model correctly and adequately describes the users' intended needs and requirements. In this paper we present a new approach to model validation. We define a set of desirable properties that a conceptual model should satisfy and we show how the accomplishment of all these properties can be checked in a uniform way by means of planning. Our approach is independent of any particular planning method and it extends the facilities of the methods developed so far.


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, 159–192, 1982.Google Scholar
  2. [BDM88]
    Bry, F.; Decker, H.; Manthey, R. “A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases”, in J. Schmidt et al (eds): Proc. 1st EDBT, 488–505, Springer LNCS 303, 1988.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, 289–318, North-Holland, 1986.Google Scholar
  4. [Che76]
    Chen, P.P. “The Enitiy-Relational Model. Towards a Unified View of Data”, ACM TODS, Vol. 1, No. 1, 9–36, 1976.Google Scholar
  5. [CO92]
    Costal, D.; Olivé, A. “A Method for Reasoning about Deductive Conceptual Models of Information Systems”, Proc. of the CAiSE-92 Conference, 612–631, Manchester, 1992.Google Scholar
  6. [Cos95]
    Costal, D. Un mètode de planificació basat en l'actualització de vistes en bases de dades deductives, PhD Thesis, Universitat Politècnica de Catalunya, Barcelona, 1995.Google Scholar
  7. [Dal92]
    Dalianis, H. “A Method for Validating a Conceptual Model by Natural Language Discourse and Generation”, Proc. of the CAiSE-92 Conference, 425–444, Manchester, 1992.Google Scholar
  8. [DMMP91]
    Decker, M.; Moerkotte, G.; Müller, H.; Possega,J. “Consistency Driven Planning”, Proc. of the 5th Portuguese Conference on Artificial Intelligence, 195–209, Albufeira, Portugal, 1991.Google Scholar
  9. [DTU96]
    Decker, H.; Teniente, E.; Urpí, T. “How to Tackle Schema Validation by View Updating”, To appear in proc. of the EDBT'96, Avignon, France, 1996.Google Scholar
  10. [FW95]
    Feenstra R.; Wieringa R. “Validating Database Constraints and Updates Using Automated Reasoning Techniques”, in B. Thalheim (ed): Proc. of the workshop on Semantics in Databases, 24–32, TR Univ of Cottbus, 1995.Google Scholar
  11. [GSUW94]
    Gupta, A.; Sagiv, Y.; Ullman, J.D.; Widom, J. “Constraint Checking with Partial Information”, Proc. 13th PoDS, 45–55, ACM Press, 1994.Google Scholar
  12. [GW93]
    Gulla, J.A.; Willumsen, G. “Using Explanations to Improve the Validation of Executable Models”, Proc. of the CAiSE-93 Conference, 118–142, Paris, 1993.Google Scholar
  13. [HM81]
    Hammer, M.; McLeod, D. “Database Descritpion with SDM: a Semantic Database Model”, ACM TODS, Vol. 6, No. 3, 351–386, 1981.Google Scholar
  14. [JC92]
    Jesus, L.; Carapuça, R. “Automatic Generation of Documentation for Information Systems”, Proc. of the CAiSE-92 Conference, 48–64, Manchester, 1992.Google Scholar
  15. [Kun84]
    Kung, C.H. A Temporal Framework for Information Systems Specifications and Verification, PhD Thesis, Univ. of Trondheim, Norway, 1984.Google Scholar
  16. [Kun85]
    Kung, C.H. “A Tableaux Approach for Consistency Checking”, In Sernadas, A.; Bubenko, J.; Olivé, A. (Eds.) Information Systems: Theoretical and Formal Aspects. Elsevier Science Publishers, North-Holland, 191–207, 1985.Google Scholar
  17. [LMSS93]
    Levy, A.; Mumick, I.S.; Sagiv, Y.; Shmueli, O. “Equivalence, Query-reachability, and Satisfiability in Datalog Extensions”, Proc. 12th PoDS, 1993.Google Scholar
  18. [LK93]
    Lindland, O.I.; Krogstie, J. “Validating Conceptual Models by Transformational Prototyping”, Proc. of the CAiSE-93 Conference, 165–183, Paris, 1993.Google Scholar
  19. [LL93]
    Lalioti, V,; Loucopoulos, P. “Visualisation for Validation”, Proc. of the CAiSE-93 Conference, 143–164, Paris, 1993.Google Scholar
  20. [LT84]
    Lloyd, J.W.; Topor, R.W. “Making Prolog more expressive”, Journal of Logic Programming, No.3, 225–240, 1984.Google Scholar
  21. [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, 323–342, 1991.Google Scholar
  22. [Lun82]
    Lundberg, B. “On Correctness of Information Models”. Information Systems, Vol. 8, No. 2, 87–93, 1983.Google Scholar
  23. [MBW80]
    Mylopoulos, J.; Bernstein, P.A.; Wong, H.K.T. “A Language Facility for Designing Database-Intensive Applications”, ACM TODS, Vol. 5, No. 2, 185–207, 1980.Google Scholar
  24. [NH89]
    Nijssen, G.M,; Halpin, T.A. Conceptual Schema and Relational Database Design. A Fact Oriented Approach, Prentice-Hall, 1989.Google Scholar
  25. [Nic82]
    Nicolas, J.M. “Logic for improving integrity checking in relational databases”, Acta Informatica, 18, 227–253, 1982.Google Scholar
  26. [OS95]
    Olivé,A.; Sancho,M.R. “A Method for Explaining the Behaviour of Conceptual Models”, Proc. of the CAiSE-95 Conference, 12–25, Jyväskylä, 1995.Google Scholar
  27. [PO95]
    Pastor, J.A.; Olivé,A. “Supporting Transaction Design in Conceptual Modelling of Information Systems”, Proc. of the CAiSE-95 Conference, 40–53, Jyväskylä, 1995.Google Scholar
  28. [RP92]
    Rolland, C.; Proix, C. “A Natural Language Approach for Requirements Engineering”, Proc. of the CAiSE-92 Conference, 257–277, Manchester, 1992.Google Scholar
  29. [VF85]
    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, 175–189, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Dolors Costal
    • 1
  • Ernest Teniente
    • 1
  • Toni Urpí
    • 1
  • Carles Farré
    • 1
  1. 1.Facultat d'InformàticaUniversitat Politècnica de Catalunya LSIBarcelona-Catalonia

Personalised recommendations