Title: On the transformation of object-oriented conceptual models to logical theories
Authors: Bekaert, Pieter ×
Van Nuffelen, Bert
Bruynooghe, Maurice
Gilis, David
Denecker, Marc #
Issue Date: 2002
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:2503 pages:152-166
Conference: 21th International Conference on Conceptual Modeling (ER 2002) location:Tampere, Finland date:October 7-11, 2002
Abstract: This paper describes a semi-automatic transformation from object-oriented conceptual models to logical theories. By associating a logical theory with a conceptual model, we are able to combine the best of both worlds. On one hand, the object-oriented software development paradigm is recognized to be well-suited to build maintainable and-communicable conceptual models. On the other hand, the logical programming paradigm offers very powerful and semantically founded concepts to represent knowledge and the use of logical inference systems makes it possible to prototype solutions to computational tasks: Since our method makes this mapping from conceptual models to logical theories traceable, dealing with the evolution of the problem domain and requirements becomes more manageable. Moreover a path is offered towards building prototypes for object-oriented conceptual models.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
38696.pdf Published 234KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science