Abstract
One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation is still a significant technical challenge in software engineering. In this paper we present an agent-oriented change propagation framework based on fixing inconsistencies when primary changes are made to design models. A core piece of the framework is a new method for generating repair plans from OCL constraints that restrict these models.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Sourrouille, J.L., Caplat, G.: Checking UML model consistency. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, Springer, Heidelberg (2002)
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)
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)
Padgham, L., Winikoff, M.: Developing intelligent agent systems: A practical guide. John Wiley & Sons, Chichester (2004), ISBN 0-470-86120-7
Object Management Group: Object Constraint Language (OCL) 2.0 Specification (2006)
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)
Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)
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)
Dam, K.H., Winikoff, M.: An agent-based approach to change propagation. Technical Report TR-06-04, RMIT University (2006)
Arnold, R., Bohner, S.: Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos (1996), ISBN 0-818-67384-2
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)
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)
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)
Moerkotte, G., Lockemann, P.C.: Reactive consistency control in deductive databases. ACM Trans. Database Syst. 16(4), 670–702 (1991)
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)
Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006: Shanghai, China (May 2006)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dam, K.H., Winikoff, M. (2008). Generation of Repair Plans for Change Propagation. In: Luck, M., Padgham, L. (eds) Agent-Oriented Software Engineering VIII. AOSE 2007. Lecture Notes in Computer Science, vol 4951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79488-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-79488-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79487-5
Online ISBN: 978-3-540-79488-2
eBook Packages: Computer ScienceComputer Science (R0)