Detecting and fixing UML model inconsistencies using constraints
| Autor: | Mohamed Dahchour, Driss Allaki, Abdeslam En-Nouaary |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
UML tool
Matching (statistics) Computer science Programming language Computer Science::Software Engineering Applications of UML 020206 networking & telecommunications 020207 software engineering Context (language use) 02 engineering and technology computer.software_genre Software development process Consistency (database systems) Unified Modeling Language 0202 electrical engineering electronic engineering information engineering Data mining Software system computer computer.programming_language |
| Zdroj: | CIST |
| DOI: | 10.1109/cist.2016.7805060 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|