„Rendszermodellezés 1. ZH/Igaz Hamis kikérdező” változatai közötti eltérés

(13 közbenső módosítás, amit 5 másik szerkesztő végzett, nincs mutatva)

1. sor:

{{Kvízoldal

|cím=ReMo kikérdező

|cím=ReMo 1. ZH kikérdező

}}

== A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==

# ~~aszinkron~~

# Aszinkron.

# ~~egyszerűsített~~

# Egyszerűsített.

# ~~determinisztikus~~

# Determinisztikus.

# ~~végrehajtható~~

# Végrehajtható.

== Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==

16. sor:

# M2 absztrahálja M1-et.

# M2 finomítja M1-et.

== A 3 állapotból, 4 átmenetből álló M1, továbbá az 5 állapotból és 15 átmenetből álló M2 egyaránt egyszerű állapotgépek, őrfeltételek nélkül. Mi igaz a teljes rendszert jellemző M állapotgépre, amely ezen két komponens/régió aszinkron szorzataként állt elő? ==

# M állapotainak száma 15.

# M állapotátmeneteinek száma 19.

# M állapotátmeneteinek száma 60.

# M állapotátmeneteinek száma 65.

== Az alábbiak közül mely gráfok mindig körmentesek? ==

29. sor:

36. sor:

# Párhuzamos régiók.

# Őrfeltétel.

# Állapot

# Állapot.

== Az alábbiak közül melyik jellemző minden állapottérre? ==

# Hierarchikus

# Hierarchikus.

# Teljes.

# Kizárólagos.

39. sor:

46. sor:

== Melyik mondat lesz mindenképp igaz a teljes rendszer S állapotterére, ha a rendszert két komponens állapotrégiójával (S1 ill. S2) írjuk le? ==

# S nemdeterminisztikus.

# S jólstrukturált folyamatmodell.

45. sor:

52. sor:

# S az S1 és S2 metszete.

== Mi igaz a C nyelvű programok vezérlési folyamára? ==

== Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak? ==

# 8.

# 15.

# 2.

# 23.

== Mi igaz a C nyelvű programok vezérlési folyamára? ==

# A vezérlési folyam egy hierarchikus állapotgép.

58. sor:

72. sor:

# Leírható Nassi-Shneiderman struktogrammal.

# Nem lehet vele végtelen ciklust definiálni.

== A modell és a valóság között különbség, hogy… ==

# …a modell vonatkozhat még nem létező (pl. tervezett) rendszerre is.

# …a valóság egy egyszerűsített képe a modellnek.

# …a modellen elsősorban csak az adott problémával kapcsolatos, releváns információk jelenjenek meg.

# …egy modell elhanyagolhatja a világ bizonyos tulajdonságait.

== Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor ==

# M2 is finomítja M1 modellt.

# M1 több információt tartalmaz, mint M2.

# M2 több információt tartalmaz, mint M1.

# M2 absztrahálja M1 modellt.

== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==

# …S \ S' biztosan kizárólagos.

# …S \ S' biztosan teljes.

# …S ∪ S' biztosan teljes.

# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.

== Egy állapotgép biztosan nemdeterminisztikus, ha… ==

# …egy állapotból több eseményre ugyanabba az állapotba megy a gép.

# …egy állapotból ugyanarra az eseményre több átmenet definiált, eltérő kimenetet adva.

# …egy állapotból nem minden lehetséges eseményre definiált az átmenet.

# …egy állapotot elhagy egy eseménnyel kiváltott és egy spontán átmenet is, eltérő kimenetet adva.

== Mi lehet a strukturális modellezés célja? ==

# A rendszer működésének időbeli vizsgálata.

# A rendszer kisebb részekre bontása.

# A rendszer dinamikus viselkedésének vizsgálata.

# A rendszerben található kapcsolatok és összeköttetések meghatározása.

== A fa tulajdonságú gráf… ==

# … irányítatlan kört tartalmazhat, de irányított kört nem.

# …reprezentálhat egy tartalmazási struktúrát.

# …élcímkére szűrve is egy vagy több fa marad.

# …típusgráfja nem tartalmazhat hurokélet.

== Mely állítások igazak az alábbiak közül? ==

# A típusgráfok a tulajdonságmodellek időbeli változását írják le.

# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.

# Az objektum-orientált programozásban használt osztályoknak megfeleltethető a típusgráf egy-egy csomópontja.

# Az objektum-orientált programozásban használt objektumoknak megfeleltethető a típusgráf egy-egy csomópontja.

== A modell és a modellezett rendszer viszonya: ==

# A modell egyszerűsítheti, összemoshatja a modellezett rendszer bizonyos részleteit.

# A modell mindig egy hipotetikus (pl. fejlesztés alatt álló) rendszert közelít, sosem a valóságot.

