UML modelių tikrinimo taisyklės ir jų įgyvendinimas
Baigiamajame magistro darbe nagrinėjama gaunamų nedarnių sistemos modelių aprašymo problema. Darbu siekiama patobulinti UML modelių darnos užtikrinimą. Darbe pateikta UML modelių darnos analizė bei dviejų projektavimo įrankių (MagicDraw ir Eclipse) analizė ir palyginimas pagal skirtingus kriterijus. Darbe sudarytas darnos taisyklių rinkinys iš 54 taisyklių ir pasiūlytos 7 naujos darnos taisyklės. Sudarytas darnos taisyklių rinkinys parašytas formalia OCL kalba ir atliktas eksperimentas, kuriuo metu realizuotos šios taisyklės dviejuose projektavimo įrankiuose: MagicDraw 17.0.5 ir Eclipse Kepler 4.3.2. Eksperimentas parodė, kad įrankyje MagicDraw nebuvo galimybės realizuoti visų taisyklių, nes įrankis palaiko ne visas OCL 2.0 funkcijas. Tačiau realizuotų taisyklių pagalba galima efektyviau užtikrinti UML modelių darną. Darbą sudaro įvadas, trys skyriai, išvados ir rezultatai, literatūros sąrašas bei priedas. Darbo apimtis - 55 p. teksto be priedų, 16 iliustr., 21 lent., 46 bibliografiniai šaltiniai. Atskirai pridedami darbo priedai.
The thesis tackles the problem of inconsistency in the models of information systems. The main goal of this work is to improve the consistency of UML models. For this reason, the thesis analyses consistency of UML models and compares consistency capabilities in two selected design tools. The thesis presents single collection of consistency rules which is made of 54 rules and proposes 7 new consistency rules. Consistency rules collection was written in OCL language and experiment was performed by implementing the collection of consistency rules in the two design tools: MagicDraw 17.0.5 and Eclipse Kepler 4.3.2.The results of experiment shows that not all OCL2.0 features are supported in the current release of MagicDraw, however the implemented rules effectively ensure consistency of UML models. Thesis consists of: introduction, 3 sections, conclusions and results, references. The size of the thesis - 55 pg. of text without appendixes, 16 illustrations, 21 tables, 46 bibliographic sources. Appendixes are attached separately.