{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T06:18:22Z","timestamp":1776147502408,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13094-6_28","type":"book-chapter","created":{"date-parts":[[2010,6,21]],"date-time":"2010-06-21T21:45:32Z","timestamp":1277156732000},"page":"348-362","source":"Crossref","is-referenced-by-count":19,"title":["Towards Automated Inconsistency Handling in Design Models"],"prefix":"10.1007","author":[{"given":"Marcos Aur\u00e9lio","family":"Almeida da Silva","sequence":"first","affiliation":[]},{"given":"Alix","family":"Mougenot","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Blanc","sequence":"additional","affiliation":[]},{"given":"Reda","family":"Bendraou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"28_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Software\u00a020(5), 19\u201325 (2003)","journal-title":"IEEE Software"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-75209-7_4","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Hessellund","year":"2007","unstructured":"Hessellund, A., Czarnecki, K., Wasowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 46\u201360. Springer, Heidelberg (2007)"},{"key":"28_CR3","unstructured":"Balzer, R.: Tolerating inconsistency. In: Proc. Int\u2019 Conf. Software engineering (ICSE 1991), vol.\u00a01, pp. 158\u2013165 (1991)"},{"key":"28_CR4","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, Singapore","DOI":"10.1142\/9789812389718_0015"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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 logics 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":"28_CR6","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., et al.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"28_CR7","unstructured":"Elaasar, M., Brian, L.: An overview of UML consistency management. Technical Report SCE-04-18 (August 2004)"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1145\/1368088.1368158","volume-title":"Proc. Int\u2019l Conf. Software engineering (ICSE 2008)","author":"X. Blanc","year":"2008","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Robby (ed.) Proc. Int\u2019l Conf. Software engineering (ICSE 2008), vol.\u00a01, pp. 511\u2013520. ACM, New York (2008)"},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/ICSE.2003.1201223","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE 2003), Washington, DC, USA","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. Int\u2019l Conf. Software Engineering (ICSE 2003), Washington, DC, USA, pp. 455\u2013464. IEEE Computer Society, Los Alamitos (2003)"},{"key":"28_CR10","unstructured":"OMG: Unified Modeling Language: Super Structure version 2.1 (January 2006)"},{"key":"28_CR11","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification (January 2006)"},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/ASE.2008.20","volume-title":"Proc. ACM\/IEEE Int\u2019l Conf. Automated Software Engineering (ASE 2008)","author":"A. Egyed","year":"2008","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: Proc. ACM\/IEEE Int\u2019l Conf. Automated Software Engineering (ASE 2008), pp. 99\u2013108. ACM, New York (2008)"},{"key":"28_CR13","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"2003","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education, London (2003)"},{"key":"28_CR14","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.: 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":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-79488-2_10","volume-title":"Agent-Oriented Software Engineering VIII","author":"K.H. Dam","year":"2008","unstructured":"Dam, K.H., Winikoff, M.: Generation of repair plans for change propagation. In: Luck, M., Padgham, L. (eds.) AOSE 2007. LNCS, vol.\u00a04951, pp. 132\u2013146. Springer, Heidelberg (2008)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13094-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T04:38:21Z","timestamp":1559191101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13094-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783319981765","9783319981772"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13094-6_28","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}