{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:41:09Z","timestamp":1765485669712,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370564"},{"type":"electronic","value":"9783642370571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_22","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"297-311","source":"Crossref","is-referenced-by-count":32,"title":["Implementing QVT-R Bidirectional Model Transformations Using Alloy"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Macedo","sequence":"first","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling\u00a09, 69\u201386 (2010)","journal-title":"Software and Systems Modeling"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11693017_20","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2006","unstructured":"Boronat, A., Cars\u00ed, J.\u00c1., Ramos, I.: Algebraic Specification of a Model Transformation Engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 262\u2013277. Springer, Heidelberg (2006)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28872-2_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Bradfield","year":"2012","unstructured":"Bradfield, J., Stevens, P.: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 194\u2013208. Springer, Heidelberg (2012)"},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2012","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software\u00a083(2), 283\u2013302 (2012)","journal-title":"Journal of Systems and Software"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A. Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: A Bidirectional and Change Propagating Transformation Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 183\u2013202. Springer, Heidelberg (2011)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL (2012), http:\/\/www.di.uminho.pt\/~mac\/Publications\/AlloyMDA.pdf","DOI":"10.1007\/978-3-642-24690-6_16"},{"key":"22_CR7","unstructured":"Garcia, M.: Formalization of QVT-Relations: OCL-based static semantics and Alloy-based validation. In: MDSD Today 2008. pp. 21\u201330. Shaker Verlag (2008)"},{"issue":"1","key":"22_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing Query\/View\/Transformation with Triple Graph Grammars. Software and System Modeling\u00a09(1), 21\u201346 (2010)","journal-title":"Software and System Modeling"},{"issue":"1","key":"22_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.3233\/FI-2011-618","volume":"114","author":"E. Guerra","year":"2012","unstructured":"Guerra, E., de Lara, J.: An algebraic semantics for QVT-relations check-only transformations. Fundam. Inform.\u00a0114(1), 73\u2013101 (2012)","journal-title":"Fundam. Inform."},{"key":"22_CR10","unstructured":"ikv++ technologies ag: medini QVT, http:\/\/projects.ikv.de\/qvt\/"},{"key":"22_CR11","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis, revised edn. MIT Press, London (2012)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-04425-0_19","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Lara de","year":"2009","unstructured":"de Lara, J., Guerra, E.: Formal Support for QVT-Relations with Coloured Petri Nets. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 256\u2013270. Springer, Heidelberg (2009)"},{"key":"22_CR13","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), manuscript available at http:\/\/www.kestrel.edu\/home\/people\/meertens"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-30885-7_8","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"A. Milicevic","year":"2012","unstructured":"Milicevic, A., Jackson, D.: Preventing Arithmetic Overflows in Alloy. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 108\u2013121. Springer, Heidelberg (2012)"},{"key":"22_CR15","unstructured":"OMG: MOF 2.0 Query\/View\/Transformation specification (QVT), version 1.1 (January 2011), http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"22_CR16","unstructured":"OMG: OMG Unified Modeling Language (UML), version 2.4.1 (August 2011), http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"22_CR17","unstructured":"OMG: OMG Object Constraint Language (OCL), version 2.3.1 (January 2012), http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"issue":"1","key":"22_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P. Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling\u00a09(1), 7\u201320 (2010)","journal-title":"Software and System Modeling"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. Software and System Modeling (2011), http:\/\/dx.doi.org\/10.1007\/s10270-011-0198-8","DOI":"10.1007\/s10270-011-0198-8"},{"key":"22_CR20","unstructured":"Tata Research Development and Design Centre: ModelMorf, http:\/\/www.tcs-trddc.com\/trddc_website\/ModelMorf\/ModelMorf.html"},{"key":"22_CR21","unstructured":"Voigt, K.: Structural Graph-based Metamodel Matching. Ph.D. thesis, University of Desden (2011)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T12:36:04Z","timestamp":1595421364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}