An Object-Oriented Approach to the Formal Specification of ODP Trader.
Jin Song DongRoger DukePublished in: Open Distributed Processing (1993)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- process algebra
- data abstraction
- open directory project
- reverse engineering
- model checker
- formal methods
- software components
- temporal logic
- concurrent systems
- protocol specification
- business processes
- cooperative
- artificial intelligence