Next:
The Core Language
Up:
A Collaboration Specification Language
Previous:
A SIMPLE EXAMPLE
THE SPECIFICATION LANGUAGE
The Core Language
Database Operations
cocavm
Identification
Communication
Channel and Gate
Dynamic Grouping
Events
Event Generator
Event Handler
wait-for
Predicates
Role
Defintion
The Daemon Role
Constructor and Destructor
Collaboration
Policy Composition
Parameterization
Inheritance
Polymorphism
Du Li
8/25/1999
