{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:31:25Z","timestamp":1725485485043},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442776"},{"type":"electronic","value":"9783540458166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45816-6_21","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T19:25:42Z","timestamp":1180812342000},"page":"152-166","source":"Crossref","is-referenced-by-count":2,"title":["On the Transformation of Object-Oriented Conceptual Models to Logical Theories"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Bekaert","sequence":"first","affiliation":[]},{"given":"Bert","family":"Van Nuffelen","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"David","family":"Gilis","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,26]]},"reference":[{"key":"21_CR1","unstructured":"The Asystem. Obtainable via http:\/\/www.cs.kuleuven.ac.be\/~dtai\/kt\/systems-E.shtml ."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-46105-1_5"},{"key":"21_CR3","unstructured":"Pieter Bekaert and Eric Steegmans. Non-Determinism in Conceptual Models. In Proceedings of the Tenth OOP SLA Workshop on Behavioral Semantics, OOP-SLA\u201901, October 2001."},{"key":"21_CR4","unstructured":"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\/ ."},{"key":"21_CR5","unstructured":"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\/ ."},{"key":"21_CR6","unstructured":"Jean-Michel Bruel and Robert B. France. Transforming UML models to formal specifications. In Pierre-Alain Muller and Jean B\u00e9zivin, editors, Proc. International Conference on the Unified Modeling Language (UML): Beyond the Notation. Springer-Verlag, 1998."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013717. Springer, 2000.","DOI":"10.1007\/3-540-44957-4_47"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Marc Denecker, Maurice Bruynooghe, and Victor Marek. Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic, 2(4):623\u2013654, October 2001.","DOI":"10.1145\/383779.383789"},{"issue":"2","key":"21_CR9","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"Marc Denecker and Danny De Schreye","year":"1998","unstructured":"Marc Denecker and Danny De Schreye. SLDNFA: an abductive procedure for normal abductive programs. Journal of Logic Programming, 34(2):111\u2013167, February 1998.","journal-title":"Journal of Logic Programming"},{"volume-title":"Special Issue: Abductive Logic Programming","year":"2000","key":"21_CR10","unstructured":"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\u20133), July\/August 2000."},{"issue":"5","key":"21_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":"N. E. Fuchs","year":"1992","unstructured":"N. E. Fuchs. Specifications are (preferably) executable. IEE\/BCS Software Engineering Journal, 7(5):323\u2013334, 1992.","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"21_CR12","unstructured":"Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999."},{"key":"21_CR13","unstructured":"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\u2013596. International Joint Conferences on Artificial Intelligence, Inc. and American Association for Artificial Intelligence, 2001."},{"key":"21_CR14","unstructured":"Craig Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design. Prentice Hall, 1997."},{"key":"21_CR15","unstructured":"Michael Leushel. The ECCE partial deduction system and the dppd library of benchmarks. Obtainable via http:\/\/www.ecs.soton.ac.uk\/~mal ."},{"key":"21_CR16","unstructured":"James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998."},{"key":"21_CR17","unstructured":"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."},{"key":"21_CR18","volume-title":"Report CW 208","author":"E. Steegmans","year":"1995","unstructured":"Eric Steegmans, Johan Lewi, M. D\u2019Haese, 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."},{"key":"21_CR19","series-title":"Lect Notes Comput Sci","isbn-type":"print","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-57342-9_85","volume-title":"Object Technologies for Advanced Software","author":"S. Baelen Van","year":"1993","unstructured":"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\u2013407. Springer-Verlag, Berlin, 1993. ISBN 3-540-57342-9.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540573429"},{"key":"21_CR20","first-page":"103","volume-title":"Technology of Object-Oriented Languages and Systems TOOLS 7","author":"S. Baelen Van","year":"1992","unstructured":"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\u2013117. Prentice-Hall, Hertsfordshire, UK, 1992."},{"issue":"3","key":"21_CR21","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"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\u2013650, 1991.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45816-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:31:20Z","timestamp":1556454680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45816-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442776","9783540458166"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45816-6_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}