Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2.
Sayandeep MitraKritika AnandPavan Kumar ChittimalliPublished in: ICEIS (2) (2018)
Keyphrases
- directed graph
- business rules
- business process
- random walk
- information systems
- anomaly detection
- business processes
- fine grained
- directed acyclic graph
- reverse engineering
- graph structure
- legacy systems
- undirected graph
- production rules
- data quality
- rule language
- statistical machine translation
- neural network
- active databases
- genetic algorithm
- real world
- strongly connected
- database
- event condition action