Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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.
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.
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.
Chen, P.P. “The Enitiy-Relational Model. Towards a Unified View of Data”, ACM TODS, Vol. 1, No. 1, 9–36, 1976.
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.
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.
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.
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.
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.
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.
Gupta, A.; Sagiv, Y.; Ullman, J.D.; Widom, J. “Constraint Checking with Partial Information”, Proc. 13th PoDS, 45–55, ACM Press, 1994.
Gulla, J.A.; Willumsen, G. “Using Explanations to Improve the Validation of Executable Models”, Proc. of the CAiSE-93 Conference, 118–142, Paris, 1993.
Hammer, M.; McLeod, D. “Database Descritpion with SDM: a Semantic Database Model”, ACM TODS, Vol. 6, No. 3, 351–386, 1981.
Jesus, L.; Carapuça, R. “Automatic Generation of Documentation for Information Systems”, Proc. of the CAiSE-92 Conference, 48–64, Manchester, 1992.
Kung, C.H. A Temporal Framework for Information Systems Specifications and Verification, PhD Thesis, Univ. of Trondheim, Norway, 1984.
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.
Levy, A.; Mumick, I.S.; Sagiv, Y.; Shmueli, O. “Equivalence, Query-reachability, and Satisfiability in Datalog Extensions”, Proc. 12th PoDS, 1993.
Lindland, O.I.; Krogstie, J. “Validating Conceptual Models by Transformational Prototyping”, Proc. of the CAiSE-93 Conference, 165–183, Paris, 1993.
Lalioti, V,; Loucopoulos, P. “Visualisation for Validation”, Proc. of the CAiSE-93 Conference, 143–164, Paris, 1993.
Lloyd, J.W.; Topor, R.W. “Making Prolog more expressive”, Journal of Logic Programming, No.3, 225–240, 1984.
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.
Lundberg, B. “On Correctness of Information Models”. Information Systems, Vol. 8, No. 2, 87–93, 1983.
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.
Nijssen, G.M,; Halpin, T.A. Conceptual Schema and Relational Database Design. A Fact Oriented Approach, Prentice-Hall, 1989.
Nicolas, J.M. “Logic for improving integrity checking in relational databases”, Acta Informatica, 18, 227–253, 1982.
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.
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.
Rolland, C.; Proix, C. “A Natural Language Approach for Requirements Engineering”, Proc. of the CAiSE-92 Conference, 257–277, Manchester, 1992.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costal, D., Teniente, E., Urpí, T., Farré, C. (1996). Handling conceptual model validation by planning. In: Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds) Advanced Information Systems Engineering. CAiSE 1996. Lecture Notes in Computer Science, vol 1080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61292-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-61292-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61292-6
Online ISBN: 978-3-540-68451-0
eBook Packages: Springer Book Archive