Szabad-e olyan állapotátmenetet használni, amin csak őrfeltétel van?

Question

A technakiai segédletben van egy ilyen rész:
Figyelem! A Yakindu természetesen jóval szélesebb körű felhasználásra alkalmas, mint a Rendszermodellezés
házi feladat. Így vannak olyan modellezési elemei, amelyeket más felhasználási
esetkere szántak, a házi feladat szempontjából értelmetlenek, és így használatukat nem engedjük
meg. (Konkrétabban: a Rendszermodellezés házi feladat kontextusában, a Digitális technika
tárgyból tanult szinkron áramkörökkel ellentétben, nincs meghatározott órajel fogalom, így a
kifejezetten erre építő Yakindu nyelvi elemek a szimulációban és tesztelés közben nem fognak
helyesen működni.) Ezen tiltott elemek:
– always
– oncycle
– Kiváltó esemény nélküli állapotátmenet (a Yakindu a fentiekkel ekvivalensen értelmezi)

---

Nekem az lenne a kérdésem, hogy lehet-e olyan állapotátmenetet használni, amire csak őrfeltételt írtam. Nálam az összes teszt hibátlanul fut.

Comments

És akkor ilyenkor mit célszerű használni, ha nincsen semmilyen kiváltó esemény amit oda tudnánk írni? Az after 0 ms sem működik rendesen...

---

Gondold újra a modellt, mert rosszak a felvett állapotaid. A feladat megoldható könnyedén a tiltott elemek nélkül is.

---

Ha lejár valamelyik játékos ideje, ott nincsen kiváltó esemény. Persze, megoldható. Én is megoldottam azóta, csak sajnos így sokkal rosszabbul néz ki a modell, mint előtte.

Answer 1

Mint már előadáson is volt, az őrfeltétel nem számít kiváltó eseménynek. Egy csak őrfeltétellel rendelkező átmenet, kiváltó esemény nélküli állapotátmenetnek számít, és így tiltott elem.