Metropolis Meta Model
The
behavior
of a concurrent system:
communication
•
state
•
methods to
- store data
- retrieve data
coordination
•
restricting
concurrency
of actions
•
algorithms to enforce
the restrictions
computation
•
f: X
Z
•
firing rule
process
medium
scheduler
process P1{
port pX, pZ;
thread(){
// condition to read X
// an algorithm for f(X)
// condition to write Z
}
}
medium M{
int[] storage;
int space;
void write(int[] z){ ... }
int[] read(){ ... }
}
P1
P2
M
S
P1.pZ.write()
u
P2.pX.read()
pX
pZ
pX
pZ
M’
M’