An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic.
Kritika AnandPavan Kumar ChittimalliRavindra NaikPublished in: PADL (2018)
Keyphrases
- automated detection
- business rules
- automated analysis
- business process
- business processes
- information systems
- production rules
- knowledge base
- fine grained
- lung cancer
- legacy systems
- reverse engineering
- data quality
- real world
- ultrasonic images
- rule language
- key features
- knowledge representation
- dermoscopy images
- video analysis
- knowledge acquisition
- knowledge discovery
- multimedia
- event condition action
- neural network