CCS-Verfahren für einen Getränkeautomaten mit zwei unterschiedlichen Preisen

Getränkespender muss den Benutzer eine Münze (zum Einfügen ) und drückt eine der drei Tasten: fordert eine Tasse Tee , dito für Kaffee und fordert eine Rückerstattung (dh die Maschine zurück gibt die Münze: ). Dieser Spender kann durch den folgenden CCS- Prozess modelliert werden: $\bar c$ $\bar d_{\text{tea}}$ $e_{\text{tea}}$ $\bar r$ $\bar b$

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + d_{coffee} . {\bar{e}}_{coffee} . M + r . \bar{b} . M)

$M \stackrel{\mathrm{def}}= c.(d_{\text{tea}}.\bar e_{\text{tea}}.M + d_{\text{coffee}}.\bar e_{\text{coffee}}.M + r.\bar b.M)$

Ein Bürgerkrieg erhöht den Preis für Kaffee auf zwei Münzen, während der Preis für Tee eine Münze bleibt. Wir wollen eine modifizierte Maschine, die Kaffee erst nach zwei Münzen liefert und nach einer oder zwei Münzen eine Rückerstattung akzeptiert. Wie können wir die modifizierte Maschine mit einem CCS-Prozess modellieren?

logic concurrency modelling process-algebras ccs Gilles 'SO - hör auf böse zu sein'
quelle

Was ist ein CCS-Modell / Prozess? Entsprechen sie markierten Übergangssystemen (LTS)?

Raphael

@ Raphael CCS ist ein Prozesskalkül, ein Vorläufer des Pi-Kalküls. Ein CCS-Modell ist nur ein Modell in CCS. Ich habe einen Wikipedia-Link und ein Tag-Wiki hinzugefügt.

Gilles 'SO - hör auf böse zu sein'

Ich denke, Logik und Programmiersprachen sind für diese Frage angemessen. Prozessalgebren werden in diesen Bereichen untersucht, und für diese Frage scheint die Logik angemessener zu sein, z. B. überprüfen Sie bitte die Bereichs-Tags hier .

Kaveh

Antworten:

Auf diese Weise können Sie leicht von der Kriegsführung profitieren:

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + r . \bar{b} . M + c . (d_{coffee} . {\bar{e}}_{coffee} . M + r . \bar{b} . \bar{b} . M))

$M \stackrel{\mathrm{def}} = c.( d_{\text{tea}}.\bar e_{\text{tea}}.M + r.\bar b.M + c.( d_{\text{coffee}}.\bar e_{\text{coffee}}.M + r.\bar b.\bar b.M ) )$

Beachten Sie, dass Sie auf Rückerstattung drücken müssen, um einen Tee zu erhalten, wenn Sie zu viele Münzen einsetzen. Wenn Sie das nicht möchten, können Sie es anpassen (oder einen Zähler einrichten (endlich ist genug)):

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + r . \bar{b} . M + c . (d_{coffee} . {\bar{e}}_{coffee} . M + d_{tea} . \bar{b} . {\bar{e}}_{tea} . M + r . \bar{b} . \bar{b} . M))

$M \stackrel{\mathrm{def}} = c.( d_{\text{tea}}.\bar e_{\text{tea}}.M + r.\bar b.M + c.( d_{\text{coffee}}.\bar e_{\text{coffee}}.M + d_{\text{tea}}.\bar b.\bar e_{\text{tea}}.M + r.\bar b.\bar b.M ) )$

jmad
quelle

Ich verstehe deine Antwort nicht. Der erste Prozess, den Sie zeigen, hat den Preis für Kaffee bei einer Münze und veranlasst den Automaten, dass der Benutzer eine Münze einwirft. Ich sehe keinen Zusammenhang mit der Frage. Der zweite Prozess sieht auf dem richtigen Weg, aber was

tun sollte ??

\bar{c}

$\bar c$

Gilles 'SO - hör auf böse zu sein'

@ Gilles:

gibt das Geld zurück, aber es wäre besser, wenn Sie uns einen anderen Namen geben würden, um das Geld zurückzusenden.

\bar{c}

$\bar c$

Stéphane Gimenez

@ StéphaneGimenez Du hast recht, das habe ich hinzugefügt.

Gilles 'SO - hör auf böse zu sein'

@ Gilles und Stéphane: Sie haben Recht,

ist eine sehr schlechte Wahl für die Rückerstattung. (Zum Beispiel könnten Sie verlangen, dass die Maschine asynchron ist:

und dann könnte die Maschine es selbst nehmen, so dass Sie schnell sein müssen, um Ihr Geld zu fangen!)

\bar{c}

$\bar c$

r . (\bar{c} ∣ M)

$r.(\bar c\mid M)$

jmad

@ Gilles: Ich habe auch

, unabhängig von dir. Ich denke, das ist die kanonische Wahl :-)

\bar{b}

$\bar b$

jmad

Diese -Maschine ist bequemer als die von Ihnen vorgeschlagene: $M_0$

M_{0} := c . M_{1}

$M_0 := c.M_1$

M_{1} := d_{tea} . {\bar{e}}_{tea} . M_{1} + r . \bar{b} . M_{0} + c . M_{2}

$M_1 := d_{\text{tea}}.\bar e_{\text{tea}}.M_1 + r.\bar b.M_0 + c.M_2$

M_{n} := d_{tea} . {\bar{e}}_{tea} . M_{n - 1} + d_{coffee} . {\bar{e}}_{coffee} . M_{n - 2} + r . \underset{n}{\underset{⏟}{\bar{b} . \dots \bar{b} .}} M_{0} + c . M_{n + 1}

$M_{n} := d_{\text{tea}}.\bar e_{\text{tea}}.M_{n-1} + d_{\text{coffee}}.\bar e_{\text{coffee}}.M_{n-2} + r.\underbrace{\bar b.\dots\bar b.}_{n}M_0 + c.M_{n+1}$

(Aber unendliche Prozesse zu benutzen ist wie zu schummeln).

Stéphane Gimenez
quelle

Ich mag den kompositorischen Aspekt hier. Ich denke jedoch, dass es in Ordnung ist, wenn der Automat nicht mehr als zwei Münzen zulässt.

Raphael

Nun, dies gibt auch eine Vorstellung davon, wie man mit Münzen umgeht, die unterschiedliche Werte haben :-)

Stéphane Gimenez