# A modell elhagyhatja a modellezett rendszer bizonyos részeit, komponenseit.

# A modell a modellezett rendszer finomítása.

== Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor… ==

# …M1 lehet M2 finomítása.

# …M1 mindenképpen M2 finomítása.

# …M1 lehet M2 absztrakciója.

# …M1 mindenképpen M2 absztrakciója.

== Egy egyszerű állapotgép biztosan determinisztikus, ha… ==

# …teljesen specifikált.

# …egy kezdőállapota van.

# …egy állapotátmenete van.

# …egy állapota van (állapotmentes).

== Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor… ==

# …M1 több információt tartalmaz, mint M2.

# …M2 több információt tartalmaz, mint M1.

# …M1 biztosan több állapotból áll, mint M2.

# …M2 biztosan több állapotból áll, mint M1.

== Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban… ==

# …legalább 3 eleme fennáll.

# …legalább 1 eleme fennáll.

# …legfeljebb 1 eleme áll fenn.

== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján… ==

# …23 átmenetet tartalmaz.

# …100 átmenetet tartalmaz.

# …107 átmenetet tartalmaz.

# …120 átmenetet tartalmaz.

== Őrfeltételt írhatunk… ==

# …típusgráf éleire.

# …állapotgép átmeneteire.

# …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.

# …adatfolyamháló csatornáira.

== Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve… ==

# …mindig nő az állapotok száma.

# …mindig csökken az állapotok száma.

# …a finomított modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.

# …az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.

== Egy állapotgép biztosan teljesen specifikált, ha… ==

# …van kezdőállapota, csak egyféle inputja van, és minden állapotnak van ezzel címkézett kimenő átmenete.

# …van kezdőállapota, és minden lehetséges inputja legalább egy állapotátmeneten szerepel.

# …egy teljesen specifikált állapotgép absztrakciója két állapot összevonásával.

# …egy teljesen specifikált állapotgép finomítása egy állapot kettéválasztásával.

== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==

# …S \ S' biztosan kizárólagos.

# …S \ S' biztosan teljes.

# …ha S' is egy állapottér, akkor S \ S' = ∅.

# …ha S' is egy állapottér, akkor S ∩ S' = ∅.

== Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján… ==

# …pontosan 26 átmenetet tartalmaz.

# …pontosan 30 átmenetet tartalmaz.

# …pontosan 140 átmenetet tartalmaz.

# …pontosan 160 átmenetet tartalmaz.

== Mely állítások igazak az alábbiak közül? ==

# Szűrés során a táblázat jellemzőinek száma mindig csökken.

# Szűrés során a tulajdonságmodellben kör keletkezhet.

# Szűrés során a jellemzett objektumok száma nem változhat.

# Vetítés során a táblázat jellemzőinek száma csökkenhet.

== Mely állítások igazak az alábbiak közül? ==

# Minden irányítatlan gráf ábrázolható irányított gráffal.

# Egy hierarchiát ábrázoló gráfban lehet kör.

# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.

# Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.

== Állapot alapú modellezéskor... ==

# ...minden állapothalmaz egyben állapottér is.

# ...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.

# ...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.

# ...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.

== Két állapot fennállhat egyszerre, ha... ==

# ...nem ugyanazon állapottér részei.

# ...azonos a típusuk.

# ...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.

# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.

== Két (komponensű) állapotgép aszinkron szorzata... ==

# ...maga is állapotgép.

# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét (komponens) állapotgépében is végrehajtódik egy-egy átmenet.

# ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.

# ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.

== A modell... ==

# ...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.

# ...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.

# ...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.

# ...lehet pontosabb, részletesebb a valódi rendszernél.

== Modellek dekompozíciója esetén... ==

# ...a "része" viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).

# ...a "része" viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).

# ...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.

# ...minden rendszerelemet több részre bontunk fel.

== A példánygráf... ==

# ...csomópontokból és élekből áll.

# ...más néven metamodell.

# ...elemei a típusuk által megengedett módon kapcsolódhatnak.

# ...egy program vezérlési folyamát írja le.

== A folyamatmodellben az elemi tevékenység... ==

# ...nem fordulhat elő, ha a folyamat jólstrukturált.

# ...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.

# ...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.

# ...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.

== Őrfeltétel... ==

# ...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.

# ...szerepelhet egy állapotgép állapotátmeneti élein.

# ...figyelembe vehet változókat, más állapotrégiókat, külső információt.

# ...sérülés esetén az adott viselkedés nem megengedett.

== A strukturális dekompozíció... ==

# ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.

# ...lehet fizikai vagy logikai.

# ...mindig növeli a modellelemek számát.

# ...egyfajta finomítás.

== A struktúramodellnek tipikus célja, hogy... ==

# ...a rendszer belső felépítését leírják.

