2.2 asynchronous message model
2.2 asynchronous message model
2.2.1 asynchronous send/blocking receive - simple data dependency
2.2.2 asynchronous send/non-blocking receive-firing rule for UC in process which evaluates to "true" and binds value to local name.
B. Variants of the process model with atomic UC's
1. Process/transaction model - each UC of each process is explicitly structured to have the atomicity property by making each firing rule completely specify the conditions for a minimum schedule (including completion of any external interactions).
1.1 shared name space - processes share a common name space with interactions among processes through shared name access dependencies.
1.2 partitioned name space - processes interact through synchronous data dependencies.