{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:03:42Z","timestamp":1774915422569,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540431695","type":"print"},{"value":"9783540456698","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_7","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:25:02Z","timestamp":1180891502000},"page":"115-149","source":"Crossref","is-referenced-by-count":18,"title":["The Amsterdam Manifesto on OCL"],"prefix":"10.1007","author":[{"given":"Steve","family":"Cook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anneke","family":"Kleppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos","family":"Warmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Wills","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","volume-title":"The Wide Spectrum Language CIP-L","author":"F. L. Bauer","year":"1985","unstructured":"F. L Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Br\u00fcckner, A. Laut, T. Matzner, B. M\u00f6ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. W\u00f6ssner. The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L. Springer Verlag, LNCS 183, 1985"},{"key":"7_CR2","volume-title":"The Unified Modelling Language User Guide","author":"G. Booch","year":"1998","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison Wesley Longman, Reading, Massachusetts, 1998"},{"key":"7_CR3","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regens-burger, O. Slotosch, K. Stoelen. The Requirement Design Specification Language. An Informal Introduction, Part 1. Spectrum. TUM-I9312. TU Munich. 1993"},{"key":"7_CR4","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regens-burger, O. Slotosch, K. Stoelen. The Requirement Design Specification Language. An Informal Introduction, Part 2. Spectrum, TUM-I9312, TU Munich, 1993"},{"key":"7_CR5","unstructured":"S. Cook and J. Daniels, Designing Object Systems, object-oriented modelling with Syntropy, Prentice Hall, 1994"},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_27","volume-title":"\u226aUML\u226b\u201999 The Unified Modelling Language","author":"S. Cook","year":"1999","unstructured":"S. Cook, A. Kleppe, R. Mitchell, J. Warmer, A. Wills, Defining the Context of OCL Expressions. In: \u226aUML\u226b\u201999 The Unified Modelling Language. Eds.: R. France, B. Rumpe. Springer Verlag, LNCS 1723, 1999."},{"key":"7_CR7","unstructured":"Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, Defining UML Family Members with Prefaces, Proceedings of Tools Pacific\u2019 99, 1999"},{"key":"7_CR8","unstructured":"S. Conrad, M. Gogolla, R. Herzig. TROLL light: A Core Language for Specifying Objects. Technical Report 92-06. TU Braunschweig. 1992"},{"key":"7_CR9","unstructured":"J. C. Date. A Guide to SQL Standard. Addison Wesley. 1987"},{"key":"7_CR10","unstructured":"D\u2019souza D. and Wills A. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison Wesley, 1998"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1, Springer Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 2, Module Specifications Constraints, Springer Verlag, 1990","DOI":"10.1007\/978-3-642-61284-8"},{"key":"7_CR13","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.-P. Jouannaud. Introducing OBJ. Technical Report CSL-92-03. Computer Science Laboratory, SRI. 1992"},{"key":"7_CR14","unstructured":"M. Gordon, T. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press. 1993"},{"key":"7_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF: A Mechanised Logic of Computation","author":"M. Gordon","year":"1979","unstructured":"M. Gordon, R. Milner, C. Wadsworth. Edinburgh LCF: A Mechanised Logic of Computation. Springer Verlag, LNCS 78. 1979"},{"key":"7_CR16","unstructured":"T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, J. Kusch. Revised Version of the Modelling Language TROLL. Technical Report 94-03. TU Braunschweig. 1994"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. P. Jones, P. Wadler. Report on the Programming Language Haskell. A Non-strict Purely Functional Language. Sigplan Notices. Vol. 27. ACM Press. 1992","DOI":"10.1145\/130697.130699"},{"key":"7_CR18","unstructured":"C. B. Jones. Systematic Software Development Using VDM. Prentice Hall. 2nd Edition. 1990"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"M. P. Jones. An Introduction to Gofer. 1993","DOI":"10.1007\/978-1-4899-4489-4_1"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, C. Sernadas. Object-oriented Specification of Information Systems: The TROLL Language. TU Braunschweig. Technical Report 91-04. 1991","DOI":"10.1007\/3540539816_61"},{"key":"7_CR21","unstructured":"W. Lalonde and J. Pugh, Inside Smalltalk, vol 1, Prentice Hall, 1990"},{"key":"7_CR22","unstructured":"S. Kleene. Introduction to Metamathematics. Van Nostrand. 1952"},{"key":"7_CR23","unstructured":"L. Paulson. ML for the Working Programmer. Cambridge University Press. 1991"},{"key":"7_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. Paulson","year":"1994","unstructured":"L. Paulson. Isabelle: A Generic Theorem Prover. Springer Verlag, LNCS 929. 1994"},{"key":"7_CR25","unstructured":"F. Regensburger. Phd Thesis. HOLCF: Eine konservative Erweiterung von HOL um LCF. TU Munich. 1994"},{"key":"7_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_12","volume-title":"\u226aUML\u226b\u201999 The Unified Modelling Language","author":"M. Richters","year":"1999","unstructured":"M. Richters, M. Gogolla: A Metamodel for OCL. In: \u226aUML\u226b\u201999 The Unified Modelling Language. Eds.: R. France, B. Rumpe. Springer Verlag, LNCS 1723, 1999."},{"key":"7_CR27","unstructured":"B. Rumpe: A Note on Semantics (with an Emphasis on UML). In: Second ECOOP Workshop on Precise Behavioral Semantics. Technical Report TUM-I9813. Technische Universit\u00e4t M\u00fcnchen. Juni, 1998"},{"key":"7_CR28","unstructured":"J. Spivey. Understanding Z. Cambridge University Press. 1988"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J. M. Spivey","year":"1989","unstructured":"J. Michael Spivey. An Introduction to Z and Formal Specifications. IEE\/BCS Software Engineering Journal, vol. 4, no. 1, pp 40\u201350. 1989","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its application. Pacific Journal of Mathematics, vol. 5, pp. 285\u2013309. 1955","journal-title":"Pacific Journal of Mathematics"},{"key":"7_CR31","unstructured":"Warmer J. and Kleppe A. The object constraint language. Precise modelling with UML. Addison Wesley Longman, 1999"},{"key":"7_CR32","unstructured":"Warmer J. and Kleppe A. OCL: the constraint language of the UML. In the Journal of Object-Oriented Programming, May 1999."}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:58:06Z","timestamp":1556456286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}