Verification and Validation of Temporal Business Rules.
Babis TheodoulidisPetros AlexakisPericles LoucopoulosPublished in: DAISD (1992)
Keyphrases
- business rules
- business process
- information systems
- business processes
- reverse engineering
- legacy systems
- fine grained
- defeasible logic
- temporal information
- data quality
- temporal data
- rule language
- temporal databases
- model checking
- business users
- computational intelligence
- software engineering
- fuzzy logic
- data analysis