The approach of ensuring consistency of UML model based on rules

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.