{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:02:28Z","timestamp":1725552148864},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317807"},{"type":"electronic","value":"9783540317814"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663430_3","type":"book-chapter","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T06:28:22Z","timestamp":1137565702000},"page":"20-31","source":"Crossref","is-referenced-by-count":7,"title":["OCL and Graph-Transformations \u2013 A Symbiotic Alliance to Alleviate the Frame Problem"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"3_CR1","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_CR2","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10270-003-0048-4","volume":"3","author":"C. Ermel","year":"2004","unstructured":"Ermel, C., Bardohl, R.: Scenario animation for visual behavior models: A generic approach. Software and Systems Modeling (SoSym)\u00a03(2), 164\u2013177 (2004)","journal-title":"Software and Systems Modeling (SoSym)"},{"key":"3_CR4","volume-title":"Using Graph Transformation for Practical Model Driven Software Engineering","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Geiger, L., Z\u00fcndorf, A., van Eetvelde, N., van Gorp, P., Varr\u00f3, D.: Model-driven Software Development - Volume II of Research and Practice in Software Engineering. In: Using Graph Transformation for Practical Model Driven Software Engineering. Springer, Heidelberg (2005)"},{"key":"3_CR5","unstructured":"OMG. Revised submission for MOF 2.0, Query\/Views\/Transformations, version 1.8. OMG Document ad\/04-10-11 (December 2004)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-40011-7_21","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P. Bottoni","year":"2000","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 294\u2013308. Springer, Heidelberg (2000)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Adding graph transformation concepts to UML\u2019s constraint language OCL. In: Proc. of UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques. Electronic Notes in Theoretical Computer Science, vol.\u00a044(4) (2001)","DOI":"10.1016\/S1571-0661(04)80946-0"},{"key":"3_CR8","unstructured":"OMG. UML 2.0 OCL Specification \u2013 OMG Final Adopted Specification. OMG Document ptc\/03-10-14 (October 2003)"},{"key":"3_CR9","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11557432_21","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Markovi\u0107","year":"2005","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 280\u2013294. Springer, Heidelberg (2005)"},{"key":"3_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B\u00a0Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B\u00a0Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (August 1996)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11506843_3","volume-title":"SDL 2005: Model Driven","author":"T. Baar","year":"2005","unstructured":"Baar, T.: Non-deterministic constructs in OCL \u2013 what does any() mean. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 32\u201346. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Satellite Events at the MoDELS 2005 Conference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663430_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:23Z","timestamp":1605643463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663430_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317807","9783540317814"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11663430_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}