Transformation of SBVR compliant business rules to executable FCL rules

Authors:
Aqueo Kamada;Guido Governatori;Shazia Sadiq
Affiliations:
CTI, Campinas, Brazil and Unicamp, FT, Limeira, Brazil;NICTA, Queensland Research Laboratory, Brisbane, Australia;The University of Queensland, ITEE, Brisbane, Australia
Venue:
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Year:
2010

Citing 3
Cited 0

An asynchronous rule-based approach for business process automation using obligations

Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions

WWW '03 Proceedings of the 12th international conference on World Wide Web
Compliance checking between business processes and business contracts

EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards which businesses are obligated to comply. At the same time, many organizations have their business processes specified independently of their business obligations (which include adherence to contracts laws and regulations). Thus, the problem of mapping business changes into computational systems becomes much more complicated. In this paper we address the problem by providing an automated transformation of business rules into a formal language capable of directly mapping onto executable specifications. The model transformation is consistent with MDA/MOF/QVT concepts using ATL to perform the mapping. Business rules are compliant to SBVR metamodel, and are transformed into FCL, a logic based formalism, known to have a direct mapping onto executable specifications. Both, source and target rules are based on principles of deontic logic, the core of which are obligations, permissions and prohibitions.