| dc.contributor.author | Vasilecas, Olegas | |
| dc.contributor.author | Lebedys, Evaldas | |
| dc.date.accessioned | 2023-09-18T19:29:23Z | |
| dc.date.available | 2023-09-18T19:29:23Z | |
| dc.date.issued | 2005 | |
| dc.identifier.issn | 0132-2818 | |
| dc.identifier.other | (BIS)VGT02-000011511 | |
| dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/139976 | |
| dc.description.abstract | Paskutiniu metu vykdoma daug tyrimų informacinių sistemų modeliavimo verslo taisyklių požiūriu kryptimi. Sistemų modeliavimas taisyklių požiūriu naudingas, siekiam 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. | lit |
| dc.format.extent | p. 174-179 | |
| dc.format.medium | tekstas / txt | |
| dc.language.iso | eng | |
| dc.relation.isreferencedby | Zentralblatt MATH (zbMATH) | |
| dc.relation.isreferencedby | VINITI | |
| dc.relation.isreferencedby | MathSciNet | |
| dc.title | The use of formal languages for business rules realization in information systems | |
| dc.title.alternative | Formalių kalbų panaudojimas verslo taisyklų realizacijai informacinėse sistemose | |
| dc.type | Straipsnis kitoje DB / Article in other DB | |
| dcterms.references | 12 | |
| dc.type.pubtype | S3 - Straipsnis kitoje DB / Article in other DB | |
| dc.contributor.institution | Vilniaus Gedimino technikos universitetas | |
| dc.contributor.faculty | Fundamentinių mokslų fakultetas / Faculty of Fundamental Sciences | |
| dc.subject.researchfield | T 007 - Informatikos inžinerija / Informatics engineering | |
| dcterms.sourcetitle | Lietuvos matematikos rinkinys | |
| dc.description.issue | spec, nr | |
| dc.description.volume | T. 45 | |
| dc.publisher.name | Matematikos ir informatikos institutas | |
| dc.publisher.city | Vilnius | |
| dc.identifier.elaba | 3722292 | |
