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.

No abstract

No abstract

Unified Modelling Language allows modelling different aspects of information system through the various diagrams it supports. Expression of an information system through class, state, and other models is related to the problem of checking consistency among different aspect Unified Modelling Language models. Consistency means that two or more overlapping elements of different aspect models match each other. Approaches of checking Unified Modelling Language models are based on rules. Most of consistency rules are ambiguous, do not conform OMG Unified Modelling Language 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.

Projektuodami informacinę sistemą sukuriame skirtingus modelius pagal duomenis, procesus ir kitus aspektus. Šiuo atveju yra rizika, kad sistemos specifi kacijoje bus darnos pažeidimų dėl tarpusavyje nesuderintų modelių. Darnūs ir neprieštaringi modeliai yra reikalingi tolesniam pradinių modelių transformavimui ir galiausiai programinio kodo generavimui. Taigi yra svarbu užtikrinti modelių darną. Taikant objektinių sistemų kūrimo metodus darnos užtikrinimo problema sprendžiama apribojant kiekvieno aspekto, pavyzdžiui, duomenų, procesų ir kitų, modelius. Tačiau dviejų ir daugiau skirtingų aspektų modelių ribojimai nėra apibrėžti išreikštiniu būdu. Šiame darbe siūloma išplėsti ribojimais grindžiamą modelių darnos užtikrinimo būdą, papildant jį objektinių modelių darnos taisyklėmis. Darnos taisyklė šiame kontekste apibrėžia ryšių tarp skirtingų aspektų modelių elementų ribojimus. Pasiūlytas objektinių modelių darnos užtikrinimo būdas yra iliustruojamas knygų bibliotekos dalykinės srities pavyzdžiu. Ensuring Models Consistency in the OMT, Booch, and OOSE Object-Oriented MethodsRūta Dubauskaitė, Olegas Vasilecas SummaryModelling of information systems (IS) involves development of different models that present various aspects of a system, like the static structure, behaviour, etc. Expression of an IS through various models is related to the problem of ensuring of different models consistency, which is very important for IS design, models transformation and fi nally code generation tasks. Restriction of IS models can help to solve the problem of models inconsistency. However, constraints defi ned in the OMT, OOSE, Booch object-oriented methods are suitable only for one model and at that point constraints of models relationships are not defi ned explicitly. Hence the authors of the paper suggest the approach for extension of an ensuring consistency, based on semi-formal models with constraints, by adding the consistency rules to object-oriented IS models. Consistency rules are directed to constrain relationships of different aspect models. The proposed approach is illustrated by a case study in a digital library domain.