Representation of business rules using formal logic

Lebedys, Evaldas; Vasilecas, Olegas

Use this URL to cite this publication: https://hdl.handle.net/20.500.14911/141059

Representation of business rules using formal logic

Details

Publication Type (CRIS)

Straipsnis kitame recenzuojamame leidinyje / Article in other peer-reviewed edition (S5)

Publication Type (eLABa)

Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed publication (S4)

Author(s)

Author	Affiliation
Lebedys, Evaldas	Informacinių sistemų katedra / Department of Information Systems (1046)
Vasilecas, Olegas	Informacinių sistemų katedra / Department of Information Systems (1046)

Title

Representation of business rules using formal logic

[en]

E. Lebedys, O. Vasilecas

Is part of

Rīgas tehniskās universitātes zinātniskie raksti. 5 serija: Datorzinātne = Scientific proceedings of Riga Technical University. Serija 5: Computer science

Published In

Year	Volume	Start Page	End Page
2005	22	34	40

Publisher

Riga : Riga Technical University

Extent

p. 34-40

URI

URI
https://hdl.handle.net/20.500.14911/141059

Science / Art Area

Technologijos mokslai / Technological sciences (T)

Field of Science / Art

Informatikos inžinerija / Informatics engineering (T007)

Abstract (en)

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.