Generation of repair plans for change propagation

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

Volumn 4951 LNCS, Issue , 2008, Pages 132-146

  Dam, Khanh Hoa ^a   Winikoff, Michael ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CONSTRAINT THEORY; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

AGENT-ORIENTED CHANGE; AUTOMATED CHANGE PROPAGATION; REPAIR PLANS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 43949097566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79488-2_10     Document Type: Conference Paper

References (22)

1. Swanson, E.B.: The dimensions of maintenance. In: ICSE 1976: Proceedings of the 2nd international conference on Software engineering, Los Alamitos, CA, USA, pp. 492-497. IEEE Computer Society Press, Los Alamitos (1976)
2. Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Chang, K.S. (ed.) Handbook of Software Engineering and Knowledge Engineering, pp. 24-29. World Scientific, Singapore (2001)
3. Rajlich, V.: A model for change propagation based on graph rewriting. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 84-91. IEEE Computer Society, Los Alamitos (1997)
4. Sourrouille, J.L., Caplat, G.: Checking UML model consistency. In: Je´ze´quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, Springer, Heidelberg (2002)
5. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, pp. 455-464. IEEE Computer Society, Los Alamitos (2003)
6. Dam, K.H., Winikoff, M., Padgham, L.: An agent-oriented approach to change propagation in software evolution. In: Proceedings of the Australian Software Engineering Conference (ASWEC), pp. 309-318. IEEE Computer Society, Los Alamitos (2006)
7. Padgham, L., Winikoff, M.: Developing intelligent agent systems: A practical guide. John Wiley & Sons, Chichester (2004)
8. Object Management Group: Object Constraint Language (OCL) 2.0 Specification (2006)
9. Rao, A.S., Georgeff, M.P: An abstract architecture for rational agents. In: Rich, C., Swartout, W., Nebel, B. (eds.) Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, San Mateo, CA, pp. 439-449. Morgan Kaufmann Publishers, San Francisco (1992)
10. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)
11. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42-55. Springer, Heidelberg (1996)
12. Dam, K.H., Winikoff, M.: An agent-based approach to change propagation. Technical Report TR-06-04, RMIT University (2006)
13. Arnold, R., Bohner, S.: Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos (1996), ISBN 0-818-67384-2
14. Mayol, E., Teniente, E.: A survey of current methods for integrity constraint maintenance and view updating. In: Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, London, UK, pp. 62-73. Springer, Heidelberg (1999)
15. Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst. 19(3), 367-422 (1994)
16. Gertz, M., Lipeck, U.W.: An extensible framework for repairing constraint violations. In: Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems, pp. 89-111. Chapman & Hall, Ltd, Boca Raton (1997)
17. Moerkotte, G., Lockemann, PC: Reactive consistency control in deductive databases. ACM Trans. Database Syst. 16(4), 670-702 (1991)
18. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology 2(2), 151-185 (2002)
19. Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006: Shanghai, China (May 2006)
20. Ivkovic, I., Kontogiannis, K.: Tracing evolution changes of software artifacts through model synchronization. In: Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM), pp. 252-261. IEEE Computer Society, Los Alamitos (2004)
21. Engels, G., Kuster, J.M., Heckel, R., Groenewegen, L.: Towards consistency-preserving model evolution. In: Proceedings of the International Workshop on Principles of Software Evolution (IWPSE), pp. 129-132. ACM Press, New York (2002)
22. 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. 2863, pp. 326-340. Springer, Heidelberg (2003)