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

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.

[1]  Alex Goodall,et al.  The guide to expert systems , 1985 .

[2]  Reiko Heckel,et al.  Extended Model Relations with Graphical Consistency Conditions , 2002 .

[3]  Ilkhyu Ha,et al.  Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram , 2008, IDEAL.

[4]  Nigel Shadbolt,et al.  Knowledge Engineering and Management , 2000 .

[5]  Carolyn Seaman,et al.  Practical Software Maintenance , 2000, J. Softw. Maintenance Res. Pract..

[6]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[7]  Miquel Barceló,et al.  Inteligencia Artificial , 2001 .

[8]  Miroslaw Staron,et al.  Workshop on "Consistency Problems in UML-based Software Development II" , 2003 .

[9]  John Durkin,et al.  Expert systems - design and development , 1994 .

[10]  Mateus Maida Paduelli.  Manutenção de Software: problemas típicos e diretrizes para uma disciplina específica , 2007 .

[11]  Andrea Zisman,et al.  Knowledge base approach to consistency management of UML specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[12]  O. Fernando.  Engenharia de Software , 2006 .

[13]  Sabnam Sengupta,et al.  Formalization of UML diagrams and their consistency verification: A Z notation based approach , 2008, ISEC '08.

[14]  C. Zapata,et al.  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 , 2008 .

[15]  Mohamed E. Fayad.  Software Maintenance , 2005, IEEE Softw..

[16]  Ilkyu Ha,et al.  Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules , 2003, 2003 IEEE Pacific Rim Conference on Communications Computers and Signal Processing (PACRIM 2003) (Cat. No.03CH37490).

[17]  Alexander Gelbukh,et al.  MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings , 2007, MICAI.

[18]  Yannis Tzitzikas.  OCL: Object Constraint Language , 2005 .

[19]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[20]  Carlos Mario Zapata Jaramillo,et al.  A Rule-Based System for Assessing Consistency Between UML Models , 2007, MICAI.

[21]  Thomas M. Pigoski.  Practical Software Maintenance: Best Practices for Managing Your Software Investment , 1996 .

[22]  Hrushikesha Mohanty,et al.  Ensuring Consistency in Relational Repository of UML Models , 2007, 10th International Conference on Information Technology (ICIT 2007).