{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:12Z","timestamp":1742913672392,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211541"},{"type":"electronic","value":"9783319211558"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21155-8_13","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T03:50:45Z","timestamp":1436932245000},"page":"166-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["F-Alloy: An Alloy Based Model Transformation Language"],"prefix":"10.1007","author":[{"given":"Lo\u00efc","family":"Gammaitoni","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"13_CR1","unstructured":"Lightning tool website. http:\/\/lightning.gforge.uni.lu"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"DH Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Softw. Sys. Model. 2(4), 215\u2013239 (2003)","journal-title":"Softw. Sys. Model."},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"13_CR4","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of model transformations via Alloy. In: Proceedings of the 4th MoDeVVa workshop: Model-Driven Engineering, Verification, and Validation, pp. 47\u201356 (2007)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the use of alloy to analyze graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11663430_13","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Sch\u00fcrr, A., Tratt, L.: Model transformations in practice workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 120\u2013127. Springer, Heidelberg (2006)"},{"key":"13_CR7","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, vol. 45, pp. 1\u201317 (2003)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-662-43652-3_33","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"L Gammaitoni","year":"2014","unstructured":"Gammaitoni, L., Kelsen, P.: Domain-specific visualization of alloy instances. In: Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 324\u2013327. Springer, Heidelberg (2014)"},{"key":"13_CR9","unstructured":"Gammaitoni, L., Kelsen, P.: An F-Alloy specification for the CD2RDBMS case study (2015). http:\/\/lightning.gforge.uni.lu\/doc\/TR-LASSY-15-01.pdf"},{"key":"13_CR10","unstructured":"Gammaitoni, L., Kelsen, P., Mathey, F.: Verifying modelling languages using Lightning: a case study. In: Proceedings of the 11th MoDeVVa Workshop: Model-Driven Engineering, Verification and Validation, pp. 19\u201328 (2014)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: the missing link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 90\u2013105. Springer, Heidelberg (2002)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. In: Proceedings of the 7th MoDeVVa Workshop: Model-Driven Engineering, Verification, and Validation, pp. 19\u201324 (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"13_CR13","volume-title":"Software Abstractions","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions. MIT press, Cambridge (2012)"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Pogram. 72(1), 31\u201339 (2008)","journal-title":"Sci. Comput. Pogram."},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-37057-1_22","volume-title":"Fundamental Approaches to Software Engineering","author":"N Macedo","year":"2013","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using alloy. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 297\u2013311. Springer, Heidelberg (2013)"},{"key":"13_CR16","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1, January 2011"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science. LNCS, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"issue":"5","key":"13_CR19","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21155-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T17:29:29Z","timestamp":1675272569000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21155-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211541","9783319211558"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21155-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}