{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:02:05Z","timestamp":1725566525433},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_14","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:50:15Z","timestamp":1285185015000},"page":"188-196","source":"Crossref","is-referenced-by-count":8,"title":["Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report"],"prefix":"10.1007","author":[{"given":"Hanna","family":"Bauerdick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Gutsche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Bauerdick, H., Gogolla, M., Gutsche, F.: UML 2.0 Validation Results in Form of an EXCEL, PDF, AND USE File. University of Bremen (2004), \n                    \n                      ftp:\/\/ftp.informatik.uni-bremen.de\/local\/db\/papers\/uml2004\/ocl_uml2\n                    \n                    \n                  [xls|pdf|use]"},{"key":"14_CR2","unstructured":"IBM Corporation, Rational Software: Rational Rose, \n                    \n                      http:\/\/www.rational.com"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 265\u2013277. Springer, Heidelberg (2000)"},{"key":"14_CR4","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"14_CR5","unstructured":"OMG. Unified Modeling Language Specification, Version 1.5, March 2003. Object Management Group, Inc., Needham, MA (2003), \n                    \n                      http:\/\/www.omg.org"},{"key":"14_CR6","unstructured":"OMG. UML 2.0 Superstructure Specification. Version ptc\/03-08-02. Object Management Group, Inc., Needham, MA (2003), \n                    \n                      http:\/\/www.omg.org"},{"key":"14_CR7","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:53:34Z","timestamp":1620014014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}