Specification of Contractual Obligations in Formal Business Communication.
Young U. RyuPublished in: Data Knowl. Eng. (1998)
Keyphrases
- formal specification
- contractual obligations
- business rules
- formal methods
- business models
- information systems
- formal language
- decision making
- data mining
- reactive systems
- operational semantics
- business process
- business intelligence
- business processes
- electronic commerce
- learning algorithm
- formal languages
- model checking
- e learning
- data sets