The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Specifications are (preferably) executable
Software Engineering Journal
EROOS: an entity-relationship based object-oriented specification method
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Applying UML and patterns: an introduction to object-oriented analysis and design
Applying UML and patterns: an introduction to object-oriented analysis and design
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Constraints in Object-Oriented Analysis
Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Data & Knowledge Engineering - Special issue: ER 2003
A method for the mapping of conceptual designs to logical blueprints for ETL processes
Decision Support Systems
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.01 |
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.