A guide to expert systems
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Practical Software Maintenance: Best Practices for Managing Your Software Investment
Practical Software Maintenance: Best Practices for Managing Your Software Investment
Expert Systems: Design and Development
Expert Systems: Design and Development
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Ensuring Consistency in Relational Repository of UML Models
ICIT '07 Proceedings of the 10th International Conference on Information Technology
Formalization of UML diagrams and their consistency verification: A Z notation based approach
ISEC '08 Proceedings of the 1st India software engineering conference
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
A rule-based system for assessing consistency between UML models
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
| Hi-index | 0.00 |
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.