Formal specification of CORBA-based distributed objects and behaviors.
Cyprian F. NgolahYingxu WangPublished in: IEEE ICCI (2005)
Keyphrases
- formal specification
- distributed systems
- specification languages
- model checking
- object oriented design
- specification language
- lightweight
- software components
- distributed environment
- process algebra
- object management
- moving objects
- formal methods
- data abstraction
- software engineering
- object oriented
- data model
- reverse engineering
- distributed object
- concurrent systems
- formal specification language
- protocol specification
- computation tree logic
- databases
- production system
- multi agent
- knowledge base
- real world