Article

Transformation of SBVR compliant business rules to executable FCL rules

Authors:

Guido Governatori,

Shazia SadiqAuthors Info & Claims

RuleML'10: Proceedings of the 2010 international conference on Semantic web rules

Pages 153 - 161

Published: 21 October 2010 Publication History

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.

References

[1]

Hildreth, S.: Rounding Up Business Rules. Computer World Software. ID (2005).

[2]

OMG, MDA Guide Version 1.0.1 (2003), http://www.omg.org/cgi-bin/doc?omg/03-06-01 (access in March/2010).

[3]

OMG Semantics of Business Vocabulary and Business Rules (SBVR), v1.0 OMG Available Specification (2008), http://www.omg.org/spec/SBVR/1.0/PDF/ (access in March/2010).

[4]

Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. The 10th International Enterprise Distributed Object Computing Conference - EDOC, Hong Kong, pp. 221-232 (2006).

Digital Library

[5]

Beller, S.: Deontic norms, deontic reasoning, and deontic conditionals. Thinking & Reasoning 14(4), 305-341 (2008).

[6]

ATLAS group, LINA, INRIA, ATL: Atlas Transformation Language ATL User Manual - version 0.7, Nantes (2006).

[7]

OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, version 1.0 (2008).

[8]

OMG, MOF 2.0/XMI Mapping Specification, v2.1.1 (2005), http://www.omg.org/ cgi-bin/doc?formal/2007-12-01/ (access in March/2010).

[9]

Kamada, Service Execution based on Business Rules, PhD Thesis in Computing Engineering, Unicamp, Campinas, Brazil (2006).

[10]

Kamada, A.F., Rodrigues, M.: Ontology based Business Rules and Services Integration Environment. In: Ajeeli, A.T.A., Al-bastaki, Y.A.L., Abu-tayeh, J. (eds.) Handbook of Research on E-services in the Public Sector: E-government Strategies and Advancements. Information Science Publishing, United Kingdom (March 2010).

[11]

Governatori, G., Milosevic, Z.: A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems (IJCIS) 15(4), 659-685 (2006).

[12]

Governatori, G.: Representing business contracts in RuleML. Int. J. of Cooperative Inf. Sys. 14(2-3), 181-216 (2005).

[13]

Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215 (2006).

[14]

Kanger, S.: Law and logic. Theoria 38, 105-132 (1972).

[15]

Kabilan, V.: Contract Workflow Model Patterns Using BPMN, FORUM 100, Kista, Sweden (2005).

[16]

Grosof, B.N., Poon, T.C.: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In: Proc. 12th International Conference on World Wide Web, Budapest, Hungary, pp. 340-349 (2003).

Digital Library

[17]

Abrahams, D.E., Bacon, J.: An asynchronous rule-based approach for business process automation using obligations. In: Proc. ACM SIGPLAN Workshop on Rule-based Programming, Pittsburgh, USA, pp. 93-103 (2002).

Digital Library

Cited By

Sunkle SKholkar DKulkarni VLethbridge T(2015)Model-driven regulatory complianceProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351788(436-445)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351788

Transformation of SBVR compliant business rules to executable FCL rules
1. Applied computing
  1. Enterprise computing

Recommendations

A transformation from SBVR business rules into event coordinated rules by means of SBVR patterns
ServiceWave'10: Proceedings of the 2010 international conference on Towards a service-based internet

SBVR is becoming more and more popular as the metamodel for defining vocabulary based business rules. In an extended form SBVR can be used to declare a whole spectrum of business rules including control-flow and organizational rules. Enforcing the rules ...
Verbalising R2ML Rules into SBVR
SYNASC '08: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Nowadays, business rules receive a lot of attentionfrom both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our paper is to raise the level of business logic abstraction with the help of ...
Domain-independent method of detecting inconsistencies in SBVR-based business rules
ForMABS 2016: Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Traditionally, business rules are expressed informally in English, captured eventually, as a part of UML use-cases. Detecting anomalies in business rules is extremely difficult to automate, due to their informal nature, and manually error-prone due to ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

RuleML'10: Proceedings of the 2010 international conference on Semantic web rules

October 2010

305 pages

ISBN:3642162886

Editors:
Mike Dean
Raytheon BBN Technologies, Ann Arbor, MI
,
John Hall
Model Systems, London, UK
,
Antonino Rotolo
University of Bologna, CIRSFID, Bologna, Italy
,
Said Tabet
Inferware Corporation, Natick, MA

Sponsors

BBN Technologies
Model Systems: Model Systems
VULCAN Inc.
Franz, Inc.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 21 October 2010

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sunkle SKholkar DKulkarni VLethbridge T(2015)Model-driven regulatory complianceProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351788(436-445)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351788

View Options

View options

Figures

Tables

Media

View Table of Conten