Título:
|
The Odissea approach to the design of information systems from deductive conceptual models
|
Autor/a:
|
Sancho Samsó, María Ribera; Olivé Ramon, Antoni
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
Abstract:
|
This paper describes the general framework and some details of the ODISSEA approach to conceptual modelling and design of information systems. We use a logic-based language for the specification of conceptual models and apply extensively logic-based techniques for the generation of a system design from a conceptual model. The main originality of our work is that our language is based on the deductive approach to conceptual modelling, instead of the usual operational approach. Deductive conceptual models (DCM) show a number of significant advantages, but are much more difficult to design and implement. We deal with the problem of generating a design for a given DCM. We present a new, formal method for generating transactions from a DCM. The method uses the SLDNF proof procedure and can be implemented in Prolog environments. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -ODISSEA -Information systems -Deductive conceptual models -DCM -SLDNF proof procedure |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|