论文信息 - SBVR based Business Contract and Business Rule IDE

SBVR based Business Contract and Business Rule IDE

We propose an IDE ± Integrated Development Environment to model SBVR (Semantic of Business Vocabulary and Business Rule) compliant business rules (2) extracted from business contract of services and store them in an ontological structure of rules, facts and terms as defined in the SBVR metamodel. Business rules are based on principles of deontic logic for treating expressions in the form of normative policies. Deontic constraints express what parties to the contract are required to perform (obligations), what they are allowed to do (permissions), or what they are not allowed to do (prohibitions).

Shazia Wasim Sadiq | Guido Governatori | Aqueo Kamada

[1] Guido Governatori,et al. Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[2] Shazia Wasim Sadiq,et al. Transformation of SBVR Compliant Business Rules to Executable FCL Rules , 2010, RuleML.

[3] Guido Governatori,et al. A Formal Analysis of a Business Contract Language , 2006, Int. J. Cooperative Inf. Syst..

[4] P. J. Fitzgerald,et al. Law and Logic , 1964 .

[5] Sieghard Beller,et al. Deontic norms, deontic reasoning, and deontic conditionals , 2008 .

[6] Shazia Wasim Sadiq,et al. Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[7] Aqueo Kamada,et al. Ontology Based Business Rules and Services Integration Environment , 2011 .