Prozessalgebra - Programmierung und Softwaretechnik (PST ...

4.2 ACP mit Rekursion 33
2. (Triviales) Erzeuger-Verbraucher-System (ohne Pufferung)
Atomare Aktionen:
e
s
s
v
(Erzeugen eines Objekts),
(Senden eines Objekts),
(Empfangen eines Objekts),
(Verbrauchen eines Objekts).
Erzeuger und Verbraucher (jeweils in Gleichungsschreibweise):
E = esE,
V = svV.
Gesamtsystem:
3. Werkbank
EV = ∂ {s,s} (E‖V).
Informelle Spezifikation:
Zwei Arbeiter bearbeiten an einer Werkbank fortwährend angelieferte Werkstücke,
die danach wieder ausgeliefert werden. Sie bearbeiten jeweils ein Werkstück und
legen es anschließend (etwa auf einem Förderband) ab. Zur Bearbeitung benutzt jeder
Arbeiter entweder ein Werkzeug 1 oder ein Werkzeug 2. Beide Werkzeuge
liegen auf der Werkbank bereit und werden jeweils nach Benutzung wieder zurückgelegt.
Atomare Aktionen:
aufn (Aufnehmen eines angelieferten Werkstücks),
abl (Ablegen des bearbeiteten Werkstücks),
arb (Arbeit am Werkstücks),
nimm 1/2 (Aufnehmen von 1/2, synchronisiert mit nimm 1/2 ),
zurück 1/2 (Zurücklegen von 1/2, synchronisiert mit zurück 1/2 ).
Arbeiter und Werkzeuge (ebenfalls als Prozesse):
A = aufn · BEARB · abl · A,
BEARB = nimm 1 · arb · zurück 1 + nimm 2 · arb · zurück 2 ,
W1 = nimm 1 · zurück 1 · W1
W2 = nimm 2 · zurück 2 · W2.
Gesamtsystem:
mit
B = ∂ R (A‖A‖W1‖W2)
R = {nimm 1 , nimm 2 , nimm 1 , nimm 2 , zurück 1 , zurück 2 , zurück 1 , zurück 2 }.