Incremental consistency checking for complex design rules and larger model changes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7590 LNCS, Issue , 2012, Pages 202-218

  Reder, Alexander ^a   Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

consistency checking; incremental checking; performance

Indexed keywords

COMPLEX DESIGNS; COMPUTATIONAL COSTS; CONSISTENCY CHECKING; DESIGN RULES; INCREMENTAL CHECKING; LARGE DESIGNS; MODEL CHANGE; MODEL MERGING; MODEL TRANSFORMATION; PERFORMANCE; PERFORMANCE PROBLEMS;

MODELS; SOFTWARE DESIGN;

MODEL CHECKING;

EID: 84867635549     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33666-9_14     Document Type: Conference Paper

References (21)

1. Balzer, R.: Tolerating Inconsistency. In: Belady, L., Barstow, D.R., Torii, K. (eds.) ICSE, pp. 158-165. IEEE Computer Society/ACM Press (1991)
2. Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental Evaluation of Model Queries over EMF Models. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 76-90. Springer, Heidelberg (2010)
3. Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Schäfer, W., Dwyer, M.B., Gruhn, V. (eds.) ICSE, pp. 511-520. ACM (2008)
4. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9), 1459-1478 (2009)
5. Demsky, B., Rinard, M.: Data structure repair using goal-directed reasoning. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 176-185. ACM, New York (2005)
6. Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 381-390. ACM, New York (2006)
7. Egyed, A.: Fixing Inconsistencies in UML Design Models. In: ICSE, pp. 292-301. IEEE Computer Society (2007)
8. Egyed, A.: Automatically Detecting and Tracking Inconsistencies in Software Design Models. IEEE Trans. Software Eng. 37(2), 188-204 (2011)
9. Egyed, A., Letier, E., Finkelstein, A.: Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In: Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2008, pp. 99-108. IEEE Computer Society, Washington, DC (2008)
10. Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE-97 Workshop on Living with Inconsistency (1997)
11. Forgy, C.: Rete: A Fast Algorithm for the Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence 19, 17-37 (1982)
12. Jouault, F., Tisi, M.: Towards Incremental Execution of ATL Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 123-137. Springer, Heidelberg (2010)
13. Mens,M., Ragnhild, S., D'Hondt,M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200-214. Springer, Heidelberg (2006)
14. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Trans. Internet Technol. 2(2), 151-185 (2002)
15. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, ICSE 2003, pp. 455-464. IEEE Computer Society, Washington, DC (2003)
16. Reiss, S.P.: Incremental Maintenance of Software Artifacts. IEEE Trans. Software Eng. 32(9), 682-697 (2006)
17. Robbins, J.E.: ArgoUML, v0.32.1 (March 2011), http://argouml.tigris.org
18. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency Checking of Conceptual Models via Model Merging. In: RE, pp. 221-230. IEEE (2007)
19. Van Der Straeten, R., D'Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Proceedings of the 2006 ACMSymposium on Applied Computing, SAC 2006, pp. 1210-1217. ACM, New York (2006)
20. Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214-234 (2007)
21. Xu, C., Cheung, S.C., Chan, W.K.: Incremental consistency checking for pervasive context. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 292-301. ACM, New York (2006)