Handling Inconsistency in Business Rule Bases

Within the field of Business Process Management, business rules are commonly used to model company decision logic and govern allowed company behavior. An exemplary business rule in the financial sector could be for example: ”A customer with a mental condition is not creditworthy”. Business rules are usually created and maintained collaboratively and over time. In this setting, modelling errors can occur frequently. A challenging problem in this context is that of inconsistency, i.e., contradictory rules which cannot hold at the same time. For instance, regarding the exemplary rule above, an inconsistency would arise if a (second) modeller entered an additional rule: ”A customer with a mental condition is always creditworthy”, as the two rules cannot hold at the same time. In this thesis, we investigate how to handle such inconsistencies in business rule bases. In particular, we develop methods and techniques for the detection, analysis and resolution of inconsistencies in business rule bases