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

Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli

2018

Abstract

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.

Paper Citation

in Harvard Style

Mitra S., Anand K. and Chittimalli P. (2018). Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2.In Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-298-1, pages 215-222. DOI: 10.5220/0006669802150222

in Bibtex Style

@conference{iceis18,
author={Sayandeep Mitra and Kritika Anand and Pavan Kumar Chittimalli},
title={Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2},
booktitle={Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2018},
pages={215-222},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006669802150222},
isbn={978-989-758-298-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2
SN - 978-989-758-298-1
AU - Mitra S.
AU - Anand K.
AU - Chittimalli P.
PY - 2018
SP - 215
EP - 222
DO - 10.5220/0006669802150222