{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:22:49Z","timestamp":1743020569272,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211503"},{"type":"electronic","value":"9783319211510"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21151-0_12","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T03:07:07Z","timestamp":1437016027000},"page":"171-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Opening the Black-Box of Model Transformation"],"prefix":"10.1007","author":[{"given":"John T.","family":"Saxon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David H.","family":"Akehurst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Aizenbud-Reshef, N., et al.: Model traceability. IBM Systems Journal 45 (2006)","DOI":"10.1147\/sj.453.0515"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/11880240_25","volume-title":"Model Driven Engineering Languages and Systems","author":"DH Akehurst","year":"2006","unstructured":"Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: simple transformations in java. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 351\u2013364. Springer, Heidelberg (2006)"},{"key":"12_CR3","unstructured":"Alwanain, M., Bordbar, B., K\u00fcster, J., Bowles, F.: Automated Composition of Sequence Diagrams via Alloy. MODELSWARD (2014)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-72901-3_4","volume-title":"Model Driven Architecture - Foundations and Applications","author":"B Bordbar","year":"2007","unstructured":"Bordbar, B., Howells, G., Evans, M., Staikopoulos, A.: Model transformation from OWL-S to BPEL Via SiTra. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 43\u201358. Springer, Heidelberg (2007)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bowles, J., Meedeniya, D.: Formal Transformation from Sequence Diagrams to Coloured Petri Nets. In: 2010 17th Asia Pacific Software Engineering Conference (APSEC) (2010)","DOI":"10.1109\/APSEC.2010.33"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Briand, L., et al.: Traceability and SysML design slices to support safety inspections: a controlled experiment. ACM Trans. Softw. Eng. Methodol. 23 (2014)","DOI":"10.1145\/2559978"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Claypool, K.T., Rundensteiner, E.A.: Gangam: a transformation modeling framework. In: 2003. (DASFAA 2003) Proceedings Eighth International Conference on Database Systems for Advanced Applications (2003)","DOI":"10.1109\/DASFAA.2003.1192367"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45 (2006)","DOI":"10.1147\/sj.453.0621"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Ebner, G., Kaindl, H.: Tracing all around in reengineering. IEEE Software 19 (2002)","DOI":"10.1109\/MS.2002.1003459"},{"key":"12_CR10","unstructured":"Eclipse Foundation. Xtend (2014). URL: http:\/\/www.eclipse.org\/xtend\/ (visited on 03\/04\/2015)"},{"key":"12_CR11","unstructured":"Fritzsche, M. et al.: Application of Tracing Techniques in Model-Driven Performance Engineering. In: 4th ECMDA Traceability Workshop (2008)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Galvao, I., Goknil, A.: Survey of traceability approaches in model-driven engineering. In: 2007 EDOC 2007 11th IEEE International Enterprise Distributed Object Computing Conference (2007)","DOI":"10.1109\/EDOC.2007.42"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-33609-6_8","volume-title":"Model and Data Engineering","author":"E Geepalla","year":"2012","unstructured":"Geepalla, E., Bordbar, B., Last, J.: Transformation of spatio-temporal role based access control specification to alloy. In: Abell\u00f3, A., Bellatreche, L., Benatallah, B. (eds.) MEDI 2012. LNCS, vol. 7602, pp. 67\u201378. Springer, Heidelberg (2012)"},{"key":"12_CR14","unstructured":"Jouault, F.: Loosely coupled traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) Workshop on Traceability (2005)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"12_CR17","unstructured":"M\u00e4der, P.: Interactive traceability querying and visualization for coping with development complexity. In: CoRR (2013)"},{"key":"12_CR18","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query View Transformation Specification Version 1.1., Jan. 2011. URL: http:\/\/www.omg.org\/spec\/QVT\/1.1\/PDF\/ (visited on 03\/04\/2015)"},{"key":"12_CR19","unstructured":"Paige, R.F., et al.: Building model-driven engineering traceability classifications. In: 4th ECMDA Traceability Workshop (2008)"},{"key":"12_CR20","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-54092-9_17","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"I Santiago","year":"2013","unstructured":"Santiago, I., Vara, J.M., de Castro, V., Marcos, E.: Measuring the effect of enabling traces generation in ATL model transformations. In: Filipe, J., Maciaszek, L.A. (eds.) ENASE 2013. CCIS, vol. 417, pp. 229\u2013240. Springer, Heidelberg (2013)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-642-12261-3_16","volume-title":"Models in Software Engineering","author":"SMA Shah","year":"2010","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to alloy and back again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 158\u2013171. Springer, Heidelberg (2010)"},{"key":"12_CR22","unstructured":"The Apache Software Foundation. Apache HBase (2014). URL: http:\/\/hbase.apache.org\/ (visited on 03\/05\/2015)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Vara, J.M., et al.: Dealing with traceability in the MDDof model transformations. In: IEEE Transactions on Software Engineering 40 (2014)","DOI":"10.1109\/TSE.2014.2316132"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming 68 (2007)","DOI":"10.1016\/j.scico.2007.05.004"},{"key":"12_CR25","unstructured":"Willink, E.D., Matragkas, N.: QVT Traceability: What does it really mean? (2014). URL: http:\/\/www.eclipse.org\/mmt\/qvt\/docs\/ICMT2014\/QVTtraceability.pdf (visited on 03\/04\/2015)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Wood, S.K., et al.: A model-driven development approach to mapping UML state diagrams to synthesizable VHDL. IEEE Transactions on Computers 57 (2008)","DOI":"10.1109\/TC.2008.123"},{"key":"12_CR27","unstructured":"Yie, A., Wagelaar, D.: Advanced Traceability for ATL. In: Proceedings of the 1st International Workshop on Model Transformation with ATL (MtATL 2009) (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21151-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:38:55Z","timestamp":1676972335000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21151-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211503","9783319211510"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21151-0_12","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":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}