Consistency checking of UML business model

Abstract

Unified modelling language (UML) is often used in practice for modelling business system (BS) by various aspects. UML model of business system consists of different aspect models and their usage for information system (IS) design is related with inconsistency problem. It arises because ambiguous or even contradictory information are provided in different aspect models. The paper presents approach in ensuring UML model consistency. Several examples of consistency rules are included to the paper to illustrate how approach is working. Developed prototype of suggested approach is applied in a domain of enterprise manufacturing windows and doors. Obtained results are discussed.

Modeliuojant verslo sistemą įvairiais aspektais dažnai naudojama UML kalba. Verslo sistemos UML modelis yra sudarytas iš keleto skirtingų aspektų modelių, kurių naudojimas informacinei sistemai projektuoti yra susijęs su darnos pažeidimų problema. Ją lemia dviprasmiška ar netgi prieštaringa informacija, pateikta skirtingų aspektų modeliuose. Straipsnyje pristatomas UML modelio darnos užtikrinimo metodas. Pateikiama keletas darnos užtikrinimo taisyklių, siekiant iliustruoti pasiūlyto metodo veikimą. Sukurtas siūlomą darnos užtikrinimo metodą įgyvendinantis programinės įrangos prototipas taikomas langų ir durų gamybos įmonei modeliuoti. Straipsnyje pristatomi gauti testavimo rezultatai.