[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
Conceptual Modeling — ER 2002 (ER 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2503))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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.

    Google Scholar 

  3. Pieter Bekaert and Eric Steegmans. Non-Determinism in Conceptual Models. In Proceedings of the Tenth OOP SLA Workshop on Behavioral Semantics, OOP-SLA’01, October 2001.

    Google Scholar 

  4. Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, and Marc Denecker. Specifying An 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. Transforming EROOS 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. Transforming UML 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.

    Google Scholar 

  7. Marc Denecker. Extending classical 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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  11. N. E. Fuchs. Specifications are (preferably) executable. IEE/BCS Software Engineering Journal, 7(5):323–334, 1992.

    Article  Google Scholar 

  12. Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.

    Google Scholar 

  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.

    Google Scholar 

  14. Craig Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design. Prentice Hall, 1997.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  20. Stefan Van Baelen, Johan Lewi, Eric Steegmans, and H. Van Riel. EROOS: An Entity-Relationship based Object-Oriented Specification Method. In B. Magnus-son G. Heeg and B. Meyer, editors, Technology of Object-Oriented Languages and Systems TOOLS 7, pages 103–117. Prentice-Hall, Hertsfordshire, UK, 1992.

    Google Scholar 

  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.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, 3001, Leuven, Belgium

    Pieter Bekaert (Research Assistant of the Fund for Scientific Research - Flanders (Belgium) (F.W.O.Vlaanderen), Bert Van Nuffelen, Maurice Bruynooghe, David Gilis & Marc Denecker

Authors
  1. Pieter Bekaert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bert Van Nuffelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maurice Bruynooghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. David Gilis
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Marc Denecker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Database Laboratory, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale Lausanne (EPFL), 1015, Lausanne, Switzerland

    Stefano Spaccapietra

  2. Owen Graduate School of Management, Vanderbilt University, Nashville, TN, 37203, USA

    Salvatore T. March

  3. Graduate School of Informatics, Department of Social Informatics, Kyoto University, Yoshida Sakyo, Kyoto, 606-8501, Japan

    Yahiko Kambayashi

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bekaert, P., Van Nuffelen, B., Bruynooghe, M., Gilis, D., Denecker, M. (2002). On the Transformation of Object-Oriented Conceptual Models to Logical Theories. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds) Conceptual Modeling — ER 2002. ER 2002. Lecture Notes in Computer Science, vol 2503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45816-6_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-45816-6_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44277-6

  • Online ISBN: 978-3-540-45816-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation