Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method

Kritika Anand, Sayandeep Mitra, Pavan Chittimalli

2019

Abstract

Presently, business organizations are regulating their activities with the aid of Business Rules (BR’s). A single rule set of an organization contains large and diverse categories of BR’s , thereby making it difficult for Business Analysts and end users to analyze and extract relevant BR’s. Rule Search with natural language terms fail due to their inability to capture logical semantics present in BR’s. In this paper, we present a novel approach to give correct and complete sets of SBVR (Semantics of Business Vocabulary and Business Rules) based BR’s based on a specified query. We integrate conventional Information Retrieval Approach of text based searches over the rule base and corresponding meta-data with a SMT (Satisfiability Modulo Theory) based approach capturing the higher first order logic of the rules. The major applications of this approach are change impact analysis when rules are added, deleted or modified from a rule set, identifying the candidate set of rules affected due to change in the rule set and during match and gap analysis where we compare two sets of BR’s identifying similarity and difference in business functionality between them. We show the implementation of our tool along with its performance on industry level datasets.

Paper Citation

in Harvard Style

Anand K., Mitra S. and Chittimalli P. (2019). Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 47-58. DOI: 10.5220/0007710700470058

in Bibtex Style

@conference{enase19,
author={Kritika Anand and Sayandeep Mitra and Pavan Chittimalli},
title={Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={47-58},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007710700470058},
isbn={978-989-758-375-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method
SN - 978-989-758-375-9
AU - Anand K.
AU - Mitra S.
AU - Chittimalli P.
PY - 2019
SP - 47
EP - 58
DO - 10.5220/0007710700470058