Business rules modeling using OCL

Business rules are important components of every business system. Therefore creating information systems aimed to support business it is important to specify business rules unambiguously. Formal specification languages have different power specifying business rules of different types. This work arg...

Full description

Saved in:
Bibliographic Details
Main Authors: Sergejus Sosunovas, Olegas Vasilecas
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/31945
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832593199463399424
author Sergejus Sosunovas
Olegas Vasilecas
author_facet Sergejus Sosunovas
Olegas Vasilecas
author_sort Sergejus Sosunovas
collection DOAJ
description Business rules are important components of every business system. Therefore creating information systems aimed to support business it is important to specify business rules unambiguously. Formal specification languages have different power specifying business rules of different types. This work argues that formal language OCL powerful enough to specify business rules of main types.
format Article
id doaj-art-75158b14802f46eda3dd4948bbedcf6d
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-75158b14802f46eda3dd4948bbedcf6d2025-01-20T18:16:48ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2004-12-0144spec.10.15388/LMR.2004.31945Business rules modeling using OCLSergejus Sosunovas0Olegas Vasilecas1Vilnius Gediminas Technical UniversityVilnius Gediminas Technical University Business rules are important components of every business system. Therefore creating information systems aimed to support business it is important to specify business rules unambiguously. Formal specification languages have different power specifying business rules of different types. This work argues that formal language OCL powerful enough to specify business rules of main types. https://www.journals.vu.lt/LMR/article/view/31945business rulesOCLinformation systemsbusiness systemsformal specification languages
spellingShingle Sergejus Sosunovas
Olegas Vasilecas
Business rules modeling using OCL
Lietuvos Matematikos Rinkinys
business rules
OCL
information systems
business systems
formal specification languages
title Business rules modeling using OCL
title_full Business rules modeling using OCL
title_fullStr Business rules modeling using OCL
title_full_unstemmed Business rules modeling using OCL
title_short Business rules modeling using OCL
title_sort business rules modeling using ocl
topic business rules
OCL
information systems
business systems
formal specification languages
url https://www.journals.vu.lt/LMR/article/view/31945
work_keys_str_mv AT sergejussosunovas businessrulesmodelingusingocl
AT olegasvasilecas businessrulesmodelingusingocl