{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T06:00:58Z","timestamp":1777528858821,"version":"3.51.4"},"reference-count":28,"publisher":"Elsevier","isbn-type":[{"value":"9780123965264","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396526-4.00003-5","type":"book-chapter","created":{"date-parts":[[2012,4,7]],"date-time":"2012-04-07T16:04:41Z","timestamp":1333814681000},"page":"123-163","source":"Crossref","is-referenced-by-count":5,"title":["Model Transformation Specification and Design"],"prefix":"10.1016","author":[{"given":"Kevin","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shekoufeh","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib2","article-title":"A relational approach to defining transformations in a metamodel","volume":"vol. 2460","author":"Akehurst","year":"2002"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib3","series-title":"Model Transformations in Practice","article-title":"Kent model transformation language","author":"Akehurst","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib4","doi-asserted-by":"crossref","unstructured":"I. Poernomo, Proofs as model transformations, ICMT 2008.","DOI":"10.1007\/978-3-540-69927-9_15"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib5","volume":"vol. 2","year":"1999"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib6","first-page":"151","article-title":"Specification of graph translators with triple graph grammars","volume":"vol. 903","author":"Schurr","year":"1994"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib7","unstructured":"OMG, Query\/View\/Transformation Specification, ptc\/05-11-01, 2005."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib8","first-page":"46","article-title":"The epsilon transformation language","volume":"vol. 5063","author":"Kolovos","year":"2008"},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00003-5_bib10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","article-title":"Feature-based survey of model transformation approaches","volume":"45","author":"Czarnecki","year":"2006","journal-title":"IBM Syst J"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib11","unstructured":"OptXware, The Viatra-I Model Transformation Framework Users Guide, 2010."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib12","first-page":"128","article-title":"Transforming models with ATL","volume":"vol. 3844","author":"Jouault","year":"2006"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib13","series-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma","year":"1994"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib14","series-title":"Dagstuhl Seminar Proceedings 04101","article-title":"A taxonomy of model transformations","author":"Mens","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib15","series-title":"ICMT 2011","article-title":"Model-driven development of model transformations","author":"Lano","year":"2011"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib16","unstructured":"L. Rose, Live contest case study, TTC 2011, https:\/\/github.com\/louismrose\/ttc2011. Accessed 2011."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib17","series-title":"Proceedings 2006 ACM Symposium on Applied Computing (SAC 06)","first-page":"1202","article-title":"Rule-based modularisation in model transformation languages illustrated with ATL","author":"Kurtev","year":"2006"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib18","doi-asserted-by":"crossref","unstructured":"K. Lano, S. Kolahdouz-Rahimi, Specification of the \u201cHello World\u201d case study, EPTCS 74, TTC 2011.","DOI":"10.4204\/EPTCS.74.26"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib19","unstructured":"K. Lano, S. Kolahdouz-Rahimi, Specification of the GMF migration case study, TTC 2011."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib20","unstructured":"K. Lano, Class diagram rationalisation case study, Department of Informatics, King's College London, London, UK, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib21","unstructured":"OMG, Meta Object Facility (MOF) Core Specification, OMG document formal\/06-01-01, 2006."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib22","series-title":"UML 2 Semantics and Applications","year":"2009"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib23","series-title":"The B Language and Method","author":"Lano","year":"1996"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib24","unstructured":"OMG, UML Superstructure, version 2.3, OMG document formal\/2010-05-05, 2009."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib25","article-title":"Refactoring OCL annotated class diagrams","volume":"vol. 3713","author":"Markovic","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib26","first-page":"199","article-title":"Specification and verification of model transformations using UML-RSDS","volume":"vol. 6396","author":"Lano","year":"2010"},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib27","unstructured":"M. Herrmannsdoerfer, The GMF Model Migration Case, TTC 2011."},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00003-5_bib28","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s10270-008-0083-2","article-title":"Semantics of OCL specified with QVT","volume":"7","author":"Markovic","year":"2008","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib29","unstructured":"P. Van Gorp, S. Mazanek, A. Rensink, Live Challenge Problem, TTC 2010, Malaga, July 2010."},{"key":"10.1016\/B978-0-12-396526-4.00003-5_bib30","first-page":"228","article-title":"Slicing of UML models using model transformations","volume":"vol. 6395","author":"Lano","year":"2010"}],"container-title":["Advances in Computers","Advances in Computers Volume 85"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T01:09:23Z","timestamp":1561597763000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965264000035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780123965264"],"references-count":28,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396526-4.00003-5","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}