The approach of ensuring consistency of UML model based on rules

Authors:
Ruta Dubauskaite;Olegas Vasilecas
Affiliations:
Vilnius Gediminas Technical University;Vilnius Gediminas Technical University
Venue:
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Year:
2010

Citing 7
Cited 0

Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives

Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives
Fixing Inconsistencies in UML Design Models

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach

QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Reliable UML Models and Profiles

Electronic Notes in Theoretical Computer Science (ENTCS)
A Language-Theoretic View on Guidelines and Consistency Rules of UML

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A systematic review of UML model consistency management

Information and Software Technology
Ensuring UML Models Consistency Using the OCL Environment

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract

Expressing information system (IS) through multiple models is related with inconsistency problem, sometimes ambiguous or even contradictory information are provided in different aspect models. Unified modelling language (UML) is often used in practice for modelling IS. The most analysed approaches of ensuring consistency of UML model use constraints for one semi-formal aspect model. Constraints on relationships of different aspect models are included in approaches that use formal languages. But formal models are often not enough understandable for software engineers. We suggest the approach of ensuring consistency of UML model based on rules among different aspect models and one aspect model. The software prototype supporting suggested approach is presented.