In all these synchronization schemes, checking the compliance of calls to an object with its protocol was expected to be done at run time. A concurrent object-oriented language with protocols delegation and constraints . Jan van den Bos and Chris Laffra. A Concurrent Object-Oriented Language with Protocols Delegation and Constraints . Technical report, Department of Computer Science, University of Leiden, December 6 1990.
Dragoon allows specification of coordination of single objects only.
In this paper only the latter transformation will be introduced. New in our approach are a new denotation of the global layer, and a more intuitive transformation to this layer. Objects themselves are strictly sequential, although the choice of a communication partner is nondeterministic. An object performs actions. Per object only one action is in execution at any moment.