On the transformation of object-oriented conceptual models to logical theories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2503, Issue , 2002, Pages 152-166

  Bekaert, Pieter ^a   Van Nuffelen, Bert ^a   Bruynooghe, Maurice ^a   Gilis, David ^a   Denecker, Marc ^a  

^a Department of Computer Science KU Leuven   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SOFTWARE DESIGN;

COMPUTATIONAL TASK; CONCEPTUAL MODEL; LOGICAL INFERENCE; LOGICAL PROGRAMMING; LOGICAL THEORIES; OBJECT ORIENTED; OBJECT ORIENTED SOFTWARE DEVELOPMENT; SEMI-AUTOMATICS;

OBJECT ORIENTED PROGRAMMING;

EID: 84859378328     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45816-6_21     Document Type: Conference Paper

References (21)

1. The Asystem. Obtainable via http: //www.cs.kuleuven.ac.be/~dtai/kt/ systems-E.shtml.
2. Pieter Bekaert, Geert Delanote, Frank Devos, and Eric Steegmans. Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning. In Workshop MASPEGHI: MAnaging SPEcialization/Generalization HIerarchies, OOIS 2002, September 2002.
3. Pieter Bekaert and Eric Steegmans. Non-Determinism in Conceptual Models. In Proceedings of the Tenth OOPSLA Workshop on Behavioral Semantics, OOPSLA’ 01, October 2001.
4. Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, and Marc Denecker. SpecifyingAn Educational Resource Management System: A Transformative Approach. Report, Department of Computer Science, K.U.Leuven, Leuven, Belgium, in preparation, draft at http://www.cs.kuleuven.ac.be/~dtai/kt/btw/.
5. Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, and Marc Denecker. TransformingE ROOS Conceptual Models to ID-Logic Theories: A Case Study. Report, Department of Computer Science, K.U.Leuven, Leuven, Belgium, in preparation, draft at http://www.cs.kuleuven.ac.be/~dtai/kt/btw/.
6. Jean-Michel Bruel and Robert B. France. TransformingUM L models to formal specifications. In Pierre-Alain Muller and Jean Bézivin, editors, Proc. International Conference on the Unified Modeling Language (UML): Beyond the Notation. Springer-Verlag, 1998.
7. Marc Denecker. Extendingc lassical logic with inductive definitions. In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors, Computational Logic-CL 2000, First International Conference, London, UK, July 2000, Proceedings, volume 1861 of Lecture Notes in Artificial Intelligence, pages 703–717. Springer, 2000.
8. Marc Denecker, Maurice Bruynooghe, and Victor Marek. Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic, 2(4): 623–654, October 2001.
9. Marc Denecker and Danny De Schreye. SLDNFA: an abductive procedure for normal abductive programs. Journal of Logic Programming, 34(2): 111–167, February 1998.
10. Marc Denecker and A.C. Kakas, editors. Special Issue: Abductive Logic Programming. Elsevier, North-Holland, 2000. Special issue Journal of Logic Programming, Vol. 44(1-3), July/August 2000.
11. N. E. Fuchs. Specifications are (preferably) executable. IEE/BCS Software Engineering Journal, 7(5): 323–334, 1992.
12. Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
13. A.C. Kakas, Bert Van Nuffelen, and Marc Denecker. A-system: Problem solving through abduction. In B. Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, pages 591–596. International Joint Conferences on Artificial Intelligence, Inc. and American Association for Artificial Intelligence, 2001.
14. Craig Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design. Prentice Hall, 1997.
15. Michael Leushel. The ECCE partial deduction system and the dppd library of benchmarks. Obtainable via http: //www.ecs.soton.ac.uk/~mal.
16. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.
17. Eric Steegmans, Pieter Bekaert, Frank Devos, Jan Dockx, Bart Swennen, and Stefan Van Baelen. Object-Oriented Analysis. Course Notes, Department of Computer Science, K.U.Leuven, 2001.
18. Eric Steegmans, Johan Lewi, M. D’Haese, Jan Dockx, D. Jehoul, Bart Swennen, Stefan Van Baelen, and P. Van Hirtum. EROOS Reference Manual. Version 1.0. Report CW 208, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1995.
19. Stefan Van Baelen, Johan Lewi, Eric Steegmans, and Bart Swennen. Constraints in object-oriented analysis. In S. Nishio and A. Yonezawa, editors, Object Technologies for Advanced Software, Lecture Notes in Computer Science, Vol. 742, pages 393–407. Springer-Verlag, Berlin, 1993. ISBN 3-540-57342-9.
20. Stefan Van Baelen, Johan Lewi, Eric Steegmans, and H. Van Riel. EROOS: An Entity-Relationship based Object-Oriented Specification Method. In B. Magnusson G. Heegan d B. Meyer, editors, Technology of Object-Oriented Languages and Systems TOOLS 7, pages 103–117. Prentice-Hall, Hertsfordshire, UK, 1992.
21. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3): 620–650, 1991.