Abstract
Complex software systems are often modeled as a collection of related UML diagrams, each of which describes particular aspects of the system being investigated. These diagrams might contain inconsistencies due to the evolving nature of software systems and to the refinement of the models across the software life cycle. It is so mandatory to discover the potential inconsistencies in UML models as soon as possible before implementing the system. This paper proposes a method for checking the consistency of UML models, based on formal constraints defined at the meta-model of UML. These constraints are described using EVL (Epsilon Validation Language) by matching related diagrams features at the meta-level. EVL also helps repair and correct the inconsistencies being detected. Our method is easily automated and is complete in terms of coverage of both potential inconsistencies and the UML diagrams commonly used.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
