{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:49:26Z","timestamp":1648975766889},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2009,12,22]],"date-time":"2009-12-22T00:00:00Z","timestamp":1261440000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11334-009-0102-7","type":"journal-article","created":{"date-parts":[[2009,12,21]],"date-time":"2009-12-21T04:38:13Z","timestamp":1261370293000},"page":"13-20","source":"Crossref","is-referenced-by-count":5,"title":["An integrated multi-view model evolution framework"],"prefix":"10.1007","volume":"6","author":[{"given":"Volker","family":"Stolz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,22]]},"reference":[{"key":"102_CR1","unstructured":"ATLAS Group. ATLAS Transformation Language. http:\/\/www.eclipse.org\/m2m\/atl\/"},{"key":"102_CR2","doi-asserted-by":"crossref","unstructured":"Chen Z, Liu Z, Ravn AP, Stolz V, Zhan N (2009) Refinement and verification in component-based model driven design. Sci Comput Program 74(4):168\u2013196. Special Issue on the Grand Challenge. UNU-IIST TR 388","DOI":"10.1016\/j.scico.2008.08.003"},{"key":"102_CR3","unstructured":"Chen Z, Morisset C, Stolz V (2009) Specification and validation of behavioural protocols in the rCOS modeler. In: Sirjani M, Arbab F (eds) 3rd international symposium on fundamentals of software engineering (FSEN 2009). http:\/\/rcos.iist.unu.edu\/publications\/fsen09.pdf (to be published)"},{"key":"102_CR4","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E Gamma","year":"1995","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley, Reading"},{"issue":"1","key":"102_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese H, Wagner R (2009) From model transformation to incremental bidirectional model synchronization. Softw Syst Model 8(1): 3","journal-title":"Softw Syst Model"},{"issue":"1\u20132","key":"102_CR6","first-page":"109","volume":"365","author":"J He","year":"2006","unstructured":"He J, Liu Z, Li X (2006) rCOS: A refinement calculus of object systems. Theor Comput Sci 365(1\u20132): 109\u2013142 UNU-IIST TR 322","journal-title":"Theor Comput Sci"},{"key":"102_CR7","doi-asserted-by":"crossref","unstructured":"Liu Z, Mencl V, Ravn AP, Yang L (2006) Harnessing theories for tool support. In: Proceedings of the second international symposium on leveraging applications of formal methods, verification and validation (isola 2006), pp 371\u2013382. IEEE Computer Society. Full version as UNU-IIST TR 343","DOI":"10.1109\/ISoLA.2006.49"},{"key":"102_CR8","unstructured":"Liu Z, Morisset C, Stolz V (2009) rCOS: theory and tools for component-based model driven development. In: Sirjani M, Arbab F (eds) 3rd international symposium on fundamentals of software engineering (FSEN 2009). Keynote UNU-IIST TR 406 (to be published)"},{"key":"102_CR9","volume-title":"Principles of program analysis","author":"F Nielson","year":"2004","unstructured":"Nielson F, Nielson HR, Hankin C (2004) Principles of program analysis. Springer, Berlin"},{"key":"102_CR10","unstructured":"Object Management Group. Model Driven Architecture (MDA) FAQ. http:\/\/www.omg.org\/mda\/faq_mda.htm#delivering%20mda . Last accessed October 1, 2009"},{"key":"102_CR11","unstructured":"Object Management Group (2005) MOF QVT final adopted specification, ptc\/05-11-01. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"102_CR12","doi-asserted-by":"crossref","unstructured":"Pontisso N, Chemouil D (2006) TOPCASED Combining formal methods with model-driven engineering. In: ASE \u201906: proceedings of the 21st IEEE\/ACM international conference on automated software engineering, Washington, DC, USA. IEEE Computer Society, pp 359\u2013360","DOI":"10.1109\/ASE.2006.68"},{"issue":"2","key":"102_CR13","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/MS.2003.1184181","volume":"20","author":"D Spinellis","year":"2003","unstructured":"Spinellis D (2003) On the declarative specification of models. IEEE Softw 20(2): 94\u201396","journal-title":"IEEE Softw"},{"key":"102_CR14","volume-title":"EMF: eclipse modeling framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg D, Budinsky F, Paternostro M, Merks E (2008) EMF: eclipse modeling framework, 2nd edn. Addison-Wesley Professional, Reading","edition":"2"},{"key":"102_CR15","unstructured":"St\u00f6rrle H (2007) A PROLOG-based approach to representing and querying software engineering models. In: Cox PT, Fish A, Howse J (eds) VLL 2007 workshop on visual languages and logic. CEUR workshop proceedings, vol 274, pp 71\u201383. CEUR-WS.org"},{"key":"102_CR16","unstructured":"Triskell research team. Kermeta. http:\/\/www.kermeta.org"},{"key":"102_CR17","volume-title":"The object constraint language: precise modeling with UML","author":"J Warmer","year":"1999","unstructured":"Warmer J, Kleppe A (1999) The object constraint language: precise modeling with UML. Addison-Wesley, Reading"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0102-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0102-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0102-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:45Z","timestamp":1559382465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0102-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,22]]},"references-count":17,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["102"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0102-7","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,22]]}}}