Realization of business rules represented using formal logic sentences in information systems
The paper deals with the problems of creating business rules model that would be formal enough for automated transformation to Information systems model and realization in program systems. There are many modelling languages and diagrams suitable to model business rules of different classes, but the...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2004-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/31697 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593232952819712 |
|---|---|
| author | Evaldas Lebedys Olegas Vasilecas |
| author_facet | Evaldas Lebedys Olegas Vasilecas |
| author_sort | Evaldas Lebedys |
| collection | DOAJ |
| description |
The paper deals with the problems of creating business rules model that would be formal enough for automated transformation to Information systems model and realization in program systems. There are many modelling languages and diagrams suitable to model business rules of different classes, but there is no one ideal. Every modeling language used to model business rules has to be formal enough and understandable for business people with no additional knowledge. 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. In this work it is proposed to model business rules using formal logic sentences.
|
| format | Article |
| id | doaj-art-ee16b6a789ae4f39a8fb67ff6dcc87e5 |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2004-12-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-ee16b6a789ae4f39a8fb67ff6dcc87e52025-01-20T18:17:06ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2004-12-0144spec.10.15388/LMR.2004.31697Realization of business rules represented using formal logic sentences in information systemsEvaldas Lebedys0Olegas Vasilecas1Vilnius Gediminas Technical University Vilnius Gediminas Technical University The paper deals with the problems of creating business rules model that would be formal enough for automated transformation to Information systems model and realization in program systems. There are many modelling languages and diagrams suitable to model business rules of different classes, but there is no one ideal. Every modeling language used to model business rules has to be formal enough and understandable for business people with no additional knowledge. 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. In this work it is proposed to model business rules using formal logic sentences. https://www.journals.vu.lt/LMR/article/view/31697business rule modelbusiness rule representationformal logic |
| spellingShingle | Evaldas Lebedys Olegas Vasilecas Realization of business rules represented using formal logic sentences in information systems Lietuvos Matematikos Rinkinys business rule model business rule representation formal logic |
| title | Realization of business rules represented using formal logic sentences in information systems |
| title_full | Realization of business rules represented using formal logic sentences in information systems |
| title_fullStr | Realization of business rules represented using formal logic sentences in information systems |
| title_full_unstemmed | Realization of business rules represented using formal logic sentences in information systems |
| title_short | Realization of business rules represented using formal logic sentences in information systems |
| title_sort | realization of business rules represented using formal logic sentences in information systems |
| topic | business rule model business rule representation formal logic |
| url | https://www.journals.vu.lt/LMR/article/view/31697 |
| work_keys_str_mv | AT evaldaslebedys realizationofbusinessrulesrepresentedusingformallogicsentencesininformationsystems AT olegasvasilecas realizationofbusinessrulesrepresentedusingformallogicsentencesininformationsystems |