# ...az egyes eseményekre a rendszer által adott választ definiálják.

# ...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.

# ...a rendszert alkotó elemek jellemzőit és viszonyait leírják.

== Egy állapotgép biztosan determinisztikus, ha ... ==

# ...minden állapotban minden bemenethez tartozik legalább egy átmenet.

# ...nem tartalmaz spontán átmenetet.

# ...nem tartalmaz párhuzamos régiókat.

# ...nem tartalmaz hierarchikus állapotot.

== Általánosan egy viselkedésmodell... ==

# ...alatt mindig állapotgépet értünk.

# ...feldata, hogy a rendszer működését, változását leírja.

# ...hibás, ha nemdeterminisztikus.

# ...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.

== Folyamatmodellek esetén ... ==

# ...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.

# ...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.

# ...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.

# ...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.

== A folyamatmodell döntési (decision) elágazásánál... ==

# ...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).

# ...az egyes döntési ágakon tetszőleges számú lépés következhet.

# ...a döntés után pontosan egy ág kerül végrehajtásra.

# ...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.

== Az absztrakció... ==

# ...modellből indul ki, és az eredménye egy valós rendszer.

# ...mindig információt hagy el a modellből.

# ...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.

# ...megfordítása a finomítás.

== A modellt ábrázoló diagram... ==

# ...mellett sok modell szövegesen is leírható.

# ...mindig a modellel azonos információtartalmú.

# ...megegyezik a modellezett rendszerrel.

# ...kizárólag viselkedésmodellekre készíthető el.

== A példánygráfot... ==

# ...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.

# ...típuscsomópontok és típusélek alkotják.

# ...tartalmazási viszonyok és típus-példány viszonyok alkotják.

# ...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.

== Modellek dekompozíciójánál... ==

# ...a helyesség szükséges feltétele, hogy az eredeti rendszer minden elemének pontosan egy modellelem feleljen meg a dekompozíció után.

# ...a helyesség szükséges feltétele, hogy a (dekompozíció utáni) rendszer minden elemének megfeleltethető legyen az eredeti rendszer valamely eleme.

# ...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.

# ...egy problémát vagy rendszert kisebb részekre bontunk.

== Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)... ==

# ...kötelezően determinisztikus

# ...csak a rendszeren kívülről érkező input hatására válthat állapotot.

# ...minden állapotátmenetekor kötelezően outputot bocsát ki.

# ...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.

== Folyamatmodellezésnél... ==

# ...alapvetően a rendszerben elvégzett tevékenységek és a köztük fennálló sorrendi függőségek modellezésére koncentrálunk.

# ...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.

# ...egy elemi tevékenység végrehajtása mindig pillanatszerű.

# ...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.

== Egy valós rendszer viselkedését leíró teljes folyamatmodell... ==

# ...mindenképpen jólstrukturált.

# ...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.

# ...mindig tartalmaz kezdő (start, flow, begin) csomópontot.

# ...minden csomópontját pontosan egy vezérlési él hagyja el.

== Ha a folyamat egy fork csomópont után az egyik ágon egy A, a másik ágon egy B tevékenységgel folytatódik, akkor... ==

# ...A és B tevékenységek egyszerre fognak elkezdődni.

# ...A és B közül pontosan egy lesz végrehajtva.

# ...B-nek A befejezése előtt el kell kezdődnie.

# ...B befejeződhet A kezdete előtt.

== Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből... ==

# ...nem minden bemenethez tartozik átmenet.

# ...nem elérhető a kezdőállapot.

# ...spontán átmenet indul ki.

# ...minden bemenethez pontosan egy átmenet tartozik.

== Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor... ==

# ...G minden csomópontja "instanceOf" (példánya) relációban áll T legalább egy csomópontjával.

# ...T-ben biztosan nem lehet hurokél.

# ...ha T-ben két elem össze van kötve, akkor az összes G-beli példányuk közt létezik irányított út.

# ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust.

== Tulajdonságmodellen végzett szűrés során... ==

# ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben.

# ...az eredmény oszlopainak száma biztosan kevesebb, mint az eredeti modellben.

# ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek.

# ...strukturális dekompozíciót végzünk.

== Ha egy folyamatmodell A1 és A2 lépése (elemi tevékenysége) egy Fork-Join által határolt vezérlési szerkezet két ágán található, akkor... ==

# ...a folyamatmodell nem tartalmaz megkötést arra nézve, hogy egymáshoz képest milyen sorrendben hajtódnak végre.

# ...a két tevékenység mindenképp ugyanazt az erőforrást használja.

# ...ha a vezérlés elér a Fork elemig, sé az adott ágakon nincs továbii elágazás, akkor mindkét tevékenység végrehajtódik a folyamat sikeres lefutása esetén.

# ...a két tevékenység végrehajtása egy valós rendszerben átlapolódhat.

