{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:07:48Z","timestamp":1737436068121,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667124"},{"type":"electronic","value":"9783540468523"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46852-8_29","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T07:54:28Z","timestamp":1187164468000},"page":"399-415","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Correct Realizations of Interface Constraints with OCL"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7oise","family":"Tort","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"29_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-49020-3_3","volume-title":"Proc. ETAPS\/FASE\u201999","author":"D. Ancona","year":"1999","unstructured":"D. Ancona, M. Cerioli and E. Zucca. A formal framework with late binding. Proc. ETAPS\/FASE\u201999, Springer LNCS 1577, pp. 30\u201344, 1999."},{"key":"29_CR2","unstructured":"M. Brickford and D. Guaspari. Lightweight analysis of UML. Draft Technical Report, Odyssey Research Associates, July 1998."},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1007\/s002360050149","volume":"35","author":"M. Bidoit","year":"1998","unstructured":"M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural implementations. Acta Informatica 35:951\u20131005, 1998.","journal-title":"Acta Informatica"},{"key":"29_CR4","unstructured":"M. Bidoit and R. Hennicker. Observer complete definitions are behaviorally coherent. Proc. FM\u201999 (UGM OBJ\/CafeOBJ\/MAUDE), to appear, 1999."},{"key":"29_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ECOOP\u201997 Workshop Reader","author":"R. Breu","year":"1997","unstructured":"R. Breu, R. Grosu, F. Huber, B. Rumpe and W. Schwerin. Towards a precise semantics for object-oriented modeling techniques. Proc. ECOOP\u201997 Workshop Reader, Springer LNCS 1357, 1997."},{"key":"29_CR6","unstructured":"CoFI: The Common Framework Initiative for algebraic specification and development (WWW pages). http:\/\/www.brics.dk\/Projects\/CoFI\/ ."},{"key":"29_CR7","unstructured":"CoFITask Group on Language Design. Casl\u2014 The CoFI algebraic specification language \u2014 Summary (version 1.0)., 1998, http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/ ."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"R. Diaconescu. Foundations of behavioural specifications in rewriting logic. Proc. RWLW96, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.","DOI":"10.1016\/S1571-0661(04)00041-6"},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. The Unified Modeling Language. \u226aUML\u226b\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"A. Evans, R. France, K. Lano and B. Rumpe. Developing UML as a formal modeling notation. Proc. The Unified Modeling Language. \u226aUML\u226b\u201998: Beyond the Notation, Springer LNCS 1618, 1999."},{"key":"29_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-64299-4_37","volume-title":"Proc. WADT\u201997","author":"M. Gogolla","year":"1998","unstructured":"M. Gogolla and M. Richters. On combining semi-formal and formal object specification techniques. Proc. WADT\u201997, Springer LNCS 1376, pp. 238\u2013252, 1998."},{"key":"29_CR11","unstructured":"J.A. Goguen and G. Malcolm. A hidden agenda. Report CS97-538, Univ. of Calif. at San Diego, 1997."},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","first-page":"263","volume-title":"Proc. AMAST\u201998","author":"R. Hennicker","year":"1999","unstructured":"R. Hennicker and M. Bidoit. Observational logic. Proc. AMAST\u201998, Springer LNCS 1548, pp. 263\u2013277, 1999."},{"key":"29_CR13","volume-title":"The unified software development process","author":"I. Jacobson","year":"1999","unstructured":"I. Jacobson, G. Booch and J. Rumbaugh. The unified software development process. Reading, Mass.: Addison-Wesley Longman, 1999."},{"key":"29_CR14","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62, pp. 222\u2013259, 1997.","journal-title":"EATCS Bulletin"},{"key":"29_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. The Unified Modeling Language. \u226aUML\u226b\u201998: Beyond the Notation","author":"A. Kleppe","year":"1999","unstructured":"A. Kleppe, J. Warmer and S. Cook. Informal informality? The Object Constraint Language and its application in the UML metamodel. Proc. The Unified Modeling Language. \u226aUML\u226b\u201998: Beyond the Notation, Springer LNCS 1618, 1999."},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"C. Klein, B. Rumpe and M. Broy. A stream-based mathematical model for distributed information processing systems-Syslab system model. Proc. FMOODS\u2019 96, Chapmann & Hall, 1996.","DOI":"10.1007\/978-0-387-35082-0_23"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"K. Lano. Formal object-oriented development. Springer, 1995.","DOI":"10.1007\/978-1-4471-3073-4"},{"key":"29_CR18","unstructured":"B. Meyer. Object-oriented software construction. Prentice Hall International, 1988."},{"key":"29_CR19","unstructured":"G. Overgaard. A formal approach to relationships in the Unified Modeling Language. Proc. of ICSE\u201998 (Workshop on Precise Semantics for Software Modeling Techniques). IEEE Computer Society, 1998."},{"key":"29_CR20","unstructured":"Rational. Unified Modeling Language: Semantics, Version 1.1. Rational Software Corporation. http:\/\/www.rational.com\/uml\/ , 1997."},{"key":"29_CR21","unstructured":"Rational. Object Constraint Language, Version 1.3. Rational Software Corporation. http:\/\/www.rational.com\/ , 1999."},{"key":"29_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49730-7","volume-title":"Proc. 17th Conceptual Modeling \u2014 ER\u201998","author":"M. Richters","year":"1998","unstructured":"M. Richters and M. Gogolla. On formalizing the UML Object Constraint Language OCL. Proc. 17th Conceptual Modeling \u2014 ER\u201998, Springer LNCS 1507, 1998."},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229\u2013269, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"M. Shroff and R.B. France. Towards a formalization of UML class structures in Z. Proc. COMPSAC\u201997, IEEE, pp. 646\u2013651, 1997.","DOI":"10.1109\/CMPSAC.1997.625087"},{"key":"29_CR25","unstructured":"D. D\u2019Souza and A.C. Wills. Objects, components and frameworks with UML: the Catalysis approach. Addison-Wesley, 1998."},{"key":"29_CR26","volume-title":"The Object Constraint Language: precise modeling with UML","author":"J. Warmer","year":"1999","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: precise modeling with UML. Reading, Mass.: Addison-Wesley Longman, 1999."},{"key":"29_CR27","unstructured":"R. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class-and behavior diagrams. Proc. of ICSE\u201998 (Workshop on Precise Semantics for Software Modeling Techniques). IEEE Computer Society, 1998."},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science, North-Holland, pp. 675\u2013788, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"M. Wirsing and A. Knapp. A formal approach to object-oriented software engineering. Proc. RWLW96, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.","DOI":"10.1016\/S1571-0661(04)00046-5"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb\u201999 \u2014 The Unified Modeling Language"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46852-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T10:20:07Z","timestamp":1737368407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46852-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667124","9783540468523"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-46852-8_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}