From lechner@cs.uml.edu  Sun Oct  3 01:17:39 2004
Subject: STDs for methods not just classes - used in SOCCA
RJLRef: ~/04f522/SOCCA_STDperTransType.041003

SOCCA is in Ch. 12 pp 306-331 of Adv in OO DMod, MIT 2000, 

p. 320: "one separate STD for each operation of a class".

multi-threaded.

external STD: external interfaces and behavior; op-names on TRansitions

internal STD: internal hidden implementation; activation
then client-server calls to other objects.

Managers coordinate using subprocesses and traps (restrictions)
Trap = a closed subset of a process' states that is exitable only
by removing this 'closed set' behavior restriction.


Contracts involve progress from one subset of states to another
in each collaborating object.