Domain-independent method of detecting inconsistencies in SBVR-based business rules-Reference-Cited by-同舟云学术

Domain-independent method of detecting inconsistencies in SBVR-based business rules

Published:2016-09-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
language:
Short-container-title:

Author:

Chittimalli Pavan Kumar¹,Anand Kritika¹

Affiliation:

1. Tata Consultancy Services, India

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2975941.2975943

Reference24 articles.

1. EU-Rent Car Rental case study. http://www. businessrulesgroup.org/first paper/br01ad.htm. {Online; accessed 18-April-2016}. EU-Rent Car Rental case study. http://www. businessrulesgroup.org/first paper/br01ad.htm. {Online; accessed 18-April-2016}.

2. Microsoft Z3. https://github.com/Z3Prover/z3/wiki. {Online; accessed 18-April-2016}. Microsoft Z3. https://github.com/Z3Prover/z3/wiki. {Online; accessed 18-April-2016}.

3. Object Role Modeling. http://www.orm.net/. Accessed: 2016-05-27. Object Role Modeling. http://www.orm.net/. Accessed: 2016-05-27.

4. Semantics of Business Vocabulary and Rules (SBVR). http://www.omg.org/spec/SBVR/. {Online; accessed 29-September-2015}. Semantics of Business Vocabulary and Rules (SBVR). http://www.omg.org/spec/SBVR/. {Online; accessed 29-September-2015}.

5. SWRL : A Semantic Web Rule Language Combining OWL and RuleML. https://www.w3.org/Submission/SWRL/. Accessed: 2016-05-27. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. https://www.w3.org/Submission/SWRL/. Accessed: 2016-05-27.

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

1. BR4DQ: A methodology for grouping business rules for data quality evaluation;Information Systems;2022-11

2. An Intelligent Analytics Approach to Minimize Complexity in Ambiguous Software Requirements;Scientific Programming;2021-03-22

3. 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

4. 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

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