The use of formal languages for business rules realisation in information systems

Olegas Vasilecas; Evaldas Lebedys

doi:10.15388/LMR.2005.26586

Straipsniai

Olegas Vasilecas

Vilniaus Gedimino technikos universitetas

Evaldas Lebedys

Vilniaus Gedimino technikos universitetas

Publikuota 2005-12-18

https://doi.org/10.15388/LMR.2005.26586

PDF

Kaip cituoti

Vasilecas, O. and Lebedys, E. (2005) “Formalių kalbų panaudojimas verslo taisyklių realizacijai informacinėse sistemose”, Lietuvos matematikos rinkinys, 45(spec.), pp. 174–179. doi:10.15388/LMR.2005.26586.

Atsisiųsti citatą

Santrauka

Paskutiniu metu vykdoma daug tyrimų informacinių sistemų modeliavimo verslo taisyklių požiūriu kryptimi. Sistemų modeliavimas taisyklių požiūriu naudingas, siekiant automatizuoti programų sistemų kūrimo procesą. Literatūroje vyrauja nuomonė, kad nėra vienos modeliavimo kalbos, tinkančios sukurti išsamų koncepcinį dalykinės srities modelį ir aprašyti visų klasių verslo taisykles. Norint automatizuoti programų sistemų kūrimo procesą, reikalinga formali verslo taisyklių specifikacija, tinkama tolimesniam automatizuotam apdorojimui. Darbe siūlome informacijos apdorojimo taisykles užrašyti naudojant pirmos eilės predikatų logikos sakinius. Darbe pavaizduota, kaip skirtingose UML diagramose pavaizduotos verslo taisyklės gali būti išreikštos formaliai, tai yra pateikti sintaksiniai šablonai suformuoti naudojant pirmos eilės predikatų logikos konstrukcijas

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Olegas Vasilecas, Vladimir Avdejenkov, Taisyklių sistemų integracijos į įmonės verslo valdymo sistemas problemos ir sprendimai , Lietuvos matematikos rinkinys: T 47 (2007)
Justas Trinkūnas, Olegas Vasilecas, Dalykinės srities ontologijos transformacija į koncepcinį modelį , Lietuvos matematikos rinkinys: T 47 (2007)
Olegas Vasilecas, Diana Būgaitė, Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles , Lietuvos matematikos rinkinys: T 47 (2007)
Olegas Vasilecas, Diana Būgaitė, Įvykių modeliavimas verslo taisyklėmis grindžamų informacinių sistemų kūrimo procese , Lietuvos matematikos rinkinys: T 45 (2005)
Lauras Čeponis, Olegas Vasilecas, Verslo taisyklių repozitorijaus kūrimas panaudojant atviro kodo sistemas , Lietuvos matematikos rinkinys: T 45 (2005)
Olegas Vasilecas, Algis Saulis, Rimvydas Nogis, Aktyvaus XML panaudojimas informacinių sistemų studijų programos rengime , Lietuvos matematikos rinkinys: T 43 (2003)
Olegas Vasilecas, Vladimir Avdejenkov, Verslo taisyklių sistemų modeliavimas UML ir jų realizacijos reliacinėse DBVS analizė , Lietuvos matematikos rinkinys: T 44 (2004)
Evaldas Lebedys, Olegas Vasilecas, Verslo taisyklių, pavaizduotų formalios logikos sakiniais, realizacija informacinėse sistemose , Lietuvos matematikos rinkinys: T 44 (2004)
Olegas Vasilecas, Algis Saulis, Valdas Sinkevičius, Saulius Dereškevičius, Rimgaudas Stanislovas Vaičiulis, Aktyvių užklausų kalbų panaudojimas verslo taisyklių realizacijai , Lietuvos matematikos rinkinys: T 44 (2004)
Sergejus Sosunovas, Olegas Vasilecas, Verslo taisyklių modeliavimas OCL kalba , Lietuvos matematikos rinkinys: T 44 (2004)

1 2 > >>