Transformations between UML and First Order Logic
2008
Jānis Birģelis

Ar katru dienu MDA pamatnostādnes kļūst aizvien populārākas programmatūras inženierijā. Lai arī viena no galvenajām idejām, ideja, ka programmatūru jāvar automātiski pārvērst no projektējuma modeļiem līdz izejas kodam un otrādi, vēl nav pilnībā realizēta, tomēr eksistē daudz iestrādes, kā to var realizēt daļēji. Piem., viena no populārākajām modelēšanas valodām, kas daļēji atbalsta šādu ideju ir UML. Šo valodu plaši lieto programmatūras projektu izstrādē. tā atbalsta daudz diagrammu, kas ļauj aprakstīt modelējamās programmas prasības no dažādiem skatupunktiem. Bet lai apgalvotu, ka uML atbalstītu MDA pamatnostādnes pilnībā, nepieciešams izstrādāt iespēju veikt transformāciju starp UML diagrammām un izpildes kodu pilnībā. Eksistējošās transformācijas galvenokārt nodrošina automātisku programmatūras struktūras izveidi, tomēr tai būtu jāvar izstrādātos modeļus pilnībā transformēt izejas kodā. Šāda transformācijas attiecināmā uz mākslīgā intelekta jomu, kur, kā mēs zinām, jautājumu joprojām ir vairāk nekā atbilžu. Pirmkārt, UML diagrammas būtu jāvar formalizēt, lai dators spētu tās saprast viennozīmīgi. Pēc tam būtu jāizstrādā tāds algoritms, kas spētu veikt šāda tipa transformāciju. Šajā rakstā ietvertas idejas, kā dažas no UML diagrammām, tādas kā klases diagramma, stāvokļa diagramma un sadarbības diagrammas, var tika transformētas pirmās - kārtas izteiksmēs. Savukārt iegūtās pirmās - kārtas loģikas izteiksmes varētu tikt pielietotas dažāda veida programmatūras sintezatoros, lai iegūtu pilnībā izpildāmu kodu.


Atslēgas vārdi
UML, program synthesis, first order logic, formalization

Birģelis, J. Transformations between UML and First Order Logic. Lietišķās datorsistēmas. Nr.34, 2008, 92.-101.lpp. ISSN 2255-8683.

Publikācijas valoda
English (en)
RTU Zinātniskā bibliotēka.
E-pasts: uzzinas@rtu.lv; Tālr: +371 28399196