Modeling Semantics of Business Rules

“…(Mitra and Chittimalli, 2017) presents a survey showing the present state of research for this problem. Conversion of SBVR based business rules to ontologies and then using reasoners to identify anomalies is an approach that has been presented by (Ceravolo et al, 2007;Karpovič et al, 2016;Reynares et al, 2014;Solomakhin et al, 2013). Most of these works fail to show the efficiency and completeness of their approach, and results on real life complex business rules.…”

Section: Related Workmentioning

confidence: 99%

Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2

Mitra¹,

Anand²,

Chittimalli³

2018

Proceedings of the 20th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

In modern times, business rules have grown exponentially with enterprises becoming more complex in diverse fields. Due to this growth, different forms of anomalies creep into the business rules, causing business enterprise to take wrong decisions, which can impact it's performance and reputation. It is time and resource consuming to examine the rules manually due to the large number of rules intermingled with each other. The process of manual verification is also not free of human induced errors. Thus, automatic verification of business rules is the need of the hour. We present a tool to detect different anomalies in business rules represented in SBVR format. The tool uses a combination of Directed Graphs and SMT solvers to perform the verification task. We show the implementation of our tool along with it's evaluation on industry level benchmarks.

show abstract

“…Ontology to model the context / vocabularies Ontology diagram will come here : Task, resource, constraint Dataitem, TaskReRelatinship, TaskConstraintRelationship, Unfortunately the Decidable fragment of firt-order-language that can be expressed with OWL-DL is too limited to Rules to model the, there Horn rules like SWRL but not defeasible therefore DeLP based rules for capturing defeasible nature and argumentation formalsim to resolve conflicts [7] V. CONCLUSION Business Rules offer a flexible, adaptive approach towards applications development on a high level of abstraction, declarative rules languages have already been developed by different communities and deployed variety of semantic web applications as well as in traditional IT systems. Companies manage and specify their business logic in the form of rules .…”

Section: Conflict Identification and Resoulution Among Recommednatmentioning

confidence: 99%