== Ha M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor... ==

# ...M2 lehet M1 állapotösszevonással kapott absztrakciója.

# ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.

# ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.

# ...lehetséges, hogy M1 és M2 aszinkron szorzata 30 átmenetet tartalmaz.

== Ha S állapottér, akkor... ==

# ...készíthető olyan állapotgép, mely S összes állapotát felhasználva nemdeterminisztikus működést mutat.

# ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz teljes.

# ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos.

# ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált.

== A Harel-féle hierarchikus állapottérkép tartalmazhat... ==

# ...összetett állapotot.

# ...párhuzamos régiókat.

# ...pszeduoállapotot.

# ...változókat.

== Egy egyszerű állapotgép biztosan determinisztikus, ha... ==

# ...állapotainak száma 1 (állapotmentes).

# ...minden állapotából csak egy spontán átmenetet definiálunk.

# ...nincs benne hurokél.

# ...egy kezdőállapota van.

== Egy rendszer állapotait a várakozás alatt álló kérések számával modellezük, ehhez a természetes számok halmazát használjuk, mint állapottér. Állapottér marad-e a halmazunk, ha... ==

# ...eltávolítjuk belőle a 0 elemet?

# ...hozzávesszük a "> 100" predikátumot, ami akkor teljesül, ha 100-nál több kérés várakozik?

# ...hozzávesszük a negatív számokat is?

# ...Decartes-szorozzuk az {logol, nemlogol} halmazzal?

== Őrfeltételt írhatunk... ==

# ...típusgráf éleire, amennyiben azok nem hurokélek.

# ...folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.

# ...állapotgép átmeneteire.

# ...folyamatmodell döntési csomópontjába belépő vezérlési élekre.

== Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor... ==

# ...M2 lehet M1 állapotösszevonással kapott absztrakciója.

# ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.

# ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.

# ...lehetséges, hogy M1 és M2 aszinkron szorzata 42 átmenetet tartalmaz.

== Struktúramodellezés esetén... ==

# ...a típusgráf élei meghatározzák a példánygráfban előforduló élek lehetséges típusait.

# ...a típusgráf egy irányított gráf.

# ...az "is a" címkével ellátott élek típuspéldány viszonyt jelölnek.

# ...a típusgráfban található minden csúcstípushoz léteznie kell legalább egy csomópontnak a példánygráfban.

== Tulajdonságmodellen végzett lekérdezés során... ==

# ...közvetlenül a SELECT kulcsszó után szerepel a szűrési feltétel.

# ...a vetítés paraméterei azon oszlopok, amelyek a művelet után megmaradnak.

# ...alkalmazhatunk szűrés és vetítés műveleteket, valamint származtathatunk új tulajdonságot.

# ...egy SELECT ... FROM ... WHERE ... alakú lekérdezésben a vetítés hajtódik végre először, így a szűrés már csak megmaradó oszlopokra vonatkozhat.

== Jólstrukturált folyamatmodellek végrehajtása során... ==

# ...a folyamat minden esetben véges idő alatt eljut a "folyamat vége" csomóponthoz, ha nincs benne ciklus.

# ...mindig van olyan tevékenység, melyet minden végrehajtás érint, ha a folyamatmodell teljesen specifikált.

# ...egy végrehajtás alatt a Fork-Join vezérlési szerkezet két ágán található tevékenységek átlapolódhatnak.

# ...egy döntési csomópont egy kiértékelésekor az ágak közül legfeljebb az egyiken található tevékenységek hajtódnak végre.

== Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján... ==

# ...mindenképpen determinisztikus lesz.

# ...mindenképpen fog őrfeltételeket tartalmazni.

# ...kevesebb, mint 100 átmenetet tartalmaz.

# ...8-cal osztható számú átmenetet tartalmaz.

@@ 1. sor: / 1. sor: @@
 {{Kvízoldal
-|cím=ReMo kikérdező
+|cím=ReMo 1. ZH kikérdező
 }}
 == A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==
 {{kvízkérdés|típus=több|válasz=2|pontozás=-}}
-# aszinkron
+# Aszinkron.
-# egyszerűsített
+# Egyszerűsített.
-# determinisztikus
+# Determinisztikus.
-# végrehajtható
+# Végrehajtható.
 == Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==
@@ 16. sor: / 16. sor: @@
 # M2 absztrahálja M1-et.
 # M2 finomítja M1-et.
