{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:59:57Z","timestamp":1742385597524},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120282"},{"type":"electronic","value":"9783642120299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_15","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"203-217","source":"Crossref","is-referenced-by-count":27,"title":["Incremental Consistency Checking of Dynamic Constraints"],"prefix":"10.1007","author":[{"given":"Iris","family":"Groher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Reder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE 1997 Workshop on Living with Inconsistency, Boston, USA (1997)"},{"key":"15_CR2","unstructured":"Robins, J., et al.: ArgoUML, http:\/\/argouml.tigris.org\/"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C. Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT)\u00a02, 151\u2013185 (2002)","journal-title":"ACM Transactions on Internet Technology (TOIT)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: 30th International Conference on Software Engineering, Leipzig, Germany, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"15_CR5","unstructured":"Object Constraint Language (OCL), http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"15_CR6","unstructured":"Dhungana, D., Rabiser, R., Gr\u00fcnbacher, P., Lehner, K., Federspiel, C.: DOPLER: An Adaptable Tool Suite for Product Line Engineering. In: 11th International Software Product Line Conference, Kyoto, Japan, pp. 151\u2013152 (2007)"},{"key":"15_CR7","volume-title":"Design Patterns Elements of Reuseable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns Elements of Reuseable Object-Oriented Software. Addison Wesley, Reading (1994)"},{"key":"15_CR8","unstructured":"IBM RSM, www.ibm.com\/software\/products\/de\/de\/swmodeler"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Voelter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: 11th International Software Product Line Conference, Kyoto, Japan, pp. 233\u2013242 (2007)","DOI":"10.1109\/SPLINE.2007.23"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant Consistency Checking for the UML. In: 28th International Conference on Software Engineering, Shanghai, China, pp. 381\u2013390 (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"15_CR11","unstructured":"Eclipse Modeling Framework, http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10515-006-5466-4","volume":"13","author":"A. Egyed","year":"2006","unstructured":"Egyed, A., Balzer, R.: Integrating COTS Software into Systems through Instrumentation and Reasoning. Automated Software Engineering\u00a013, 41\u201364 (2006)","journal-title":"Automated Software Engineering"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: 5th International Conference on Generative Programming and Component Engineering, Portland, USA (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-74407-8_8","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: On Modal Refinement and Consistency. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 105\u2013119. Springer, Heidelberg (2007)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Engels, G., G\u00fcldali, B., Soltenborn, C., Wehrheim, H.: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Applications of Graph Transformations with Industrial Relevance, Kassel, Germany, pp. 17\u201331 (2007)","DOI":"10.1007\/978-3-540-89020-1_2"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s007660200020","volume":"7","author":"L. Campbell","year":"2002","unstructured":"Campbell, L., Cheng, B., McUmber, W., Stirewalt, K.: Automatically Detecting and Visualising Errors in UML Diagrams. Requirements Engineering Journal\u00a07, 264\u2013287 (2002)","journal-title":"Requirements Engineering Journal"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"C. Jordi","year":"2009","unstructured":"Jordi, C., Ernest, T.: Incremental integrity checking of UML\/OCL conceptual schemas. Journal of System Software\u00a082, 1459\u20131478 (2009)","journal-title":"Journal of System Software"},{"key":"15_CR18","unstructured":"Concurrent Versions System, http:\/\/www.nongnu.org\/cvs\/"},{"key":"15_CR19","unstructured":"Subversion, http:\/\/subversion.tigris.org\/"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing Inconsistencies in UML Design Models. In: 29th International Conference on Software Engineering, Minneapolis, USA, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"15_CR21","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)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:51Z","timestamp":1606186011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}