Improving the quality of rule-based applications using the declarative verification approach

Lukichev, Sergey

doi:10.1504/ijkedm.2011.037646

Cited by 12 publications

(7 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We use the generated SMT-LIbv2 formulas to detect the pair of subsuming rules involving quantifications in business rule set. A formula F subsumes another formula F (F F ) if for each interpretation I, I |= F implies I |= F (Lukichev, 2010). We use this definition to devise our verification approach of detecting subsumption.…”

Section: Redundancy : Subsuming and Duplicate Rules Detetctionmentioning

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

Section: Redundancy : Subsuming and Duplicate Rules Detetctionmentioning

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

show abstract

“…Some approaches on testing knowledge systems use the ideas of rule-based development [54,44,34,6], however, we know of no papers that investigated races in RAPs using the fundamental notion of separation of concern like we do in PERLATO. A related area of research investigates checking consistency and completeness of rule-based expert systems [57,50,19]. An idea of using control and data flow in testing RAPs was proposed by Barr [7], but it was never applied to deal with races.…”

Section: Related Workmentioning

confidence: 99%

Enhancing Performance And Reliability of Rule Management Platforms

Grechanik

Hossain

2015

Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering

View full text Add to dashboard Cite

RulE Management Platforms (REMPs) enable software engineers to represent programming logic as conditional sentences that relate statements of facts. A key benefit of REMPs is that they make software adaptable by burying the complexity of rule invocation in their engines, so that programmers can concentrate on business aspects of highly modular rules. Naturally, rule-driven applications are expected to have excellent performance, since REMP engines should be able to invoke highly modular rules in parallel in response to asserting different facts. In reality, it is very difficult to parallelize rule executions, since it leads to the loss of reliability and adaptability of rule-driven applications.We created a novel solution that is based on obtaining a rule execution model that is used at different layers of REMPs to enhance the performance of rule-driven applications while maintaining their reliability and adaptability. First, using this model, possible races are detected statically among rules, and we evaluate an implementation of our abstraction of algorithms for automatically preventing races among rules. Next, we use the sensitivity analysis to find better schedules among simultaneously executing rules to improve the overall performance of the application. We implemented our solution for JBoss Drools and we evaluated it on three applications. The results suggest that our solution is effective, since we achieved over 225% speedup on average.

show abstract

“…A declarative verification approach for improving the quality of rule-based applications was presented in [7]. This approach presented a particular way to control and to improve the rule quality by means of rule verification using a declarative approach.…”

Section: Related Workmentioning

confidence: 99%

Improving Rule Base Quality to Enhance Production Systems Performance

Arman¹

2013

IJIS

View full text Add to dashboard Cite

Production systems have a special value since they are used in state-space searching algorithms and expert systems in addition to their use as a model for problem solving in artificial intelligence. Therefore, it is of high importance to consider different techniques to improve their performance. In this research, rule base is the component of the production system that we aim to focus on. This work therefore seeks to investigate this component and its relationship with other components and demonstrate how the improvement of its quality has a great impact on the performance of the production system as a whole. In this paper, the improvement of rule base quality is accomplished in two steps. The first step involves re-writing the rules having conjunctions of literals and producing a new set of equivalent rules in which long inference chains can be obtained easily. The second step involves augmenting the rule base with inference short-cut rules devised from the long inference chains. These inference short-cut rules have a great impact on the performance of the production system. Finally, simulations are performed on randomly generated rule bases with different sizes and goals to be proved. The simulations demonstrate that the suggested enhancements are very beneficial in improving the performance of production systems

show abstract

Improving the quality of rule-based applications using the declarative verification approach

Cited by 12 publications

References 15 publications

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

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

Enhancing Performance And Reliability of Rule Management Platforms

Improving Rule Base Quality to Enhance Production Systems Performance

Contact Info

Product

Resources

About