Entwicklung und Implementierung von Heuristiken zur optimierten ...

(i,a,b,q)
(0,a,b,q)
(1,a,b,q)
(1,a,b,q)
(1,a,b,q)
(2,a,b,q)
(3,a,b,q)
(3,a,b,q)
c,true,{x}
↦−→ (i,c,b,q) if c ≠ a (1)
poll,0S t(q),∅
↦−→ (3,a,b,q) if S t (q) > 0 ∧ b ∈ S e (q) (4)
test,true,∅
↦−→ (3,a,b,q) if S t (q) = 0 ∨ b /∈ S e (q) (5)
tick,true,{z}
↦−→ (0,a,b,q) (6)
tick,true,{z}
↦−→ (0,a,b,δ(q,b)) if q = δ(q,b) (7)
tick,true,{y,z}
↦−→ (0,a,b,δ(q,b)) if q ≠ δ(q,b) (8)
Tabelle 1: Transitionen in Realzeitsemantik
• einer Menge von Transitionen E, die in Tabelle 1 gegeben sind, wobei i ∈
{0, 1, 2, 3}, a,b,c ∈ Σ und q ∈ Q,
• I(s) = df z ≤ ε einer Invariante für jeden Zustand s ∈ S,
• P = Σ ∪ Q ∪ Ω einer Menge von Propositionen,
• µ(i,a,b,q) = df a ∧ q ∧ ω(q) einer Proposition für jeden Zustand.
Abbildung 2: Der Programmzähler
Die Menge der Zustände von R(A) besteht aus vier Dimensionen. Die erste ( Programmzähler“,
vgl. Abbildung 2) nimmt die möglichen Werte {0, 1, 2, 3} an und
”
beschreibt den internen Zustand des Pollingsystems (siehe Abbildung 2). Ist dieser
8