An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic

Business rules control and constrain the behavior and structure of the business system in terms of its policies and principles. Business rules are restructured frequently as per the internal or external circumstances based on market opportunities, statutory regulations, and business focus. The current practice in industry, of detecting inconsistencies manually, is error prone, due to the size, complexity and ambiguity in representation using natural language.

[1]  David R. Cok.  The SMT-LIBv2 Language and Tools: A Tutorial , 2012 .

[2]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[3]  Anthony G. Cohn,et al.  A Many Sorted Logic with Possibly Empty Sorts , 1992, CADE.

[4]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[5]  Gintare Krisciuniene,et al.  The Comprehensive Mapping of Semantics of Business Vocabulary and Business Rules (SBVR) to OWL 2 Ontologies , 2014, Inf. Technol. Control..

[6]  Kritika Anand,et al.  Domain-independent method of detecting inconsistencies in SBVR-based business rules , 2016, ForMABS@ASE.

[7]  Mark H. Liffiton,et al.  Enumerating Infeasibility: Finding Multiple MUSes Quickly , 2013, CPAIOR.

[8]  Roberto Bruttomesso,et al.  The MathSAT 4SMT Solver , 2008, CAV.

[9]  Shimon Even,et al.  Graph Algorithms , 1979 .

[10]  L. D. Moura,et al.  The YICES SMT Solver , 2006 .

[11]  M. L. Caliusco,et al.  SBVR to OWL 2 Mappings: An Automatable and Structural-Rooted Approach , 2014, CLEI Electron. J..

[12]  Sayandeep Mitra,et al.  A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules , 2017, DIAS/EDUDM@ISEC.

[13]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[14]  Lina Nemuraite,et al.  Experimental investigation of transformations from SBVR business vocabularies and business rules to owl 2 ontologies , 2016, Inf. Technol. Control..

[15]  Tevfik Bultan,et al.  Efficient Data Model Verification with Many-Sorted Logic (T) , 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).