Abstract
This paper highlights the importance of software maintenance, specifically the UML (Unified Modeling Language) diagrams, created and changed, especially during the tasks of analysis and design of software. The main idea of this paper is to formalize the software maintenance phase in order to motivate the maintenance documentation of these diagrams taking into account a knowledge base which represents the consistency among UML diagrams. The consistency among the diagrams is done through a semantic network, and also formalized by the OCL (Object Constraint Language). Finally, the domain knowledge is represented by production rules which form the knowledge base. This knowledge base is the center of the knowledge-based system whose goal is guiding the developer in the maintenance of UML diagrams by recording and making the consistency of these diagrams. Thus the system has two contributions: storage of the maintenance of UML diagrams and diagnosis of consistencies among the diagrams participating in the maintenance phase.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Booch, G., Rumbaugh, J., Jacobson, I.: Uml – Guia Do Usuário, 10th edn. Editora Campus, Rio Dejaneiro (2000)
Dantas, C., Murta, L., Werner, C.: Odyssey-Wi: Uma Ferramenta Para Mineração De Rastros De Modificação Em Modelos Uml Versionados. Disponível Em (2009), http://Reuse.Cos.Ufrj.Br/Prometeus/Publicacoes/Ts%20odyssey-Wi%20final.Pdf
Durkin, J.: Expert Systems: Design And Development. Prentice-Hall, New Jersey (1994)
Fernandes, A.D.R.S., Monteiro, G.C.S., Guerra, R.S., Castro, S.: OCL: Object Constraint Language. Disponível Em, Porto (2009), http://Paginas.Fe.Up.Pt/~Aaguiar/Es/Artigos%20finais/Es_Final_23.Pdf
Ha, I., Kang, B.: Meta-Validation of Uml Structural Diagrams And Behavioral Diagrams With Consistency Rules. Dep’t of Computer Engineering, Yeungnam University, Korea, IEEE (2003)
Ha, I., Kang, B.: Cross Checking Rules To Improve Consistency Between Uml Static Diagram And Dynamic Diagram. In: Fyfe, C., Kim, D., Lee, S.-Y., Yin, H. (eds.) IDEAL 2008. LNCS, vol. 5326, pp. 436–443. Springer, Heidelberg (2008)
Hausmann, J., Sauer, S.: Extended Model Relations With Graphical Consistency Conditions. In: Disponível Em, Kuzniarz, pp. 61–74 (2002)
Hnatkowska, B., Huzar, Z., Kuzniarz, L., Tuzinkiewicz, L.: A Systematic Approach To Consistency Within Uml Based Software Development Process. In: Disponível Em, Kuzniarz, pp. 16–29 (2002)
IEEE: Standard For Software Maintenance. Software Engineering Standards Committee of The IEEE Computer Society (June 1998)
Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, K.: Workshop on Consistency Problems. In: Uml-Based Software Development, Uml 2002. Blekinge Institute of Technology. Research Report (2002)
Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, K.: Workshop on Consistency Problems. In: Uml-Based Software Development Ii. Uml 2003. Blekinge Institute of Technology. Research Report (2003)
OCL, Uml 2.0 Ocl Specification. Disponível Em (2009), http://Www.Omg.Org/Docs/Ptc/03-10-14.Pdf
Paduelli, M.M.: Manutenção De Software: Problemas Típicos E Diretrizes Para Uma Disciplina Específica, Usp – São Carlos (2007)
Peters, J.F.: Engenharia De Software. Tradução De Ana Patrícia Garcia. Campus, Rio De Janeiro (2001)
Pigoski, T.M.: Practical Software Maintenance. John Wiley & Sons, Chichester (1997)
Pressman, R.S.: Engenharia De Software. Tradução José Carlos Barbosa Dos Santos, 6th edn. Person Education Do Brasil, São Paulo (2006)
Sapna, P.G., Mohanty, H.: Ensuring Consistency In Relational Repository of Uml Models. In: 10th International Conference on Information Technology. IEEE, Los Alamitos (2007)
Rich, E., Knight, K.: Inteligência Artificial. Makron Books, São Paulo (1995)
Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, New Jersey (2003)
Schreiber, G.: Knowledge Engineering And Management. MIT Press, Cambridge (1999)
Sengupta, S., Bhattacharya, S.: Formalization of Uml Diagrams And Their Consistency Verification - A Z Notation Based Approach. In: ISEC 2008, Hyderabad, India, pp. 151–152 (2008)
Sommerville, I.: Engenharia De Software. In: Tradução André Maurício De Andrade Ribeiro, Addison Wesley, São Paulo (2003)
Waterman, D.A.: A Guide To Expert Systems. Addison Wesley Publishing Company, New York (1986)
Zapata, C.M., González, G., Gelbukh, A.: A Rule-Based System For Assessing Consistency Between Uml Models. In: Gelbukh, A., Kuri Morales, Á.F. (eds.) MICAI 2007. LNCS (LNAI), vol. 4827, pp. 215–224. Springer, Heidelberg (2007)
Zapata, C.M., González, G.: Especificación Formal En Ocl De Reglas De Consistencia Entre Los Diagramas De Clases Y Casos De Uso De Uml Y El Modelo De Interfaces. In: Revista Ingenieriás, Universidad De Medellín, Julio-Dicienbre, Año, vol. 6(12), pp. 169–191 (2008)
Zizman, A., Kozlenkov, A.: Knowledge Base Approach to Consistency Management of UML Specifications. In: City University, Department of Computing, London, UK. IEEE, Los Alamitos (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borba, C.F., da Silva, A.E.A. (2010). Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds) Advances in Artificial Intelligence – SBIA 2010. SBIA 2010. Lecture Notes in Computer Science(), vol 6404. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16138-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-16138-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16137-7
Online ISBN: 978-3-642-16138-4
eBook Packages: Computer ScienceComputer Science (R0)