{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:31:35Z","timestamp":1761597095978},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699262"},{"type":"electronic","value":"9783540699279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69927-9_16","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:39:40Z","timestamp":1217471980000},"page":"229-244","source":"Crossref","is-referenced-by-count":9,"title":["Analysing Graph Transformation Rules through OCL"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cabot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","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, K., 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":"16_CR2","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":"16_CR3","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)"},{"unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Tech. Rep. 525, ETH Zurich (2006)","key":"16_CR4"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/11841883_28","volume-title":"Graph Transformations","author":"F. B\u00fcttner","year":"2006","unstructured":"B\u00fcttner, F., Gogolla, M.: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 398\u2013413. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML\/OCL models using constraint programming. In: Proc. ASE 2007, pp. 547\u2013548 (2007)","key":"16_CR6","DOI":"10.1145\/1321631.1321737"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11784180_28","volume-title":"Algebraic Methodology and Software Technology","author":"M. Clavel","year":"2006","unstructured":"Clavel, M., Egea, M.: A rewriting-based validation tool for UML+OCL static class diagrams. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 368\u2013373. Springer, Heidelberg (2006)"},{"key":"16_CR8","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: [18], pp. 247\u2013312 (1999)","key":"16_CR9","DOI":"10.1142\/9789812384720_0004"},{"doi-asserted-by":"crossref","unstructured":"Ermel, C., H\u00f6lscher, K., Kuske, S., Ziemann, P.: Animated simulation of integrated UML behavioral models based on graph transformation. In: Proc. IEEE VL\/HCC 2005, pp. 125\u2013133 (2005)","key":"16_CR10","DOI":"10.1109\/VLHCC.2005.18"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. SoSyM\u00a04(4), 386\u2013398 (2005)","journal-title":"SoSyM"},{"key":"16_CR12","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)"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J. Lara de","year":"2007","unstructured":"de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci.\u00a0376(3), 139\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"3-4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.jvlc.2004.01.005","volume":"15","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput.\u00a015(3-4), 309\u2013330 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"16_CR15","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)","edition":"3"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. SoSyM\u00a06(3), 269\u2013285 (2007)","journal-title":"SoSyM"},{"unstructured":"QVT standard specification, http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf","key":"16_CR17"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Foundations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations, vol.\u00a01. World Scientific, Singapore (1997)","key":"16_CR18"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-45669-4_13","volume-title":"Object Modeling with the OCL","author":"S. Sendall","year":"2002","unstructured":"Sendall, S., Strohmeier, A.: Using OCL and UML to Specify System Behavior. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 250\u2013280. Springer, Heidelberg (2002)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-540-31984-9_6","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Taentzer","year":"2005","unstructured":"Taentzer, G., Rensink, A.: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 64\u201379. Springer, Heidelberg (2005)"},{"issue":"2","key":"16_CR21","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. SoSyM\u00a03(2), 85\u2013113 (2004)","journal-title":"SoSyM"},{"doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL Class Diagrams Using Constraint Programming. MoDeVVa 2008. ICST Workshop (to appear, 2008), http:\/\/gres.uoc.edu\/pubs\/MODEVVA08.pdf","key":"16_CR22","DOI":"10.1109\/ICSTW.2008.54"},{"unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Analysing Graph Transformation Rules Through OCL (extended version), http:\/\/gres.uoc.edu\/UMLtoCSP\/ICMT08.pdf","key":"16_CR23"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69927-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T22:01:52Z","timestamp":1557698512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69927-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540699262","9783540699279"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69927-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}