{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:02Z","timestamp":1725518942009},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87875-9_3","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"37-52","source":"Crossref","is-referenced-by-count":5,"title":["An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cabot","sequence":"first","affiliation":[]},{"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Journal on Software and System Modeling\u00a02(4), 215\u2013239 (2003)","journal-title":"Journal on Software and System Modeling"},{"key":"3_CR2","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.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"3_CR3","unstructured":"Anastasakis, K., Bordbar, B., Kuster, J.M.: Analysis of model transformations via Alloy. In: ModeVVa 2007, pp. 47\u201356 (2007)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"3_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.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11880240_31","volume-title":"Model Driven Engineering Languages and Systems","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 440\u2013453. Springer, Heidelberg (2006)"},{"key":"3_CR7","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","first-page":"225","volume-title":"Proc. of ICMT 2008","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 225\u2013239. Springer, Heidelberg (2008)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: MoDeVVa 2008. ICST Workshop (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"3_CR10","unstructured":"Giese, H., Glesner, S., Leitner, J., Schfer, W., Wagner, R.: Towards verified model transformations. In: ModeVVa 2006 (2006)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75209-7_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Greenyer","year":"2007","unstructured":"Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 16\u201330. Springer, Heidelberg (2007)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J.: Event-driven grammars: Relating abstract and concrete levels of visual languages. Journal on Software and System Modeling, special section on ICGT 2004, 317\u2013347 (2007)","DOI":"10.1007\/s10270-007-0051-2"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1145\/1176617.1176691","volume-title":"OOPSLA Companion","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: OOPSLA Companion, pp. 719\u2013720. ACM, New York (2006)"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Journal on Software and Systems Modeling\u00a05(3), 233\u2013259 (2006)","journal-title":"Journal on Software and Systems Modeling"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-28554-7_10","volume-title":"Model-driven Software Development","author":"Y. Lin","year":"2005","unstructured":"Lin, Y., Zhang, J., Gray, J.: A framework for testing model transformations. In: Model-driven Software Development, pp. 219\u2013236. Springer, Heidelberg (2005)"},{"key":"3_CR17","unstructured":"OMG. MOF 2.0 Query\/View\/Transformation specification (2007)"},{"key":"3_CR18","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"3_CR20","unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: Proc. INAP 2007 (2007)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R.V.D. Straeten","year":"2003","unstructured":"Straeten, R.V.D., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Journal on Software and System Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"3_CR23","first-page":"270","volume-title":"ASWEC 2006","author":"J. Wang","year":"2006","unstructured":"Wang, J., Kim, S.-K., Carrington, D.A.: Verifying metamodel coverage of model transformations. In: ASWEC 2006, pp. 270\u2013282. IEEE Computer Society, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T01:27:39Z","timestamp":1684546059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878742","9783540878759"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}