On the Transformation of Object-Oriented Conceptual Models to Logical Theories-Reference-Cited by-同舟云学术

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

Published:2002 Issue: Volume: Page:152-166
ISSN:0302-9743
Container-title:Conceptual Modeling — ER 2002
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45816-6_21

Reference21 articles.

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 OOP SLA Workshop on Behavioral Semantics, OOP-SLA’01, October 2001.

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/ .

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A method for the definition of integrity constraints in object-oriented conceptual modeling languages;Data & Knowledge Engineering;2006-12

2. On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic;Conceptual Modeling — ER 2002;2002