Handling conceptual model validation by planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1080, Issue , 1996, Pages 255-271

  Costal, Dolors ^a   Teniente, Ernest ^a   Urpí, Toni ^a   Farré, Carles ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ENGINEERING;

CONCEPTUAL MODEL; MODEL VALIDATION; NEW APPROACHES; PLANNING METHOD;

INFORMATION SYSTEMS;

EID: 84947911175     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Chapter

References (29)

1. [ABC82] Adrion, W. R.; Brans tad, M. A.; Cherniavsky, J. C. "Validation, Verification and Testing of Computer Software," ACM Computing Surveys, Vol. 14, No. 2, 159-192, 1982.
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.
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.
4. [Che76J Chen, P. P. "The Enitiy-Relational Model. Towards a Unified View of Data," ACM TODS, Vol. 1, No. 1, 9-36, 1976.
5. [C092] 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.
6. [Cos95] Costal, D. Un mètode de planifìcació basat en lactualització de vistes en bases de dades deductives, PhD Thesis, Universitat Politècnica de Catalunya, Barcelona, 1995.
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.
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.
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.
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.
11. [GSUW94] Gupta, A.; Sagiv, Y.; Ullman, J. D.; Widom, J. "Constraint Checking with Partial Information," Proc. 13PoDS, 45-55, ACM Press, 1994.
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.
13. [HM81] Hammer, M.; McLeod, D. "Database Descritpion with SDM: a Semantic Database Model," ACM TODS, Vol. 6, No. 3, 351-386, 1981.
14. [JC92] Jesus, L.; Carapuça, R. "Automatic Generation of Documentation for Information Systems," Proc. of the CAiSE-92 Conference, 48-64, Manchester, 1992.
15. [Kun84] Kung, C. H. A Temporal Framework for Information Systems Specifications and Verification, PhD Thesis, Univ. of Trondheim, Norway, 1984.
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.
17. [LMSS93] Levy, A.; Mumick, I. S.; Sagiv, Y.; Shmueli, O. "Equivalence, Query-reachability, and Satisfiability in Datalog Extensions," Proc. 12h PoDS, 1993.
18. [LK93] Lindland, O. I.; Krogstie, J. "Validating Conceptual Models by Transformational Prototyping," Proc. of the CAiSE-93 Conference, 165-183, Paris, 1993.
19. [LL93] Lalioti, V,; Loucopoulos, P. "Visualisation for Validation," Proc. of the CAiSE-93 Conference, 143-164, Paris, 1993.
20. [LT84] Lloyd, J. W.; Topor. R. W. "Making Prolog more expressive," Journal of Logic Programming, No. 3, 225-240, 1984.
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.
22. [Lun82] Lundberg, B. "On Correctness of Information Models." Information Systems, Vol. 8, No. 2, 87-93, 1983.
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.
24. [NH89] Nijssen, G. M,; Halpin, T. A. Conceptual Schema and Relational Database Design. A Fact Oriented Approach, Prentice-Hall, 1989.
25. [Nic82] Nicolas, J. M. "Logic for improving integrity checking in relational databases," Acta Informatica, 18, 227-253, 1982.
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.
27. [P095] 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.
28. [RP92] Rolland, C.; Proix, C. "A Natural Language Approach for Requirements Engineering," Proc. of the CAiSE-92 Conference, 257-277, Manchester, 1992.
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.