{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:57:50Z","timestamp":1771700270296,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540266129","type":"print"},{"value":"9783540315391","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_3","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"32-46","source":"Crossref","is-referenced-by-count":6,"title":["Non-deterministic Constructs in OCL \u2013 What Does any() Mean"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Object Technology Series","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"3_CR2","unstructured":"UML 2.0 Infrastructure Specification \u2013 OMG Adopted Specification. OMG Document ptc\/03-09-15 (September 2003)"},{"key":"3_CR3","unstructured":"UML 2.0 Superstructure Specification \u2013 OMG Adopted Specification. OMG Document ptc\/03-08-02 (August 2003)"},{"key":"3_CR4","unstructured":"UML 2.0 OCL Specification \u2013 OMG Final Adopted Specification. OMG Document ptc\/03-10-14 (October 2003)"},{"key":"3_CR5","unstructured":"Overview on current OCL tools, \n                    \n                      http:\/\/www.klasse.nl\/ocl\/ocl-services.html"},{"key":"3_CR6","first-page":"163","volume-title":"Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques NWPER 2004","author":"D. Chiorean","year":"2004","unstructured":"Chiorean, D., Bortes, M., Corutiu, D., Sparleanu, R.: UML\/OCL tools\u00a0- objectives, requirements, state of the art\u00a0\u2013 The OCLE experience. In: Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques NWPER 2004, vol.\u00a034, pp. 163\u2013180. TUCS General Publication, Turku (2004)"},{"issue":"10","key":"3_CR7","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"3_CR8","volume-title":"Programming form Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming form Specifications. Prentice Hall, Englewood Cliffs (1994)"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:14Z","timestamp":1619505854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11506843_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}