Validating conceptual specifications through model execution

Information Systems

Volumn 21, Issue 2, 1996, Pages 167-186

  Olivé, Antoni ^a   Sancho, Maria Ribera ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Conceptual modelling; Validation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STRUCTURES; INFORMATION SCIENCE; SPECIFICATIONS;

CONCEPTUAL MODELING; MODEL VALIDATION;

MANAGEMENT INFORMATION SYSTEMS;

EID: 0030124902     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/0306-4379(96)00010-5     Document Type: Article

References (26)

1. J.A. Bubenko. Selecting a strategy for computer-aided software engineering (CASE). SYSLAB Rep. 59, University of Stockholm, 1988.
2. P.P. Chen. The entity-relational model. Towards a unified view of data. ACM Trans. on Database Systems, 1(1):9-36 (1976).
3. D. Costal, A. Olivé. A method for reasoning about deductive conceptual models. Proc. of the CAiSE 92, pp. 612-631, May, Manchester (1992).
4. H. Dalianis. A method for validating a conceptual model by natural language discourse generation. Proc. of the CAiSE 92, pp.425-444, May, Manchester (1992).
5. H. Decker. On explanations in deductive databases. Proc. Third Workshop on Foundations of Models and Languages for Data and Objects, pp. 173-186, September, Aigen (1991).
6. D. de Champeaux, P. Faure. A comparative study of object-oriented analysis methods, JOOP, March/April, pp. 21-33 (1992).
7. H. Decker, A. Tomasic. Towards a Foundation of Explanations in Deductive Databases. Internal report ECRC, Munich (1989).
8. M. Gogolla. An Extended Entity-Relationship Model. LNCS 767, Springer-Verlag (1994).
9. J.A. Gulla. Explanation Generation in Information Systems Engineering. PhD. Thesis. Norwegian Institute of Technology, Trondheim (1993).
10. J.A. Gulla, G. Willumsen. Using explanations to improve the validation of executable models. Proc. of the CAiSE 93, pp. 118-142, June, Paris, LNCS 685 (1993).
11. T.A. Halpin, H.A. Proper. Subtyping and polymorphism in object-role modelling. Data&Knowledge Eng., No. 15, pp. 251-281 (1995).
12. L. Jesus, R. Carapuça. Automatic generation of documentation for information systems. Proc. of the CAiSE 92, pp. 48-64, May, Manchester (1992).
13. M. Jarke, J.W. Mylopoulos, J.W. Schmidt, Y. Vassiliou. DAIDA: an environment for evolving information systems. ACM Trans. on Information Systems, 10(1): 1-50 (1992).
14. V. Lalioti, P. Loucopoulos. Visualisation for validation. Proc. of the CAiSE 93, pp. 143-164, June, Paris, LNCS 685 (1993).
15. O.I. Lindland, J. Krogstie. Validating conceptual models by transformational prototyping. Proc. of the CAiSE 93, pp. 165-183, June, Paris, LNCS 685 (1993).
16. J.W. Lloyd. Foundations of Logic Programming. 2nd ed. Springer-Verlag (1987).
17. P. Loucopoulos, B. Theodoulidis, D. Pantazis. Business rules modelling: conceptual modelling and object-oriented specifications. In Van Assche, F., Moulin, B.; Rolland, C. (eds.), Object Oriented Approach in Information Systems, pp. 322-342, North-Holland (1991).
18. A. Olivé. Integrity constraints checking in deductive databases. Proc. of the 17th. VLDB, pp. 513-523, Barcelona (1991).
19. J. Peckman, F. Maryanski. Semantic data models. ACM Computing Surveys, 20(3): 153-189 (1988).
20. C. Rolland, C. Proix. A natural language approach for requirements engineering. Proc, of the CAiSE 92, pp.257-277, May, Manchester (1992).
21. M.R. Sancho. Explaining the behaviour of a deductive conceptual model. Proc. Fourth Intl. Workshop on the Deductive Approach to Information Systems and Databases, Tech. Report LS1/93-25-R, pp. 27-50, Universitat Politècnica de Catalunya (1993).
22. M.R. Sancho. Disseny de transaccions a partir de models conceptuals deductius (in catalan). PhD. Thesis, Universitat Politècnica de Catalunya, Barcelona (1994).
23. J.M. Smith, D.C.P. Smith. Database abstractions: aggregation and generalization. ACM TODS, 2(2): 105-133 (1977).
24. E. Teniente, A. Olivé. The events method for view updating in deductive databases. Proc. of the International Conference EDBT'92, pp. 245-260, Vienna (1992).
25. E. Teniente, A. Olivé. Updating knowledge bases while maintaining their consistency. VLDB Journal, Vol.4, pp. 193-241 (1994).
26. A. Urpi, A. Olivé. A method for change computation in deductive databases. Proc. 18th. VLDB, pp. 225-237, Vancouver (1992).