Method on Specifying Consistency Rules among Different Aspect Models, expressed in UML
Keywords:Consistency, modelling, rules, UML
Unified Modelling Language (UML) allows modelling different aspects of information system (IS) through the various diagrams it supports. Expression of an IS through class, state, sequence and other models is related to the problem of checking consistency among different aspect UML models. Consistency means that two or more overlapping elements of different aspect models match each other. Approaches of checking UML models are based on rules. Most of consistency rules are ambiguous, do not conform OMG UML metamodel and sometimes are meaningless. In order to improve consistency of different aspect models, the approach of checking consistency is proposed, paying a special attention on requirements of consistency rules. Example of consistency rule and experiments are presented. Ill. 2, bibl. 24, tabl. 3 (in English; abstracts in English and Lithuanian).
How to Cite
Authors retain copyright and grant the journal the right of the first publication with the paper simultaneously licensed under the Creative Commons Attribution 4.0 (CC BY 4.0) licence.
Authors are allowed to enter into separate, additional contractual arrangements for the non-exclusive distribution of the paper published in the journal with an acknowledgement of the initial publication in the journal.
Copyright terms are indicated in the Republic of Lithuania Law on Copyright and Related Rights, Articles 4-37.