{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:46:49Z","timestamp":1769971609381,"version":"3.49.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319614724","type":"print"},{"value":"9783319614731","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_10","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:10:41Z","timestamp":1497870641000},"page":"138-154","source":"Crossref","is-referenced-by-count":16,"title":["Graph Constraint Evaluation over Partial Models by Constraint Rewriting"],"prefix":"10.1007","author":[{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Software Syst. Model. 15(3), 811\u2013845 (2016)","DOI":"10.1007\/s10270-014-0441-1"},{"key":"10_CR2","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceeding of the VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark (2002)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 167\u2013182. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21732-6_12"},{"key":"10_CR4","unstructured":"Bertolino, A., Canfora, G., Elbaum, S.G. (eds.): 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16\u201324 May 2015, vol. 2. IEEE Computer Society (2015). http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=7174815"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-540-89020-1_37","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"E Biermann","year":"2008","unstructured":"Biermann, E., Ehrig, K., Ermel, C., K\u00f6hler, C., Taentzer, G.: The EMF model transformation framework. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 566\u2013567. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89020-1_37"},{"key":"10_CR6","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL tool (2007). http:\/\/www.brucker.ch\/"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"B\u00far, M., Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Local search-based pattern matching features in EMF-IncQuery. In: 8th International Conference on Graph Transformation (2015)","DOI":"10.1007\/978-3-319-21145-9_18"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 73\u201380, April 2008","DOI":"10.1109\/ICSTW.2008.54"},{"key":"10_CR9","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: Proceeding of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of the 34th International Conference on Software Engineering, pp. 573\u2013583. IEEE Press, Piscataway (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: The semantics of partial model transformations. In: Proceedings of the 4th International Workshop on Modeling in Software Engineering, pp. 64\u201369. IEEE Press (2012)","DOI":"10.1109\/MISE.2012.6226016"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/978-3-642-41533-3_41","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Famelis","year":"2013","unstructured":"Famelis, M., Salay, R., Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 673\u2013689. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41533-3_41"},{"key":"10_CR13","doi-asserted-by":"crossref","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. Software Syst. Model. 4, 386\u2013398 (2005)","journal-title":"Software Syst. Model."},{"issue":"2","key":"10_CR14","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 Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-24485-8_48","volume-title":"Model Driven Engineering Languages and Systems","author":"EK Jackson","year":"2011","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 653\u2013667. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24485-8_48"},{"key":"10_CR16","unstructured":"Kleene, S.C., De Bruijn, N., de Groot, J., Zaanen, A.C.: Introduction to Metamathematics, vol. 483. van Nostrand, New York (1952)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the evolution of ocl for capturing structural constraints in modelling languages. In: Rigorous Methods for Software Construction and Analysis, pp. 204\u2013218 (2009)","DOI":"10.1007\/978-3-642-11447-2_13"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290\u2013306. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21952-8_21"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The fujaba environment. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 742\u2013745. ACM (2000)","DOI":"10.1145\/337180.337620"},{"key":"10_CR21","unstructured":"The Object Management Group: Object Constraint Language, v2.0, May 2006"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-21145-9_10","volume-title":"Graph Transformation","author":"H Radke","year":"2015","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 155\u2013170. Springer, Cham (2015). doi: 10.1007\/978-3-319-21145-9_10"},{"issue":"1","key":"10_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2006.01.022","volume":"157","author":"A Rensink","year":"2006","unstructured":"Rensink, A., Distefano, D.: Abstract graph transformation. Electron. Notes Theoret. Comput. Sci. 157(1), 39\u201359 (2006)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-33654-6_5","volume-title":"Graph Transformations","author":"A Rensink","year":"2012","unstructured":"Rensink, A., Zambon, E.: Pattern-based graph abstraction. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 66\u201380. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33654-6_5"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Reps, T.W., Sagiv, M., Wilhelm, R.: Static program analysis via 3-valued logic. In: International Conference on Computer Aided Verification, pp. 15\u201330 (2004)","DOI":"10.1007\/978-3-540-27813-9_2"},{"issue":"3","key":"10_CR26","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.5381\/jot.2015.14.3.a3","volume":"14","author":"R Salay","year":"2015","unstructured":"Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14(3), 3:1 (2015)","journal-title":"J. Object Technol."},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Salay, R., Chechik, M., Gorzny, J.: Towards a methodology for verifying partial model refinements. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 938\u2013945. IEEE (2012)","DOI":"10.1109\/ICST.2012.199"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-28872-2_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R Salay","year":"2012","unstructured":"Salay, R., Famelis, M., Chechik, M.: Language independent refinement using partial modeling. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 224\u2013239. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28872-2_16"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Barta, A., Horv\u00e1th, A., Szatm\u00e1ri, Z., Varr\u00f3, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Software and Systems Modeling, pp. 1\u201336 (2015)","DOI":"10.1007\/s10270-015-0485-x"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Evaluating well-formedness constraints on incomplete models. Acta Cybernetica (2017, in print)","DOI":"10.14232\/actacyb.23.2.2017.15"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Iterative and incremental model generation by logic solvers. In: 19th International Conference on Fundamental Approaches to Software Engineering, pp. 87\u2013103 (2016)","DOI":"10.1007\/978-3-662-49665-7_6"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and back again. In: MoDeVVa 2009: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 1\u201310. ACM (2009)","DOI":"10.1145\/1656485.1656489"},{"key":"10_CR33","unstructured":"Sz\u00e1rnyas, G., Semer\u00e1th, O., R\u00e1th, I., Varr\u00f3, D.: The TTC 2015 train benchmark case for incremental model validation. In: 8th Transformation Tool Contest, (STAF 2015), pp. 129\u2013141 (2015)"},{"key":"10_CR34","unstructured":"The Eclipse Project: Eclipse Modeling Framework. http:\/\/www.eclipse.org\/emf"},{"key":"10_CR35","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Izs\u00f3, B., R\u00e1th, I., Szatm\u00e1ri, Z., Varr\u00f3, D.: Emf-incquery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"10_CR36","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"10_CR37","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Software 31(3), 79\u201385 (2014)","journal-title":"IEEE Software"},{"key":"10_CR38","unstructured":"Yakindu Statechart Tools: Yakindu. http:\/\/statecharts.org\/"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61473-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T04:34:32Z","timestamp":1569472472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}