{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T00:15:08Z","timestamp":1775175308075,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T00:00:00Z","timestamp":1361836800000},"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":[[2015,2]]},"DOI":"10.1007\/s10270-013-0317-9","type":"journal-article","created":{"date-parts":[[2013,2,25]],"date-time":"2013-02-25T13:03:28Z","timestamp":1361797408000},"page":"461-481","source":"Crossref","is-referenced-by-count":33,"title":["Resolving model inconsistencies using automated regression planning"],"prefix":"10.1007","volume":"14","author":[{"given":"Jorge","family":"Pinna\u00a0Puissant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ragnhild","family":"Van Der Straeten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,2,26]]},"reference":[{"key":"317_CR1","doi-asserted-by":"crossref","unstructured":"Van Der Straeten, R., Mens T., Van Baelen, S.: Challenges in model-driven software engineering. In: Models in Software Engineering. Lecture Notes in Computer Science, vol. 5421, pp. 35\u201347. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01648-6_4"},{"key":"317_CR2","doi-asserted-by":"crossref","unstructured":"George, S., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering, pp. 329\u2013380. World Scientific, Singapore (2001)","DOI":"10.1142\/9789812389718_0015"},{"key":"317_CR3","unstructured":"Balzer, R.: Tolerating inconsistency. In: Proceedings of the 13th International Conference on Software Engineering, ICSE \u201991, pp. 158\u2013165 IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"317_CR4","unstructured":"Object Management Group: Unified Modeling Language: Superstructure version 2.3. formal\/2010-05-05 May (2010)"},{"key":"317_CR5","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, Burlington (2004)","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"key":"317_CR6","unstructured":"Russell, S., Norvig, P. : Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010)"},{"key":"317_CR7","unstructured":"Sterling, L.S., Shapiro, E.Y.: The Art of Prolog: Advanced Programming Techniques, 2nd edn. MIT Press, Cambridge (1994)"},{"key":"317_CR8","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley, Boston (2001)"},{"key":"317_CR9","doi-asserted-by":"crossref","unstructured":"Pinna Puissant, J., Van Der Straeten, R., Mens, T.: Badger: a regression planner to resolve design model inconsistencies. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D.S. (eds.) ECMFA. Lecture Notes in Computer Science, vol. 7349, pp. 146\u2013161. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31491-9_13"},{"key":"317_CR10","unstructured":"Pinna Puissant, J.: Resolving Inconsistencies in Model-Driven Engineering using Automated Planning. PhD thesis, Universit\u00e9 de Mons (2012)"},{"key":"317_CR11","unstructured":"Jim\u00e9nez Celorrio, S.: Planning and Learning under Uncertainty. PhD thesis, Universidad Carlos III de Madrid (2010)"},{"key":"317_CR12","unstructured":"Pinna Puissant, J., Mens, T., Van Der Straeten, R.: Resolving model inconsistencies with automated planning. In: 3rd workshop on Living with Inconsistencies in Software Development, CEUR Workshop Proceeding (2010)"},{"key":"317_CR13","unstructured":"Hoffmann, J.: FF: the fast-forward planning system. AI Mag. 22(3):57\u201372 (2001)"},{"key":"317_CR14","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253\u2013302 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"317_CR15","unstructured":"Blanc, X., Falleri, J.-R.: Internet software evolution with vpraxis. ERCIM News 2012(88) (2012)"},{"key":"317_CR16","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: European Conference on Model Driven Architecture\u2014Foundations and Applications, pp. 130\u2013145. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_10"},{"key":"317_CR17","doi-asserted-by":"crossref","unstructured":"Xavier, B., Mougenot, A., Mounier, I., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the International Conference on Software Engineering, vol. 1, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"317_CR18","doi-asserted-by":"crossref","unstructured":"Le Noir, J. Delande, O., Exertier, D., Aur\u00e9lio, M., da Silva, A., Blanc, X.: Operation based model representation: experiences on inconsistency detection. In: France, R.B., Malte K\u00fcster, J., Bordbar, B., Paige, R.F. (eds) ECMFA. Lecture Notes in Computer Science, vol. 6698, pp. 85\u201396. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_7"},{"issue":"2","key":"317_CR19","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"317_CR20","unstructured":"Van Der Straeten, R.: Inconsistency management in model-driven engineering: an approach using description logics. PhD thesis, Vrije Universiteit Brussel (2005)"},{"key":"317_CR21","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, pp. 455\u2013464. IEEE Computer Society, New York (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"317_CR22","unstructured":"Korf, R.E.: Linear-space best-first search: summary of results. In: Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI\u201992, pp. 533\u2013538. AAAI Press, California (1992)"},{"key":"317_CR23","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: Proceedings of International Conference on Automated Software Engineering, pp. 99\u2013108. IEEE, New York (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"317_CR24","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: Proceedings of ESEC\/FSE 2009, pp. 315\u2013324. ACM, New York (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"317_CR25","doi-asserted-by":"crossref","unstructured":"Van Der Straeten, R., Pinna Puissant, J., Mens, T.: Assessing the Kodkod model finder for resolving model inconsistencies. In: European Conference on Modelling Foundations and Applications. Lecture Notes in Computer Science, vol. 6698, pp. 69\u201384. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_6"},{"key":"317_CR26","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)"},{"key":"317_CR27","unstructured":"P\u00e9rez, J.: Refactoring Planning for Design Smell Correction in Object-Oriented Software. PhD thesis, ETSII, University of Valladolid (2011)"},{"key":"317_CR28","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/TPAMI.1983.4767389","volume":"5","author":"SA Vere","year":"1983","unstructured":"Vere, S.A.: Planning in time: windows and durations for activities and goals. IEEE Trans. Pattern Anal. Mach. Intell. 5, 246\u2013267 (1983)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"317_CR29","unstructured":"Dean, T., Basye, K., Chekaluk, R., Hyun, S., Lejter, M., Randazza, M.: Coping with uncertainty in a control system for navigation and exploration. In: Proceedings of the 8th National Conference on Artificial Intelligence (AAAI), vol. 2, pp. 1010\u20131015. MIT Press, Boston (1990)"},{"key":"317_CR30","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Blanc, X., Gervais, M.-P.: D-praxis: a peer-to-peer collaborative model editing framework. In: Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS \u201909, pp. 16\u201329. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02164-0_2"},{"issue":"12","key":"317_CR31","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1016\/S0950-5849(01)00181-1","volume":"43","author":"F Marcelloni","year":"2001","unstructured":"Marcelloni, F., Aksit, M.: Leaving inconsistency using fuzzy logic. Inf. Softw. Technol. 43(12), 725\u2013741 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"317_CR32","doi-asserted-by":"crossref","unstructured":"Marcelloni, F., Aksit, M.: Fuzzy logic-based object-oriented methods to reduce quantization error and contextual bias problems in software development. Fuzzy Sets Syst. 145(1), 57\u201380 (2004)","DOI":"10.1016\/j.fss.2003.10.005"},{"key":"317_CR33","doi-asserted-by":"crossref","unstructured":"Castro, S., Brichau, J., Mens, K.: Diagnosis and semi-automatic correction of detected design inconsistencies in source code. In: Proceedings of Internationall Workshop on Smalltalk Technologies, pp. 8\u201317. ACM, New York (2009)","DOI":"10.1145\/1735935.1735938"},{"key":"317_CR34","doi-asserted-by":"crossref","unstructured":"Harman, M.: Search based software engineering. In Computational Science\u2014ICCS 2006. Lecture Notes in Computer Science, vol. 3994, pp. 740\u2013747. Springer, Berlin (2006)","DOI":"10.1007\/11758549_100"},{"key":"317_CR35","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Proceedings of International Conference on Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 4199. pp. 200\u2013214. Springer, Berlin (2006)","DOI":"10.1007\/11880240_15"},{"key":"317_CR36","unstructured":"da Silva, M.A.A., Mougenot, A., Blanc, X., Bendraou, R.: Towards automated inconsistency handling in design models. In: Proceedings International Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science. Springer, Berlin (2010)"},{"key":"317_CR37","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Ryndina, K.: Improving inconsistency resolution with side-effect evaluation and costs. In: Proceedings of International Conference on Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 4735, pp. 136\u2013150. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75209-7_10"},{"key":"317_CR38","doi-asserted-by":"crossref","unstructured":"Nau, D., Au, T.-C., Ilghami, O., Kuter, U., Murdock, J.W. Wu, D., Yaman, F.: Shop2: an HTN planning system. J. Artif. Intell. Res. 20:379\u2013404 (2003)","DOI":"10.1613\/jair.1141"},{"key":"317_CR39","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J.A., Nau, D.S.: HTN planning for web service composition using SHOP2. Web Semant. Sci. Serv. Agents World Wide Web 1(4), 377\u2013396 (2004)","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"317_CR40","doi-asserted-by":"crossref","unstructured":"Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic web services composition using SHOP2. In: WWW (Posters) (2003)","DOI":"10.21236\/ADA448067"},{"key":"317_CR41","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Hierarchical GUI test case generation using automated planning. IEEE Trans. Softw. Eng. 27(2), 144\u2013155 (2001)"},{"key":"317_CR42","doi-asserted-by":"crossref","unstructured":"Koehler, J., Nebel, B., Hoffmann, J., Dimopoulos, Y.: Extending planning graphs to an adl subset. In: Steel, S., Alami, R. (eds.) Recent Advances in AI Planning. Lecture Notes in Computer Science, vol. 1348, pp. 273\u2013285. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63912-8_92"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0317-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0317-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0317-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:06:23Z","timestamp":1745964383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0317-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,26]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["317"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0317-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,26]]}}}