{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T20:41:13Z","timestamp":1698871273349},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2012,7]]},"DOI":"10.1007\/s10270-010-0185-5","type":"journal-article","created":{"date-parts":[[2010,12,31]],"date-time":"2010-12-31T08:04:48Z","timestamp":1293782688000},"page":"385-408","source":"Crossref","is-referenced-by-count":16,"title":["Dynamic constraint satisfaction problems over models"],"prefix":"10.1007","volume":"11","author":[{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"first","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,1]]},"reference":[{"key":"185_CR1","unstructured":"Neema, S.: Analysis of matlab simulink and stateflow data model (2001)"},{"key":"185_CR2","unstructured":"AUTOSAR Consortium: The AUTOSAR Standard. http:\/\/www.autosar.org\/"},{"key":"185_CR3","doi-asserted-by":"crossref","unstructured":"El-Boussaidi, G., Mili, H.: Detecting patterns of poor design solutions using constraint propagation. In: MoDELS\u201908: Int. Conference on Model Driven Engineering Languages and Systems, pp. 189\u2013203 (2008)","DOI":"10.1007\/978-3-540-87875-9_14"},{"key":"185_CR4","first-page":"1","volume":"6","author":"J. White","year":"2007","unstructured":"White J., Schmidt D., Nechypurenko A., Wuchner E.: Introduction to the generic eclipse modelling system. Eclipse Mag. 6, 1\u201318 (2007)","journal-title":"Eclipse Mag."},{"key":"185_CR5","doi-asserted-by":"crossref","unstructured":"Petter, A., Behring, A., M\u00fchlh\u00e4user, M.: Solving constraints in model transformation. In: ICMT\u201909: International Conference on Model Transformation, Zurich, Switzerland (2009)","DOI":"10.1007\/978-3-642-02408-5_10"},{"key":"185_CR6","unstructured":"Intelligent Systems Laboratory, Swedish Institute of Computer Science: Sicstus User\u2019s manual. http:\/\/www.sics.se\/sicstus\/docs\/latest4\/pdf\/sicstus.pdf (2009)"},{"key":"185_CR7","unstructured":"Official website of ILOG Solver. http:\/\/www.ilog.com\/products\/cp\/"},{"issue":"3","key":"185_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1026563910104","volume":"13","author":"I. Miguel","year":"2000","unstructured":"Miguel I., Shen Q.: Dynamic flexible constraint satisfaction. Appl. Intell. 13(3), 231\u2013245 (2000)","journal-title":"Appl. Intell."},{"key":"185_CR9","unstructured":"ATLAS Group: The ATLAS Transformation Language. http:\/\/www.eclipse.org\/atl\/"},{"key":"185_CR10","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Introduction to PROGRES, an attributed graph grammar based specification language. In: Nagl, M.: (ed) Graph\u2013Theoretic Concepts in Computer Science. Volume 411 of LNCS, pp. 151\u2013165. Springer, Berlin (1990)","DOI":"10.1007\/3-540-52292-1_11"},{"key":"185_CR11","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE), pp. 479\u2013485 (2004)","DOI":"10.1007\/978-3-540-25959-6_40"},{"issue":"2","key":"185_CR12","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":"185_CR13","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, A., Varr\u00f3, D.: CSP(M): constraint satisfaction programming over models. In: Proc. of MODELS\u201909, ACM\/IEEE 12th International Conference On Model Driven Engineering Languages and Systems. LNCS 5795, pp. 107\u2013121 (2009)","DOI":"10.1007\/978-3-642-04425-0_9"},{"key":"185_CR14","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Chapter: Algebraic Approaches to Graph Transformation, vol. 1. World Scientific Foundations (1997)","DOI":"10.1142\/9789812384720"},{"issue":"3","key":"185_CR15","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":"185_CR16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D. Varr\u00f3","year":"2003","unstructured":"Varr\u00f3 D., Pataricza A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. J. Softw. Syst. Model. 2(3), 187\u2013210 (2003)","journal-title":"J. Softw. Syst. Model."},{"key":"185_CR17","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: ICGT 2004: 2nd International Conference on Graph Transformation, Rome, Italy, pp. 319\u2013335 (2004)","DOI":"10.1007\/978-3-540-30203-2_23"},{"issue":"4","key":"185_CR18","first-page":"27","volume":"15","author":"D.S. Weld","year":"1994","unstructured":"Weld D.S.: An introduction to least commitment planning. AI Mag 15(4), 27\u201361 (1994)","journal-title":"AI Mag"},{"key":"185_CR19","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: In Proceedings of the IJCAI95, Morgan, pp. 624\u2013630 (1995)"},{"issue":"2","key":"185_CR20","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(85)90053-0","volume":"27","author":"Y. Descotte","year":"1985","unstructured":"Descotte Y., Latombe J.C.: Making compromises among antagonist constraints in a planner. Artif. Intell. 27(2), 183\u2013217 (1985)","journal-title":"Artif. Intell."},{"key":"185_CR21","unstructured":"Dechter, R., Dechter, A.: Belief maintenance in dynamic constraint networks. In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), St. Paul, MN, pp. 37\u201342 (1988)"},{"key":"185_CR22","unstructured":"Verfaillie, G., Schiex, T.: Solution reuse in dynamic constraint satisfaction problems. In: AAAI \u201994: Proceedings of the twelfth National Conference on Artificial intelligence, vol. 1. American Association for Artificial Intelligence, Menlo Park, pp. 307\u2013312 (1994)"},{"key":"185_CR23","doi-asserted-by":"crossref","unstructured":"Baptista, L., Margues-Silva, J.: Using randomization and learning to solve hard real-world instances of satisfiability. In: CP \u201900: 6th International Conference on Principles and Practice of Constraint Programming, pp. 489\u2013494 (2000)","DOI":"10.1007\/3-540-45349-0_36"},{"key":"185_CR24","first-page":"1","volume":"2","author":"S. Varr\u00f3-Gyapay","year":"2006","unstructured":"Varr\u00f3-Gyapay S., Varr\u00f3 D.: Optimization in graph transformation systems using Petri net based techniques. Electron. Commun. EASST 2, 1\u201318 (2006)","journal-title":"Electron. Commun. EASST"},{"key":"185_CR25","doi-asserted-by":"crossref","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: ICGT \u201902: International Conference on Graph Transformation, pp. 161\u2013176 (2002)","DOI":"10.1007\/3-540-45832-8_14"},{"issue":"1","key":"185_CR26","first-page":"135","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Habel A., Pennemann K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundam. Inf. 74(1), 135\u2013166 (2006)","journal-title":"Fundam. Inf."},{"key":"185_CR27","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT\u201908, 3rd International Workshop on Graph and Model Transformation (2008)","DOI":"10.1145\/1402947.1402953"},{"issue":"4","key":"185_CR28","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1057\/palgrave.ejis.3000685","volume":"16","author":"Y. Lin","year":"2007","unstructured":"Lin Y., Gray J., Jouault F.: DSMDIFF: a differentiation tool for domain-specific models. Euro. J. Inform. Syst. Spec. Issue Model-Driven Systems Development 16(4), 349\u2013361 (2007)","journal-title":"Euro. J. Inform. Syst. Spec. Issue Model-Driven Systems Development"},{"key":"185_CR29","unstructured":"Official Website of the Distributed equipment Independent environment for Advanced avioNics Applications (DIANA) European project. http:\/\/diana.skysoft.pt"},{"key":"185_CR30","unstructured":"The Swedish Institute of Computer Science: SICStus Prolog. http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html"},{"key":"185_CR31","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: The Korat struct. constraint solver. http:\/\/korat.sourceforge.net\/"},{"issue":"2","key":"185_CR32","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"SSC-4","author":"P. Hart","year":"1968","unstructured":"Hart P., Nilsson N., Raphael B.: A formal basis for the heuristic determination of minimum cost paths in graphs. IEEE Trans. Syst. Sci. Cybernet. SSC-4(2), 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Sci. Cybernet."},{"key":"185_CR33","unstructured":"The AGTIVE Tool Contest. http:\/\/www.informatik.uni-marburg.de\/~swt\/agtive-contest (2007)"},{"key":"185_CR34","unstructured":"The Transformation Tool Contest. http:\/\/www.planet-research20.org\/ttc2010 (2010)"},{"key":"185_CR35","unstructured":"The Graph-Based Tool Contest. http:\/\/fots.ua.ac.be\/events\/grabats2008\/ (2008)"},{"key":"185_CR36","unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: INAP\u201907: International Conference on Applications of Declarative Programming and Knowledge Management, Warzburg, Germany (2007)"},{"key":"185_CR37","doi-asserted-by":"crossref","unstructured":"Janota, M., Kuzina, V., Wasowski, A.: Model construction with external constraints: an interactive journey from semantics to syntax. In: MoDELS\u201908: International Conference on Model Driven Engineering Languages and Systems, pp. 431\u2013445 (2008)","DOI":"10.1007\/978-3-540-87875-9_31"},{"key":"185_CR38","doi-asserted-by":"crossref","unstructured":"Rudolf, M.: Utilizing constraint satisfaction techniques for efficient graph pattern matching. In: 6th International Workshop on Theory and Application of Graph Transformations, pp. 238\u2013251 (2000)","DOI":"10.1007\/978-3-540-46464-8_17"},{"key":"185_CR39","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9, 69 \u201386 (2009)"},{"key":"185_CR40","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J. Winkelmann","year":"2008","unstructured":"Winkelmann J., Taentzer G., Ehrig K., K\u00fcster J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159\u2013170 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"185_CR41","doi-asserted-by":"crossref","unstructured":"Jackson, E., Sztipanovits, J.: Constructive techniques for meta and model level reasoning. In: MoDELS \u201907: International Conference on Model Driven Engineering Languages and Systems, pp. 405\u2013419 (2007)","DOI":"10.1007\/978-3-540-75209-7_28"},{"key":"185_CR42","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UML2CSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE \u201907: Proceedings of the twenty-second IEEE\/ACM International Conference on Automated Software Engineering, pp. 547\u2013548. ACM, New York (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"185_CR43","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","volume":"30","author":"K. Sen","year":"2005","unstructured":"Sen K., Marinov D., Agha G.: Cute: a concolic unit testing engine for c. SIGSOFT Softw. Eng. Notes 30, 263\u2013272 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"4","key":"185_CR44","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1013886.1007526","volume":"29","author":"W. Visser","year":"2004","unstructured":"Visser W., Pa\u030csa\u030creanu C.S., Khurshid S.: Test input generation with Java PathFinder. SIGSOFT Softw. Eng. Notes 29(4), 97\u2013107 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"185_CR45","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Pasareanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 553\u2013568. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36577-X_40"},{"key":"185_CR46","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: International Symposium on Software Testing and Analysis, pp. 123\u2013133. ISSTA, ACM Press (2002)","DOI":"10.1145\/566171.566191"},{"key":"185_CR47","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, B., Kozioura, V.: Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In: TACAS \u201906: Tools and Algorithms for the Construction and Analiysis of Systems, pp. 197\u2013211 (2006)","DOI":"10.1007\/11691372_13"},{"key":"185_CR48","doi-asserted-by":"crossref","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: Fundamental Approaches to Software Engineering (FASE\u201908), pp. 179\u2013198 (2008)","DOI":"10.1007\/978-3-540-78743-3_14"},{"key":"185_CR49","doi-asserted-by":"crossref","unstructured":"Orejas, F.: Attributed graph constraints. In: ICGT \u201908: Proceedings of the 4th International Conference on Graph Transformations, pp. 274\u2013288. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87405-8_19"},{"key":"185_CR50","doi-asserted-by":"crossref","unstructured":"Baar, T.: OCL and graph-transformations\u2014a symbiotic alliance to alleviate the frame problem. In Bruel, J.M. (ed.) MoDELS Satellite Events. Volume 3844 of Lecture Notes in Computer Science, pp. 20\u201331. Springer, Berlin (2005)","DOI":"10.1007\/11663430_3"},{"key":"185_CR51","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, 785\u2013798 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"185_CR52","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Borning A.: The programming language aspects of thinglab, a constraint-oriented simulation laboratory. ACM Trans. Program. Lang. Syst. 3(4), 353\u2013387 (1981)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"185_CR53","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1002\/spe.4380230507","volume":"23","author":"M. Sannella","year":"1993","unstructured":"Sannella M., Maloney J., Freeman-Benson B., Borning A.: Multi-way versus one-way constraints in user interfaces: Experience with the deltablue algorithm. Softw. Practice Exp. 23, 529\u2013566 (1993)","journal-title":"Softw. Practice Exp."},{"key":"185_CR54","unstructured":"Heydon, A., Nelson, G.: The Juno-2 constraint-based drawing editor. In: Technical Report 131a, Digital Systems Research (1994)"},{"key":"185_CR55","unstructured":"Schiex, T.: Solution reuse in dynamic constraint satisfaction problems. In: In Proceedings of the 12th National Conference on Artificial Intelligence, pp. 307\u2013312. AAAI Press, CA (1994)"},{"issue":"10","key":"185_CR56","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1109\/TPAMI.2004.75","volume":"26","author":"L. Cordella","year":"2004","unstructured":"Cordella L., Foggia P., Sansone C., Vento M.: A (sub)graph isomorphism algorithm for matching large graphs. IEEE Trans. Pattern Anal. Mach. Intell. 26(10), 1367\u20131372 (2004)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"185_CR57","unstructured":"Rensink, A.: Isomorphism checking in groove. In: Z\u00fcndorf, A., Varr\u00f3, D. (eds.) Graph-Based Tools (GraBaTs), Natal, Brazil. Volume 1 of Electronic Communications of the EASST, European Association of Software Science and Technology (2007)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0185-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0185-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0185-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,16]],"date-time":"2021-11-16T18:30:31Z","timestamp":1637087431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0185-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0185-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}