{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:41:56Z","timestamp":1725896516265},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_13","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"146-161","source":"Crossref","is-referenced-by-count":6,"title":["Badger: A Regression Planner to Resolve Design Model Inconsistencies"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Pinna Puissant","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","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-13094-6_28","volume-title":"Advanced Information Systems Engineering","author":"M.A. Almeida da Silva","year":"2010","unstructured":"Almeida da Silva, M.A., Mougenot, A., Blanc, X., Bendraou, R.: Towards Automated Inconsistency Handling in Design Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 348\u2013362. Springer, Heidelberg (2010)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proc. Int\u2019l Conf. Software Engineering, vol.\u00a01, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"13_CR3","unstructured":"Bratko, I.: Prolog programming for artificial intelligence. Addison-Wesley (2001)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.C.: Automatic detection and repair of errors in data structures. In: Int\u2019l Conf. on Object Oriented Programming, Systems, Languages and Applications, pp. 78\u201395. ACM (2003)","DOI":"10.1145\/949343.949314"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","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. Software Eng.\u00a037(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: Proc. Int\u2019l Conf. Automated Software Engineering, pp. 99\u2013108. IEEE (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"13_CR7","unstructured":"Hoffmann, J.: FF: The Fast-Forward Planning System. The AI Magazine (2001)"},{"key":"13_CR8","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. Journal of Artificial Intelligence Research\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR9","unstructured":"Jim\u00e9nez Celorrio, S.: Planning and Learning under Uncertainty. PhD thesis, Universidad Carlos III de Madrid (2010)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: Proc. Conf. on Programming Language Design and Implementation, pp. 437\u2013446. ACM (2011)","DOI":"10.1145\/1993316.1993550"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-75209-7_10","volume-title":"Model Driven Engineering Languages and Systems","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Ryndina, K.: Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 136\u2013150. Springer, Heidelberg (2007)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Mani, S., Sinha, V.S., Dhoolia, P., Sinha, S.: Automated support for repairing input-model faults. In: Int\u2019l Conf. on Automated Software Engineering, pp. 195\u2013204. ACM (2010)","DOI":"10.1145\/1858996.1859039"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-71998-4_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mens","year":"2007","unstructured":"Mens, T., Van Der Straeten, R.: Incremental Resolution of Model Inconsistencies. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 111\u2013126. Springer, Heidelberg (2007), doi:10.1007\/978-3-540-71998-4_7"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-02674-4_10","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A. Mougenot","year":"2009","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform Random Generation of Huge Metamodel Instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 130\u2013145. Springer, Heidelberg (2009)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. 25th Int\u2019l Conf. Software Engineering, pp. 455\u2013464. IEEE Computer Society (May 2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"13_CR17","unstructured":"Object Management Group. Unified Modeling Language: Superstructure version 2.3. formal\/2010-05-05 (May 2010)"},{"key":"13_CR18","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 (September 2010)"},{"key":"13_CR19","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall (2010)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., 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 (2001)","DOI":"10.1142\/9789812389718_0015"},{"key":"13_CR21","unstructured":"Van Der Straeten, R.: Inconsistency management in model-driven engineering: an approach using description logics. PhD thesis, Vrije Universiteit Brussel (2005)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R. Straeten Van Der","year":"2003","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using Description Logic to Maintain Consistency between UML Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-01648-6_4","volume-title":"Models in Software Engineering","author":"R. Straeten Van Der","year":"2009","unstructured":"Van Der Straeten, R., Mens, T., Van Baelen, S.: Challenges in Model-Driven Software Engineering. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol.\u00a05421, pp. 35\u201347. Springer, Heidelberg (2009)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-21470-7_6","volume-title":"Modelling Foundations and Applications","author":"R. Straeten Van Der","year":"2011","unstructured":"Van Der Straeten, R., Pinna Puissant, J., Mens, T.: Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 69\u201384. Springer, Heidelberg (2011)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: Proc. ESEC\/FSE 2009, pp. 315\u2013324. ACM (2009)","DOI":"10.1145\/1595696.1595757"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T11:29:48Z","timestamp":1556882988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}