Handling Conceptual Model Validation by Planning

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.

[1]  Antoni Olivé,et al.  A Method for Explaining the Behaviour of Conceptual Models , 1995, CAiSE.

[2]  Alon Y. Halevy,et al.  Equivalence, query-reachability and satisfiability in Datalog extensions , 1993, PODS '93.

[3]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[4]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[5]  Antonio L. Furtado,et al.  Towards Simpler and Yet Complete Formal Specifications , 1986, TFAIS.

[6]  Colette Rolland,et al.  A Natural Language Approach for Requirements Engineering , 1992, CAiSE.

[7]  P Loucopoulos,et al.  Business Rule Modelling: Conceptual Modelling and Object-Oriented Specifications , 1991 .

[8]  Guido Moerkotte,et al.  Consistency Driven Planning , 1991, EPIA.

[9]  Bengt G. Lundberg.  On Correctness of Information Models , 1983, Inf. Syst..

[10]  Hendrik Decker,et al.  How to Tackle Schema Validation by View Updating , 1996, EDBT.

[11]  Rogério Carapuça,et al.  Automatic Generation of Documentation for Information Systems , 1992, CAiSE.

[12]  Remco Feenstra,et al.  Validating database constraints and updates using automated reasoning techniques , 1995 .

[13]  Pericles Loucopoulos,et al.  Visualisation for Validation , 1993, CAiSE.

[14]  Jon Atle Gulla,et al.  Using Explanations to Improve the Validation of Executable Models , 1993, CAiSE.

[15]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[16]  J. A. Bubenko,et al.  Information Systems: Theoretical and Formal Aspects , 1985 .

[17]  Jennifer Widom,et al.  Constraint checking with partial information , 1994, PODS.

[18]  John Krogstie,et al.  Validating Conceptual Models by Transformational Prototyping , 1993, CAiSE.

[19]  C. Kung.  A Tableaux Approach for Consistency Checking , 1985, TFAIS.

[20]  Terry Halpin,et al.  Conceptual Schema and Relational Database Design , 1995 .

[21]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[22]  Colette Rolland,et al.  Object Oriented Approach in Information Systems , 1991 .

[23]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[24]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[25]  Joan Antoni Pastor,et al.  Supporting Transaction Design in Conceptual Modelling of Information Systems , 1995, CAiSE.

[26]  Hercules Dalianis.  A Method for Validating a Conceptual Model by Natural Language Discourse Generation , 1992, CAiSE.

[27]  Dolors Costal,et al.  A method for reasoning about deductive conceptual models of information systems , 1992, CNKBS.

[28]  Janis A. Bubenko,et al.  Information System Methodologies - A Research View , 1986, Information Systems Design Methodologies: Improving the Practice.