A Collaboration Specification Language
Next:
ABSTRACT
A Collaboration Specification Language
ABSTRACT
INTRODUCTION
GENERAL MODEL
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
A COMPLETE EXAMPLE
Whiteboard Meeting
Floor Control
Synthesis
DISCUSSION
Logic Clock
Transaction
Event Semantics
Messaging Policy
Some Predicates Revisited
Backtracking
RELATED WORK
Other Approaches in Collaboration Specification
Coordination Languages
Logic Programming
CONCLUSIONS
ACKNOWLEDGEMENT
References
About this document ...
Du Li
8/25/1999
This paper was originally published in the Proceedings of the 2nd Conference on Domain-Specific Languaes, October 3-5, 1999, Austin, Texas, USA
Last changed: 22 Sep. 1999 mc
Technical Program
Conference index
USENIX home