Paper Info
Title
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
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.
Year
DOI
Venue
2002
10.1007/3-540-45816-6_21
ER
Keywords
Field
DocType
logical theories,object-oriented software development paradigm,object-oriented conceptual models,logical programming paradigm,object-oriented conceptual model,conceptual model,logical theory,semi-automatic transformation,communicable conceptual model,prototype solution,logical inference system,problem domain,object oriented
Object-oriented programming,Programming paradigm,Software engineering,Problem domain,Conceptual model,Non-classical logic,Computer science,Logical data model,Artificial intelligence,Conceptual model (computer science),Software development,Distributed computing
Conference
Volume
ISSN
ISBN
2503
0302-9743
3-540-44277-4
Citations 
PageRank 
References 
4
0.64
12
Authors
5
Name
Order
Citations
PageRank
Pieter Bekaert181.92
Bert Van Nuffelen218912.33
Maurice Bruynooghe32767226.05
David Gilis4453.70
Marc Denecker51626106.40