On the Transformation of Object-Oriented Conceptual Models to Logical Theories

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.

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[3]  Victor W. Marek,et al.  Logic programming revisited , 2001, ACM Trans. Comput. Log..

[4]  Bert Van Nuffelen,et al.  A-System: Problem Solving through Abduction , 2001, IJCAI.

[5]  Pieter Bekaert,et al.  Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning , 2002, OOIS Workshops.

[6]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[7]  Stefan Van Baelen,et al.  Constraints in Object-Oriented Analysis , 1993, ISOTAS.

[8]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.

[9]  Satoshi Matsuoka,et al.  Object Technologies for Advanced Software , 1996, Lecture Notes in Computer Science.

[10]  J. Bruel.  Transforming UML Models to Formal Speci cations , 1998 .

[11]  Antonis C. Kakas,et al.  Special issue: abductive logic programming , 2000, The Journal of Logic Programming.

[12]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Abductive Logic Programs , 1998, J. Log. Program..

[13]  Pieter Bekaert,et al.  Non-determinism in conceptual models , 2001, OOPSLA 2001.

[14]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..

[15]  Marc Denecker,et al.  Extending Classical Logic with Inductive Definitions , 2000, Computational Logic.

[16]  정인기,et al.  [서평]「Applying UML and Patterns - An Introduction to Object-Oriented Analysis and Design」 , 1998 .

[17]  Stefan Van Baelen,et al.  EROOS: An entity-relationship based object-oriented development method , 1992 .

[18]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .