Transformation of SBVR compliant business rules to executable FCL rules

Kamada, A, Governatori, G and Sadiq, S (2010). Transformation of SBVR compliant business rules to executable FCL rules. In: Semantic Web Rules: International Symposium, RuleML 2010. RuleML 2010: The 4th International Web Rule Symposium. Research Based and Industry Focused, Washington, DC, U.S.A., (153-161). 21-23 October 2010. doi:10.1007/978-3-642-16289-3_14


Author Kamada, A
Governatori, G
Sadiq, S
Title of paper Transformation of SBVR compliant business rules to executable FCL rules
Conference name RuleML 2010: The 4th International Web Rule Symposium. Research Based and Industry Focused
Conference location Washington, DC, U.S.A.
Conference dates 21-23 October 2010
Proceedings title Semantic Web Rules: International Symposium, RuleML 2010   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2010
Sub-type Fully published paper
DOI 10.1007/978-3-642-16289-3_14
ISBN 9783642162886
3642162886
9783642162893
3642162894
ISSN 0302-9743
Volume 6403
Start page 153
End page 161
Total pages 9
Collection year 2011
Language eng
Formatted Abstract/Summary
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.
© Springer-Verlag Berlin Heidelberg 2010
Keyword Business contract
Business rule transformation
SBVR
FCL
MDA
References Presented during the Track "Rule Transformation and Extraction".
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 10 Mar 2011, 09:57:01 EST by Professor Shazia Sadiq on behalf of School of Information Technol and Elec Engineering