{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:30Z","timestamp":1725558930483},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202431"},{"type":"electronic","value":"9783540452218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45221-8_30","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T17:11:39Z","timestamp":1277831499000},"page":"356-359","source":"Crossref","is-referenced-by-count":12,"title":["The Consistency Workbench: A Tool for Consistency Management in UML-Based Development"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen M.","family":"K\u00fcster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 272\u2013287. Springer, Heidelberg (2001)"},{"key":"30_CR2","first-page":"186","volume-title":"Proceedings of the 8th European Software Engineering Conference (ESEC)","author":"G. Engels","year":"2001","unstructured":"Engels, G., K\u00fcster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Gruhn, V. (ed.) Proceedings of the 8th European Software Engineering Conference (ESEC), pp. 186\u2013195. ACM Press, New York (2001)"},{"key":"30_CR3","unstructured":"Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual (1997)"},{"key":"30_CR4","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"30_CR5","unstructured":"K\u00fcster, J., Heckel, R.: Defining and validating transformations of UML models. In: IEEE Symposium on Visual Languages and Formal Methods (VLFM 2003), Symposia on Human Centric Computing, Languages, and Environments (HCC 2003), Auckland, New Zealand (October 2003) (to appear)"},{"key":"30_CR6","unstructured":"Object Management Group. Unified Modeling Language Specification, version 1.4 (September 2001)"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45221-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:45:42Z","timestamp":1552617942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}