An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic-Reference-Cited by-同舟云学术

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

Author:

Anand Kritika^ORCID,Chittimalli Pavan Kumar^ORCID,Naik Ravindra^ORCID

Publisher

Springer International Publishing

Link

Reference24 articles.

1. Sarbanes Oxley Act: Sarbanes Oxley Act. https://www.thebalance.com/sarbanes-oxley-act-and-the-enron-scandal-393497

2. Zeginis, C., Plexousakis, D.: Business Process Modelling. http://www.csd.uoc.gr/~hy565/lectures/Lecture-2-BP%20Modeling.pdf

3. Semantics of Business Vocabulary and Rules (SBVR). http://www.omg.org/spec/SBVR/ . Accessed 29 Sept 2015

4. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). www.SMT-LIB.org

5. Cok, D.R., et al.: The SMT-LIBv2 language and tools: a tutorial. Language C 2010–2011 (2011)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27

2. An Approach to Mine SBVR Vocabularies and Rules from Business Documents;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27

4. BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11