Formal Specification of Business Rules using Z.
Hee-Jun YooJin-Young ChoiMino BaiPublished in: CCCT (1) (2004)
Keyphrases
- business rules
- formal specification
- reverse engineering
- business process
- specification languages
- specification language
- business processes
- object oriented design
- process algebra
- information systems
- formal methods
- fine grained
- production rules
- data quality
- neural network
- software engineering
- rule language
- concurrent systems
- petri net
- legacy systems
- database
- data mining