ORM taisyklingumo taisyklių formalus specifikavimas ir verifikavimas, naudojant MDA priemonę
Baigiamajame magistro darbe nagrinėjama objekto vaidmenų modeliavimo (ORM) būdo taisyklingų modelių sudarymo problema. Darbu siekiama patobulinti taisyklingą ORM modeliavimą ir pasiūlyti taisyklingo modeliavimo užtikrinimą priemonėje. Darbe nagrinėjami ORM modeliavimo principai bei išskiriamos taisyklingo modeliavimo taisyklės. Išnagrinėjus formalius taisyklingumo taisyklių pateikimo būdus, formuluojami reikalavimai taisyklių pateikimo būdui. Remiantis suformuluotais reikalavimais, objektų ribojimų kalba (OCL) formaliai specifikuojamos taisyklingo ORM modeliavimo taisyklės bei pasiūlomas jų įgyvendinimo būdas MDA palaikančioje priemonėje. Atliktu eksperimentu parodoma, jog siūlomas būdas yra tinkamas taisyklėms įgyvendinti modeliavimo priemonėje. Remiantis atlikta literatūros analize ir eksperimento rezultatais, pateikiamos darbo išvados.Darbą sudaro septynios dalys: įvadas, ORM modeliavimo būdo nagrinėjimas, formalus taisyklingumo taisyklių specifikavimas, formaliai specifikuotų taisyklių įgyvendinimo aprašymas, darbo rezultatų aptarimas, išvados ir galimos tolimesnių tyrimų kryptys bei literatūros sąrašas.Darbo apimtis: 79 psl. teksto be priedų, 70 paveikslų, 2 lentelės, 58 bibliografiniai šaltiniai. Atskirai pateikiami darbo priedai.
The problem of final work is a well-formedness of object role modeling. The main aim of this work is to improve well-formed object role modeling and to provide a method of implementation of well-formedness rules in modeling tool. In order to achieve improvement, research considered on principles and well-formedness rules of object role modeling method. Requirements of presentation of well-formedness rules are proposed and the formal specification of well-formedness rules expressed in object constraint language is introduced. The formal specification of well-formedness rules of object role modeling is implemented in prototype tool thus showing a feasibility of proposed method.The structure of the work: introduction, principles of object role modeling, the formal specification of well-formedness rules of object role modeling method, the implementation of the specified rule, conclusion and references.This work consists of: 79 pages of text without appendixes, 70 pictures, 2 tables, 58 references. Appendixes are included.