programų sistemų variantiškumo modelių, aprašytų požymių diagramomis, tyrimas

Programų sistemų variantiškumo modelių, aprašytų požymių diagramomis, tyrimas

1


Vadovas doc. dr. Robertas Damaševičius

Atliko IFM 4/2 gr. stud. Deividas Kreivys

2010 Deividas Kreivys IFM-4/2


2

Tikslas

Ištirti programų sistemų variantiškumo modelių, aprašytų požymių diagramomis (toliau – požymių modelių), specifikavimo, sintaksės validavimo, sudėtingumo įvertinimo ir konfigūravimo problemas.



3

Uždaviniai

Aprašyti realizuoto požymių diagramų sintaksės varianto metamodelį.

Ištirti požymių diagramų specifikavimo problemas kuriant požymių modeliavimo įrankį.

Ištirti požymių modelių sintaksės patikrinimo (validavimo) problemas.

Atlikti požymių modelių sudėtingumo įvertinimo tyrimą.

Ištirti požymių modelių konfigūravimo problemas.

Pateikti, aprašyti ir ištirti tiriamos sistemos variantiškumo modelį.



4

Požymių diagramų sintaksės varianto metamodelis


Būtinas Nebūtinas Ryšys (XOR)Požymis

Pasirenkamas (case -

pasirinkimas)

Pasirenkamas (OR-

pasirinkimas)

Reikalavimas (requires)

Požymis – tai savitas, charakteringas sistemos atributas.


5

Įrankių palyginimas


Savybė

Įrankis

Nemokamas XMI formatas

Programos kodo

generavimas

Eclipse įskiepis

Validavimas Susiejimas su UML

Kelios notacijs

Modelio konfigūravimas

Feature IDE + + + - + - - -XFeature + + + + + - + -Ecore / Feature Modelling Plug-in

+ + + + + - - -

Ecore Feature modelling plug-in

- - + + + - - -

RequiLine + + + + + - - -FAMA + + + + + - - -KumbangTools

+ + + + + - - -

pure::variants- + + + + - - -


6

Projektavimas

Apibrėžti funkciniai/nefunkciniai reikalavimai kuriamai sistemai;

Apibrėžtas statinis sistemos vaizdas; Aprašyta sistemos sudėtis (PA); Projektavimo metu buvo

projektuojamas įskiepis Eclipse sistemai.



7

Tyrimas

ištirtos požymių diagramų specifikavimo problemos,

identifikuotos požymių modelių validavimo problemos ir pasiūlytos taisyklės, leidžiančios suvaldyti ir neleisti įgyvendinti nekorektišką požymių modelį: Elementas negali turėti ryšio pats su savimi; Požymis negali turėti ryšio su aukštesnėje

hierarchijoje esančiu elementu; Pasirenkami „case“ arba „OR“ ryšiai turi turėti

bent vieną elementą 2010 Deividas Kreivys IFM-4/2


8

Tyrimas


realizuotos ir ištirtos 4 požymių modelių sudėtingumo vertinimo taisyklės, pagrįstos žmogaus sugebėjimu suprasti sistemos požymių modelį, Pasirinkimo taškai ( 7 +/- 2); Medžio gylis ( 7 +/- 2); Medžio žemesni medžiai (angl. sub-trees); Pagal Metcalfe tinklo galia ;

išskirtos pagrindinės požymių modelių konfigūravimo problemos ir pasiūlyti jų sprendimo būdai siekiant kuo labiau automatizuoti šį procesą: Privalomojo ryšio problema; XOR ryšio problema; Pasirenkamas elementas(case - pasirinkimas).


9

Ekspermentas

Realizuotas tiriamos sistemos modelis – požymių diagrama (elektroninės parduotuvės);

Ištirtas tyrimo metu apibrėžtų problemų pasiūlytų sprendimų būdų korektiškumas:▪ validavimo,▪ sudėtingumo vertinimo,▪ konfigūravimo.




Elektroninės parduotuvės pavyzdys


11

Sudėtingumo įvertinimas



13

Šiame magistriniame darbe buvo

išnagrinėti požymių diagramų sintaksės variantai,

ištirti egzistuojantys požymių diagramų braižymo ir požymių modeliavimo įrankiai, nustatyti jų privalumai ir trūkumai,

aprašytas požymių diagramų sintaksės varianto metamodelis,

remiantis aprašytu metamodeliu realizuotas požymių diagramų modeliavimo įrankis,

pasiūlyta programų sistemų produktų linijų projektavimo metodika.



14

IT2010

Magistrinio darbo rezultatai pristatyti tarptautinėje konferencijoje 16th Conference on Information and Software Technologies (IT 2010), vykusioje 2010 m. balandžio 21-23 d., Kaune



15

Ačiū už dėmesį


programų sistemų variantiškumo modelių, aprašytų požymių diagramomis, tyrimas

Documents