{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:31:08Z","timestamp":1759638668355},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T00:00:00Z","timestamp":1250640000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10270-009-0129-0","type":"journal-article","created":{"date-parts":[[2009,8,18]],"date-time":"2009-08-18T09:29:11Z","timestamp":1250587751000},"page":"335-357","source":"Crossref","is-referenced-by-count":13,"title":["A UML\/OCL framework for the analysis of graph transformation rules"],"prefix":"10.1007","volume":"9","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","published-online":{"date-parts":[[2009,8,19]]},"reference":[{"key":"129_CR1","unstructured":"AGG graph transformation analysis tool. http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"129_CR2","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, K., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Proceedings of MODELS\u201907, LNCS 4735, pp. 436 \u2013450. Springer, Heildelberg (2007)","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"129_CR3","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the \u201cSmall Scope Hypothesis\u201d. Technical Report MIT-LCS-TR-921, MIT CSAIL (2003)"},{"key":"129_CR4","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Proceedings of CONCUR\u201901, LNCS 2154, pp. 381\u2013395. Springer, Heildelberg (2001)","DOI":"10.1007\/3-540-44685-0_26"},{"key":"129_CR5","doi-asserted-by":"crossref","unstructured":"Baresi, L., Spoletini, P.: On the use of Alloy to analyze graph transformation systems. In: Proceedings of ICGT\u201906, LNCS 4178, pp. 306\u2013320. Springer, Heildelberg (2006)","DOI":"10.1007\/11841883_22"},{"key":"129_CR6","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artificial Intelligence. Vol. 168(1\u20132), pp. 70\u2013118. Elsevier, Amsterdam (2005)","DOI":"10.1016\/j.artint.2005.05.003"},{"issue":"1","key":"129_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D.M. Berry","year":"2002","unstructured":"Berry D.M.: Formal methods: the very idea. Some thoughts about why they work when they work. Sci. Comput. Program. 42(1), 11\u201327 (2002)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"129_CR8","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"Borgida A., Mylopoulos J., Reiter R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng. 21(10), 785\u2013798 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"129_CR9","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations:an algorithm and a tool. In: Proceedings of ISSRE\u201906, IEEE Computer Society, pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"129_CR10","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006)"},{"issue":"4","key":"129_CR11","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s00236-009-0093-8","volume":"56","author":"A.D. Brucker","year":"2009","unstructured":"Brucker A.D., Wolff B.: Semantics, calculi, and analysis for object-oriented specifications. Acta Inform. 56(4), 255\u2013284 (2009)","journal-title":"Acta Inform."},{"key":"129_CR12","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Gogolla, M.: Realizing graph transformations by pre- and postconditions and command sequences. In: Proceedings of ICGT\u201906, LNCS 4178, pp. 398\u2013413. Springer, Heildelberg (2006)","DOI":"10.1007\/11841883_28"},{"key":"129_CR13","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: Proceedings of ASE\u201907, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"129_CR14","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, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"129_CR15","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Proceedings of ICMT, LNCS 5063, pp. 229\u2013244. Springer, Heidelberg (2008a)","DOI":"10.1007\/978-3-540-69927-9_16"},{"key":"129_CR16","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: An invariant-based method for the analysis of declarative model-to-model transformations. In: Proceedings of MODELS 2008, LNCS 5301, pp. 37\u201352. Springer, Heidelberg (2008b)","DOI":"10.1007\/978-3-540-87875-9_3"},{"key":"129_CR17","doi-asserted-by":"crossref","unstructured":"Clavel, M., Egea, M.: A rewriting-based validation tool for UML+OCL static class diagrams. In: Proceedings of AMAST\u201906, LNCS 4019, pp. 368\u2013373. Springer, Heidelberg (2006)","DOI":"10.1007\/11784180_28"},{"key":"129_CR18","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism modelling and meta-modelling. In: Proceedings of FASE\u201902, LNCS 2306, pp. 174\u2013188 (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"issue":"3","key":"129_CR19","doi-asserted-by":"crossref","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. 376(3), 139\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"129_CR20","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3\u20134):309\u2013330. Elsevier (2004)","DOI":"10.1016\/j.jvlc.2004.01.005"},{"key":"129_CR21","unstructured":"Dresden OCL Toolkit. http:\/\/dresden-ocl.sourceforge.net\/ (visited October 2008)"},{"key":"129_CR22","unstructured":"Ebert, J., Riediger, V., Winter, A.: Graph technology in reverse engineering. The TGraph Approach. In: Proceedings of 10th Workshop Software Reengineering. GI Lecture Notes in Informatics, pp. 67\u201381 (2008)"},{"key":"129_CR23","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)"},{"key":"129_CR24","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\u2014Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In [52], pp. 247\u2013312 (1999)","DOI":"10.1142\/9789812384720_0004"},{"key":"129_CR25","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: Proceedings of IEEE VL\/HCC 2005, pp. 125\u2013133 (2005)","DOI":"10.1109\/VLHCC.2005.18"},{"key":"129_CR26","unstructured":"Fujaba tool suite home page: http:\/\/wwwcs.uni-paderborn.de\/cs\/fujaba\/"},{"key":"129_CR27","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. SoSyM 4(4):386\u2013398. Springer (2005)","DOI":"10.1007\/s10270-005-0089-y"},{"key":"129_CR28","doi-asserted-by":"crossref","unstructured":"Heckel, R., K\u00fcster, J.-M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Proceedings of ICGT\u201902, LNCS 2505, pp. 161\u2013176. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45832-8_14"},{"issue":"2","key":"129_CR29","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson D.: Alloy: a lightweight object modelling notation. ACM TOSEM 11(2), 256\u2013290 (2002)","journal-title":"ACM TOSEM"},{"key":"129_CR30","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilairem, F., B\u00e9zivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. OOPSLA Companion, pp. 719\u2013720, ACM (2006)","DOI":"10.1145\/1176617.1176691"},{"key":"129_CR31","doi-asserted-by":"crossref","unstructured":"Kalnins, A., Barzdins, J., Celms, E.: Model Transformation Language MOLA. In: Proceedings of MDAFA\u201904, LNCS 3599, pp. 62\u201376. Springer, Heidelberg (2004)","DOI":"10.1007\/11538097_5"},{"key":"129_CR32","unstructured":"Katz, S.: A survey of verification and static analysis for aspects. Technical Report AOSD-Europe Milestone M8.1, AOSD-Europe-Technion-1, Technion Israel (2005)"},{"key":"129_CR33","doi-asserted-by":"crossref","unstructured":"Kniesel, G., Bardey, U.: An analysis of the Correctness and Completeness of Aspect Weaving. WCRE\u201906, pp. 324\u2013333, IEEE Computer Society (2006)","DOI":"10.1109\/WCRE.2006.10"},{"key":"129_CR34","doi-asserted-by":"crossref","unstructured":"Kniesel, G.: Detection and Resolution of Weaving Interactions. In: Proceedings of TAOSD, LNCS 5490, pp. 135\u2013186. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02059-9_5"},{"key":"129_CR35","unstructured":"Lambers, L., Ehrig, H., Taentzer, G.: Sufficient criteria for applicability and non-applicability of rule sequences. In: Proceedings of GT-VMT\u201908, Electronic Communications of the EASST, vol. 10 (2008)"},{"key":"129_CR36","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design. Prentice Hall, Upper Saddle River, 3rd Edition (2004)"},{"issue":"1","key":"129_CR37","first-page":"25","volume":"7","author":"S. Markovic","year":"2008","unstructured":"Markovic S., Baar T.: Refactoring OCL annotated UML class diagrams. SoSyM 7(1), 25\u201347 (2008) Springer","journal-title":"SoSyM"},{"key":"129_CR38","volume-title":"MDA Distilled","author":"S.J. Mellor","year":"2004","unstructured":"Mellor S.J., Scott K., Uhl A., Weise D.: MDA Distilled. Addison-Wesley Object Technology Series, Redwood (2004)"},{"key":"129_CR39","doi-asserted-by":"crossref","unstructured":"Mehner, K., Monga, M., Taentzer, G.: Interaction Analysis in Aspect-Oriented Models. RE\u201906, pp. 66\u201375, IEEE Computer Society (2006)","DOI":"10.1109\/RE.2006.35"},{"key":"129_CR40","doi-asserted-by":"crossref","unstructured":"Mens, T., Tourw\u00e9, T.: A Survey of Software Refactoring. IEEE Trans. Softw. Eng. 30(2), 126\u2013139 IEEE (2004)","DOI":"10.1109\/TSE.2004.1265817"},{"key":"129_CR41","unstructured":"Mens, T., Kniesel, G., Runge, O.: Transformation dependency analysis\u2014 a comparison of two approaches. LMO\u201906 12:167\u2013182. Hermes Science Publishing (2006)"},{"issue":"3","key":"129_CR42","first-page":"269","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens T., Taentzer G., Runge O.: Analysing refactoring dependencies using graph transformation. SoSyM 6(3), 269\u2013285 (2007) Springer","journal-title":"SoSyM"},{"key":"129_CR43","unstructured":"MOF 2.0 standard specification at: http:\/\/www.omg.org\/spec\/MOF\/2.0\/"},{"key":"129_CR44","unstructured":"OCL 2.0 standard specification at: http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm"},{"key":"129_CR45","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.entcs.2008.03.079","volume":"206","author":"P.P. P\u00e9rez Velasco","year":"2008","unstructured":"P\u00e9rez Velasco P.P., de Lara J.: Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. Electr. Notes Theor. Comput. Sci. 206, 133\u2013152 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"129_CR46","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL constraints. ER 2006, LNCS 4215, pp. 497\u2013512. Springer (2006)","DOI":"10.1007\/11901181_37"},{"key":"129_CR47","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Decidable Reasoning in UML Schemas with Constraints. CAISE 2008, pp.: 281-295. Springer (2008a)","DOI":"10.1007\/978-3-540-69534-9_23"},{"key":"129_CR48","unstructured":"Queralt, A., Teniente, E.: Validation of UML Conceptual Schemas with Operations. CAISE Forum 2008, pp. 101\u2013104. CEUR Workshop Proceedings (2008b)"},{"key":"129_CR49","unstructured":"QVT standard specification at: http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"129_CR50","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models, LNCS 5065, pp. 114\u2013132. Springer (2008)","DOI":"10.1007\/978-3-540-68679-8_8"},{"key":"129_CR51","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude. In: Proceedigs of SLE\u201908, LNCS 5452, pp. 54\u201373. Springer (2008)","DOI":"10.1007\/978-3-642-00434-6_5"},{"key":"129_CR52","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations","year":"1997","unstructured":"Rozenberg G. (eds): Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, Singapore (1997"},{"key":"129_CR53","doi-asserted-by":"crossref","unstructured":"Sendall, S., Strohmeier, A.: Using OCL and UML to specify system behavior. In Object Modeling with the OCL 2002, LNCS 2263, pp. 250\u2013280. Springer (2002)","DOI":"10.1007\/3-540-45669-4_13"},{"key":"129_CR54","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In WG\u201994, LNCS 903, pp. 151\u2013163. Springer (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"129_CR55","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of FASE\u201905, LNCS 3442, pp. 64\u201379. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"129_CR56","unstructured":"The ECLiPSe Constraint Programming System. http:\/\/www.eclipse-clp.org"},{"issue":"2","key":"129_CR57","first-page":"85","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3 D.: Automated formal verification of visual modeling languages by model checking. SoSyM 3(2), 85\u2013113 (2004) Springer","journal-title":"SoSyM"},{"key":"129_CR58","volume-title":"Model-Driven Software Development","author":"M. V\u00f6lter","year":"2006","unstructured":"V\u00f6lter M., Stahl T.: Model-Driven Software Development. Wiley, New York (2006)"},{"key":"129_CR59","unstructured":"XML Metadata Interchange (XMI), v2.1.1 standard specification at: http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2007-12-01"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0129-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0129-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0129-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:26Z","timestamp":1559116526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0129-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,19]]},"references-count":59,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["129"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0129-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,19]]}}}