Advertisement

Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams

  • Cleverton Ferreira Borba
  • Ana Estela Antunes da Silva
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6404)

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.

Keywords

Software Maintenance UML Knowledge-Based Systems OCL Consistency 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Booch, G., Rumbaugh, J., Jacobson, I.: Uml – Guia Do Usuário, 10th edn. Editora Campus, Rio Dejaneiro (2000)Google Scholar
  2. 2.
    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
  3. 3.
    Durkin, J.: Expert Systems: Design And Development. Prentice-Hall, New Jersey (1994)zbMATHGoogle Scholar
  4. 4.
    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
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Hausmann, J., Sauer, S.: Extended Model Relations With Graphical Consistency Conditions. In: Disponível Em, Kuzniarz, pp. 61–74 (2002)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    IEEE: Standard For Software Maintenance. Software Engineering Standards Committee of The IEEE Computer Society (June 1998)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    OCL, Uml 2.0 Ocl Specification. Disponível Em (2009), http://Www.Omg.Org/Docs/Ptc/03-10-14.Pdf
  13. 13.
    Paduelli, M.M.: Manutenção De Software: Problemas Típicos E Diretrizes Para Uma Disciplina Específica, Usp – São Carlos (2007)Google Scholar
  14. 14.
    Peters, J.F.: Engenharia De Software. Tradução De Ana Patrícia Garcia. Campus, Rio De Janeiro (2001)Google Scholar
  15. 15.
    Pigoski, T.M.: Practical Software Maintenance. John Wiley & Sons, Chichester (1997)Google Scholar
  16. 16.
    Pressman, R.S.: Engenharia De Software. Tradução José Carlos Barbosa Dos Santos, 6th edn. Person Education Do Brasil, São Paulo (2006)Google Scholar
  17. 17.
    Sapna, P.G., Mohanty, H.: Ensuring Consistency In Relational Repository of Uml Models. In: 10th International Conference on Information Technology. IEEE, Los Alamitos (2007)Google Scholar
  18. 18.
    Rich, E., Knight, K.: Inteligência Artificial. Makron Books, São Paulo (1995)Google Scholar
  19. 19.
    Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, New Jersey (2003)zbMATHGoogle Scholar
  20. 20.
    Schreiber, G.: Knowledge Engineering And Management. MIT Press, Cambridge (1999)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    Sommerville, I.: Engenharia De Software. In: Tradução André Maurício De Andrade Ribeiro, Addison Wesley, São Paulo (2003)Google Scholar
  23. 23.
    Waterman, D.A.: A Guide To Expert Systems. Addison Wesley Publishing Company, New York (1986)Google Scholar
  24. 24.
    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)CrossRefGoogle Scholar
  25. 25.
    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)Google Scholar
  26. 26.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Cleverton Ferreira Borba
    • 1
  • Ana Estela Antunes da Silva
    • 2
  1. 1.Adventist Universitary Center of São Paulo – UNASPBrazil
  2. 2.Methodist University of Piracicaba - UNIMEPPiracicabaBrazil

Personalised recommendations