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

0 votes
asked Apr 6, 2018 in Rendszermodellezés A00 by demeter52 (26 points)  

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.

commented Apr 15, 2018 by pompom (36 points)  
É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...
commented Apr 15, 2018 by dkmisu (594 points)  
Gondold újra a modellt, mert rosszak a felvett állapotaid. A feladat megoldható könnyedén a tiltott elemek nélkül is.
commented Apr 15, 2018 by pompom (36 points)  
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.

1 Answer

+1 vote
answered Apr 7, 2018 by dkmisu (594 points)  
selected Apr 7, 2018 by demeter52
 
Best answer

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.

...