+== A 3 állapotból, 4 átmenetből álló M1, továbbá az 5 állapotból és 15 átmenetből álló M2 egyaránt egyszerű állapotgépek, őrfeltételek nélkül. Mi igaz a teljes rendszert jellemző M állapotgépre, amely ezen két komponens/régió aszinkron szorzataként állt elő? ==
+{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
+# M állapotainak száma 15.
+# M állapotátmeneteinek száma 19.
+# M állapotátmeneteinek száma 60.
+# M állapotátmeneteinek száma 65.
 == Az alábbiak közül mely gráfok mindig körmentesek? ==
@@ 29. sor: / 36. sor: @@
 # Párhuzamos régiók.
 # Őrfeltétel.
-# Állapot
+# Állapot.
 == Az alábbiak közül melyik jellemző minden állapottérre? ==
 {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
-# Hierarchikus
+# Hierarchikus.
 # Teljes.
 # Kizárólagos.
@@ 39. sor: / 46. sor: @@
 == Melyik mondat lesz mindenképp igaz a teljes rendszer S állapotterére, ha a rendszert két komponens állapotrégiójával (S1 ill. S2) írjuk le? ==
-{{kvízkérdés|típus=több|válasz=-|pontozás=-}}
+{{kvízkérdés|típus=több|válasz=0|pontozás=-}}
 # S nemdeterminisztikus.
 # S jólstrukturált folyamatmodell.
@@ 45. sor: / 52. sor: @@
 # S az S1 és S2 metszete.
-== Mi igaz a C nyelvű programok vezérlési folyamára? ==
+== Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak? ==
+{{kvízkérdés|típus=több|válasz=2-|pontozás=-}}
+# 8.
+# 15.
+# 2.
+# 23.
+== Mi igaz a C nyelvű programok vezérlési folyamára? ==
 {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
 # A vezérlési folyam egy hierarchikus állapotgép.
@@ 58. sor: / 72. sor: @@
 # Leírható Nassi-Shneiderman struktogrammal.
 # Nem lehet vele végtelen ciklust definiálni.
+== A modell és a valóság között különbség, hogy… ==
+{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
+# …a modell vonatkozhat még nem létező (pl. tervezett) rendszerre is.
+# …a valóság egy egyszerűsített képe a modellnek.
+# …a modellen elsősorban csak az adott problémával kapcsolatos, releváns információk jelenjenek meg.
+# …egy modell elhanyagolhatja a világ bizonyos tulajdonságait.
+== Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
+# M2 is finomítja M1 modellt.
+# M1 több információt tartalmaz, mint M2.
+# M2 több információt tartalmaz, mint M1.
+# M2 absztrahálja M1 modellt.
+== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# …S \ S' biztosan kizárólagos.
+# …S \ S' biztosan teljes.
+# …S ∪ S' biztosan teljes.
+# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.
+== Egy állapotgép biztosan nemdeterminisztikus, ha… ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
+# …egy állapotból több eseményre ugyanabba az állapotba megy a gép.
+# …egy állapotból ugyanarra az eseményre több átmenet definiált, eltérő kimenetet adva.
+# …egy állapotból nem minden lehetséges eseményre definiált az átmenet.
+# …egy állapotot elhagy egy eseménnyel kiváltott és egy spontán átmenet is, eltérő kimenetet adva.
+== Mi lehet a strukturális modellezés célja? ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
+# A rendszer működésének időbeli vizsgálata.
+# A rendszer kisebb részekre bontása.
+# A rendszer dinamikus viselkedésének vizsgálata.
+# A rendszerben található kapcsolatok és összeköttetések meghatározása.
+== A fa tulajdonságú gráf… ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# … irányítatlan kört tartalmazhat, de irányított kört nem.
+# …reprezentálhat egy tartalmazási struktúrát.
+# …élcímkére szűrve is egy vagy több fa marad.
+# …típusgráfja nem tartalmazhat hurokélet.
+== Mely állítások igazak az alábbiak közül? ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# A típusgráfok a tulajdonságmodellek időbeli változását írják le.
+# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.
+# Az objektum-orientált programozásban használt osztályoknak megfeleltethető a típusgráf egy-egy csomópontja.
+# Az objektum-orientált programozásban használt objektumoknak megfeleltethető a típusgráf egy-egy csomópontja.
+== A modell és a modellezett rendszer viszonya: ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# A modell egyszerűsítheti, összemoshatja a modellezett rendszer bizonyos részleteit.
+# A modell mindig egy hipotetikus (pl. fejlesztés alatt álló) rendszert közelít, sosem a valóságot.
+# A modell elhagyhatja a modellezett rendszer bizonyos részeit, komponenseit.
+# A modell a modellezett rendszer finomítása.
+== Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor… ==
+{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
+# …M1 lehet M2 finomítása.
+# …M1 mindenképpen M2 finomítása.
+# …M1 lehet M2 absztrakciója.
+# …M1 mindenképpen M2 absztrakciója.
+== Egy egyszerű állapotgép biztosan determinisztikus, ha… ==
+{{kvízkérdés|típus=több|válasz=0|pontozás=-}}
+# …teljesen specifikált.
+# …egy kezdőállapota van.
+# …egy állapotátmenete van.
+# …egy állapota van (állapotmentes).
+== Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor… ==
+{{kvízkérdés|típus=több|válasz=2|pontozás=-}}
+# …M1 több információt tartalmaz, mint M2.
+# …M2 több információt tartalmaz, mint M1.
+# …M1 biztosan több állapotból áll, mint M2.
+# …M2 biztosan több állapotból áll, mint M1.
+== Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban… ==
+{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}
+# …legalább 3 eleme fennáll.
+# …legalább 3 eleme fennáll.
+# …legalább 1 eleme fennáll.
+# …legfeljebb 1 eleme áll fenn.
+== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján… ==
+{{kvízkérdés|típus=több|válasz=2|pontozás=-}}
+# …23 átmenetet tartalmaz.
+# …100 átmenetet tartalmaz.
+# …107 átmenetet tartalmaz.
+# …120 átmenetet tartalmaz.
+== Őrfeltételt írhatunk… ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# …típusgráf éleire.
+# …állapotgép átmeneteire.
+# …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.
+# …adatfolyamháló csatornáira.
+== Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve… ==
+{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
+# …mindig nő az állapotok száma.
+# …mindig csökken az állapotok száma.
+# …a finomított modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.
+# …az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.
+== Egy állapotgép biztosan teljesen specifikált, ha… ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# …van kezdőállapota, csak egyféle inputja van, és minden állapotnak van ezzel címkézett kimenő átmenete.
+# …van kezdőállapota, és minden lehetséges inputja legalább egy állapotátmeneten szerepel.
+# …egy teljesen specifikált állapotgép absztrakciója két állapot összevonásával.
+# …egy teljesen specifikált állapotgép finomítása egy állapot kettéválasztásával.
+== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
+{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
+# …S \ S' biztosan kizárólagos.
+# …S \ S' biztosan teljes.
+# …ha S' is egy állapottér, akkor S \ S' = ∅.
+# …ha S' is egy állapottér, akkor S ∩ S' = ∅.
+== Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján… ==
+{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
+# …pontosan 26 átmenetet tartalmaz.
+# …pontosan 30 átmenetet tartalmaz.
+# …pontosan 140 átmenetet tartalmaz.
+# …pontosan 160 átmenetet tartalmaz.
+== Mely állítások igazak az alábbiak közül? ==
+{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
+# Szűrés során a táblázat jellemzőinek száma mindig csökken.
+# Szűrés során a tulajdonságmodellben kör keletkezhet.
+# Szűrés során a jellemzett objektumok száma nem változhat.
+# Vetítés során a táblázat jellemzőinek száma csökkenhet.
+== Mely állítások igazak az alábbiak közül? ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# Minden irányítatlan gráf ábrázolható irányított gráffal.
+# Egy hierarchiát ábrázoló gráfban lehet kör.
+# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.
+# Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.
+== Állapot alapú modellezéskor... ==
+{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
+# ...minden állapothalmaz egyben állapottér is.
+# ...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.
+# ...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.
+# ...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.
+== Két állapot fennállhat egyszerre, ha... ==
+{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
+# ...nem ugyanazon állapottér részei.
+# ...azonos a típusuk.
+# ...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.
+# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.
+== Két (komponensű) állapotgép aszinkron szorzata... ==
+{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
+# ...maga is állapotgép.
+# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét (komponens) állapotgépében is végrehajtódik egy-egy átmenet.
+# ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.
+# ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.
+== A modell... ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# ...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.
+# ...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.
+# ...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.
+# ...lehet pontosabb, részletesebb a valódi rendszernél.
+== Modellek dekompozíciója esetén... ==
+{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
+# ...a "része" viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).
+# ...a "része" viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).
+# ...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.
+# ...minden rendszerelemet több részre bontunk fel.
+== A példánygráf... ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# ...csomópontokból és élekből áll.
+# ...más néven metamodell.
+# ...elemei a típusuk által megengedett módon kapcsolódhatnak.
+# ...egy program vezérlési folyamát írja le.
+== A folyamatmodellben az elemi tevékenység... ==
+{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
+# ...nem fordulhat elő, ha a folyamat jólstrukturált.
+# ...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.
+# ...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.
+# ...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.
+== Őrfeltétel... ==
+{{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}
+# ...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.
+# ...szerepelhet egy állapotgép állapotátmeneti élein.
+# ...figyelembe vehet változókat, más állapotrégiókat, külső információt.
+# ...sérülés esetén az adott viselkedés nem megengedett.
+== A strukturális dekompozíció... ==
+{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
+# ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.
+# ...lehet fizikai vagy logikai.
+# ...mindig növeli a modellelemek számát.
+# ...egyfajta finomítás.
+== A struktúramodellnek tipikus célja, hogy... ==
+{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
+# ...a rendszer belső felépítését leírják.
+# ...az egyes eseményekre a rendszer által adott választ definiálják.
+# ...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.
+# ...a rendszert alkotó elemek jellemzőit és viszonyait leírják.
+== Egy állapotgép biztosan determinisztikus, ha ... ==
+{{kvízkérdés|típus=több|válasz=|pontozás=-}}
+# ...minden állapotban minden bemenethez tartozik legalább egy átmenet.
+# ...nem tartalmaz spontán átmenetet.
+# ...nem tartalmaz párhuzamos régiókat.
+# ...nem tartalmaz hierarchikus állapotot.
+== Általánosan egy viselkedésmodell... ==
+{{kvízkérdés|típus=több|válasz=2|pontozás=-}}
+# ...alatt mindig állapotgépet értünk.
+# ...feldata, hogy a rendszer működését, változását leírja.
+# ...hibás, ha nemdeterminisztikus.
+# ...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.
+== Folyamatmodellek esetén ... ==
+{{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}
+# ...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.
+# ...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.
+# ...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.
+# ...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.
+== A folyamatmodell döntési (decision) elágazásánál... ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# ...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).
+# ...az egyes döntési ágakon tetszőleges számú lépés következhet.
+# ...a döntés után pontosan egy ág kerül végrehajtásra.
+# ...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.
+== Az absztrakció... ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
+# ...modellből indul ki, és az eredménye egy valós rendszer.
+# ...mindig információt hagy el a modellből.
+# ...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.
+# ...megfordítása a finomítás.
+== A modellt ábrázoló diagram... ==
+{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
+# ...mellett sok modell szövegesen is leírható.
+# ...mindig a modellel azonos információtartalmú.
+# ...megegyezik a modellezett rendszerrel.
+# ...kizárólag viselkedésmodellekre készíthető el.
+== A példánygráfot... ==
+{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
+# ...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.
+# ...típuscsomópontok és típusélek alkotják.
+# ...tartalmazási viszonyok és típus-példány viszonyok alkotják.
+# ...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.
+== Modellek dekompozíciójánál... ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
+# ...a helyesség szükséges feltétele, hogy az eredeti rendszer minden elemének pontosan egy modellelem feleljen meg a dekompozíció után.
+# ...a helyesség szükséges feltétele, hogy a (dekompozíció utáni) rendszer minden elemének megfeleltethető legyen az eredeti rendszer valamely eleme.
+# ...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.
+# ...egy problémát vagy rendszert kisebb részekre bontunk.
+== Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)... ==
+{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
+# ...kötelezően determinisztikus
+# ...csak a rendszeren kívülről érkező input hatására válthat állapotot.
+# ...minden állapotátmenetekor kötelezően outputot bocsát ki.
+# ...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.
+== Folyamatmodellezésnél... ==
+{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
+# ...alapvetően a rendszerben elvégzett tevékenységek és a köztük fennálló sorrendi függőségek modellezésére koncentrálunk.
+# ...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.
+# ...egy elemi tevékenység végrehajtása mindig pillanatszerű.
+# ...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.
+== Egy valós rendszer viselkedését leíró teljes folyamatmodell... ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# ...mindenképpen jólstrukturált.
+# ...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.
+# ...mindig tartalmaz kezdő (start, flow, begin) csomópontot.
+# ...minden csomópontját pontosan egy vezérlési él hagyja el.
+== Ha a folyamat egy fork csomópont után az egyik ágon egy A, a másik ágon egy B tevékenységgel folytatódik, akkor... ==
+{{kvízkérdés|típus=több|válasz=4|pontozás=-}}
+# ...A és B tevékenységek egyszerre fognak elkezdődni.
+# ...A és B közül pontosan egy lesz végrehajtva.
+# ...B-nek A befejezése előtt el kell kezdődnie.
+# ...B befejeződhet A kezdete előtt.
+== Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből... ==
+{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
+# ...nem minden bemenethez tartozik átmenet.
+# ...nem elérhető a kezdőállapot.
+# ...spontán átmenet indul ki.
+# ...minden bemenethez pontosan egy átmenet tartozik.
+== Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor... ==
+{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
+# ...G minden csomópontja "instanceOf" (példánya) relációban áll T legalább egy csomópontjával.
+# ...T-ben biztosan nem lehet hurokél.
+# ...ha T-ben két elem össze van kötve, akkor az összes G-beli példányuk közt létezik irányított út.
+# ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust.
+== Tulajdonságmodellen végzett szűrés során... ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben.
+# ...az eredmény oszlopainak száma biztosan kevesebb, mint az eredeti modellben.
+# ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek.
+# ...strukturális dekompozíciót végzünk.
+== Ha egy folyamatmodell A1 és A2 lépése (elemi tevékenysége) egy Fork-Join által határolt vezérlési szerkezet két ágán található, akkor... ==
+{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
+# ...a folyamatmodell nem tartalmaz megkötést arra nézve, hogy egymáshoz képest milyen sorrendben hajtódnak végre.
+# ...a két tevékenység mindenképp ugyanazt az erőforrást használja.
+# ...ha a vezérlés elér a Fork elemig, sé az adott ágakon nincs továbii elágazás, akkor mindkét tevékenység végrehajtódik a folyamat sikeres lefutása esetén.
+# ...a két tevékenység végrehajtása egy valós rendszerben átlapolódhat.
+== Ha M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor... ==
+{{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}
+# ...M2 lehet M1 állapotösszevonással kapott absztrakciója.
+# ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.
+# ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.
+# ...lehetséges, hogy M1 és M2 aszinkron szorzata 30 átmenetet tartalmaz.
+== Ha S állapottér, akkor... ==
+{{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}}
+# ...készíthető olyan állapotgép, mely S összes állapotát felhasználva nemdeterminisztikus működést mutat.
+# ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz teljes.
+# ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos.
+# ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált.
+== A Harel-féle hierarchikus állapottérkép tartalmazhat... ==
+{{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}
+# ...összetett állapotot.
+# ...párhuzamos régiókat.
+# ...pszeduoállapotot.
+# ...változókat.
+== Egy egyszerű állapotgép biztosan determinisztikus, ha... ==
+{{kvízkérdés|típus=több|válasz=-|pontozás=-}}
+# ...állapotainak száma 1 (állapotmentes).
+# ...minden állapotából csak egy spontán átmenetet definiálunk.
+# ...nincs benne hurokél.
+# ...egy kezdőállapota van.
+== Egy rendszer állapotait a várakozás alatt álló kérések számával modellezük, ehhez a természetes számok halmazát használjuk, mint állapottér. Állapottér marad-e a halmazunk, ha... ==
+{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}
+# ...eltávolítjuk belőle a 0 elemet?
+# ...hozzávesszük a "> 100" predikátumot, ami akkor teljesül, ha 100-nál több kérés várakozik?
+# ...hozzávesszük a negatív számokat is?
+# ...Decartes-szorozzuk az {logol, nemlogol} halmazzal?
+== Őrfeltételt írhatunk... ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# ...típusgráf éleire, amennyiben azok nem hurokélek.
+# ...folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.
+# ...állapotgép átmeneteire.
+# ...folyamatmodell döntési csomópontjába belépő vezérlési élekre.
+== Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor... ==
+{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
+# ...M2 lehet M1 állapotösszevonással kapott absztrakciója.
+# ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.
+# ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.
+# ...lehetséges, hogy M1 és M2 aszinkron szorzata 42 átmenetet tartalmaz.
+== Struktúramodellezés esetén... ==
+{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
+# ...a típusgráf élei meghatározzák a példánygráfban előforduló élek lehetséges típusait.
+# ...a típusgráf egy irányított gráf.
+# ...az "is a" címkével ellátott élek típuspéldány viszonyt jelölnek.
+# ...a típusgráfban található minden csúcstípushoz léteznie kell legalább egy csomópontnak a példánygráfban.
+== Tulajdonságmodellen végzett lekérdezés során... ==
+{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
+# ...közvetlenül a SELECT kulcsszó után szerepel a szűrési feltétel.
+# ...a vetítés paraméterei azon oszlopok, amelyek a művelet után megmaradnak.
+# ...alkalmazhatunk szűrés és vetítés műveleteket, valamint származtathatunk új tulajdonságot.
+# ...egy SELECT ... FROM ... WHERE ... alakú lekérdezésben a vetítés hajtódik végre először, így a szűrés már csak megmaradó oszlopokra vonatkozhat.
+== Jólstrukturált folyamatmodellek végrehajtása során... ==
+{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}
+# ...a folyamat minden esetben véges idő alatt eljut a "folyamat vége" csomóponthoz, ha nincs benne ciklus.
+# ...mindig van olyan tevékenység, melyet minden végrehajtás érint, ha a folyamatmodell teljesen specifikált.
+# ...egy végrehajtás alatt a Fork-Join vezérlési szerkezet két ágán található tevékenységek átlapolódhatnak.
+# ...egy döntési csomópont egy kiértékelésekor az ágak közül legfeljebb az egyiken található tevékenységek hajtódnak végre.
+== Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján... ==
+{{kvízkérdés|típus=több|válasz=0|pontozás=-}}
+# ...mindenképpen determinisztikus lesz.
+# ...mindenképpen fog őrfeltételeket tartalmazni.
+# ...kevesebb, mint 100 átmenetet tartalmaz.
+# ...8-cal osztható számú átmenetet tartalmaz.