dc.contributor.author | Lebedys, Evaldas | |
dc.contributor.author | Vasilecas, Olegas | |
dc.date.accessioned | 2023-09-18T19:34:50Z | |
dc.date.available | 2023-09-18T19:34:50Z | |
dc.date.issued | 2005 | |
dc.identifier.issn | 1407-7493 | |
dc.identifier.other | (BIS)VGT02-000012026 | |
dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/141059 | |
dc.description.abstract | Every modelling language used to model business rules has to be formal enough and understandable for business people with no additional knowledge. Business rules models of different abstraction levels have to be created for business audience and for automated business rules implementation in software systems. The choice of modelling language may impact completeness, understandability and the level of formalization. This may also impact the process of transformation of created model to Information systems model. To create full and detail system model only diagrams are not enough. Specific complex systems logic cannot be described using only diagrams. We proposed to model business rules using formal logic sentences in this paper. | eng |
dc.format.extent | p. 34-40 | |
dc.format.medium | tekstas / txt | |
dc.language.iso | eng | |
dc.title | Representation of business rules using formal logic | |
dc.type | Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed source | |
dcterms.references | 0 | |
dc.type.pubtype | S4 - Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed publication | |
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 | Rīgas tehniskās universitātes zinātniskie raksti. 5 serija: Datorzinātne = Scientific proceedings of Riga Technical University. Serija 5: Computer science | |
dc.description.volume | Vol. 22 | |
dc.publisher.name | Riga Technical University | |
dc.publisher.city | Riga | |
dc.identifier.elaba | 3730366 | |