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

@inproceedings{Anand2018AnAD,
  title={An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic},
  author={Kritika Anand and Pavan Kumar Chittimalli and Ravindra Naik},
  booktitle={PADL},
  year={2018}
}
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. 

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS