loading
Papers

Research.Publish.Connect.

Paper

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

Topics: Agile, Aspect-Oriented and Agent-Oriented Software Engineering; Application Integration Technologies; Business Process Management and Engineering; Collaborative Software Engineering; Component-Based Software Engineering; Formal Methods; Knowledge Management and Engineering; Requirements Engineering; User-Centered Software Engineering

Authors: Kritika Anand ; Sayandeep Mitra and Pavan Chittimalli

Affiliation: TCS Innovation Labs, Pune and India

ISBN: 978-989-758-375-9

Keyword(s): Business Rules, First Order Logic, SBVR, SMT Solvers, Information Retrieval.

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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.236.216.93

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@conference{enase19,
author={Kritika Anand. and Sayandeep Mitra. and Pavan Kumar 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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.