„Rendszermodellezés 1. ZH/Igaz Hamis kikérdező” változatai közötti eltérés
Ugrás a navigációhoz
Ugrás a kereséshez
5. sor: | 5. sor: | ||
== A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? == | == 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=-}} | {{kvízkérdés|típus=több|válasz=2|pontozás=-}} | ||
− | # | + | # Aszinkron. |
− | # | + | # Egyszerűsített. |
− | # | + | # Determinisztikus. |
− | # | + | # Végrehajtható. |
== Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? == | == Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? == | ||
16. sor: | 16. sor: | ||
# M2 absztrahálja M1-et. | # M2 absztrahálja M1-et. | ||
# M2 finomítja 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? == | == Az alábbiak közül mely gráfok mindig körmentesek? == | ||
29. sor: | 36. sor: | ||
# Párhuzamos régiók. | # Párhuzamos régiók. | ||
# Őrfeltétel. | # Őrfeltétel. | ||
− | # Állapot | + | # Állapot. |
+ | |||
+ | [[File:Remo_zh1_kikerdezo_kep1.PNG]] | ||
+ | |||
+ | == A következő eseménysor bekövetkeztét figyeltük meg: ''A elkezdődik, A befejeződik, B elkezdődik, C elkezdődik, B befejeződik, C befejeződik.'' A folyamatmodellek közül melyek lehetnek a helyes modelljei a rendszernek? == | ||
+ | {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}} | ||
+ | # F. | ||
+ | # G. | ||
+ | # H. | ||
+ | # Egyiksem. | ||
== Az alábbiak közül melyik jellemző minden állapottérre? == | == 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=-}} | {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | ||
− | # Hierarchikus | + | # Hierarchikus. |
# Teljes. | # Teljes. | ||
# Kizárólagos. | # Kizárólagos. | ||
45. sor: | 61. sor: | ||
# S az S1 és S2 metszete. | # 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=-}} | {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}} | ||
# A vezérlési folyam egy hierarchikus állapotgép. | # A vezérlési folyam egy hierarchikus állapotgép. | ||
75. sor: | 98. sor: | ||
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… == | == 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=-}} | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
− | # …S \ S' biztosan kizárólagos | + | # …S \ S' biztosan kizárólagos. |
− | # …S \ S' biztosan teljes | + | # …S \ S' biztosan teljes. |
− | # …S ∪ S' biztosan teljes | + | # …S ∪ S' biztosan teljes. |
# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’. | # …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’. | ||
180. sor: | 203. sor: | ||
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… == | == 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=-}} | {{kvízkérdés|típus=több|válasz=1|pontozás=-}} | ||
− | # …S \ S' biztosan kizárólagos | + | # …S \ S' biztosan kizárólagos. |
− | # …S \ S' biztosan teljes | + | # …S \ S' biztosan teljes. |
# …ha S' is egy állapottér, akkor S \ S' = ∅. | # …ha S' is egy állapottér, akkor S \ S' = ∅. | ||
# …ha S' is egy állapottér, akkor S ∩ S' = ∅. | # …ha S' is egy állapottér, akkor S ∩ S' = ∅. | ||
191. sor: | 214. sor: | ||
# …pontosan 140 átmenetet tartalmaz. | # …pontosan 140 átmenetet tartalmaz. | ||
# …pontosan 160 átmenetet tartalmaz. | # …pontosan 160 átmenetet tartalmaz. | ||
+ | |||
+ | [[File:Remo_zh1_kikerdezo_kep2.PNG]] | ||
+ | |||
+ | == Az F folyamatmodellnek az alábbi eseményszekvenciák közül melyek lehetnek a helyes lefutásai? == | ||
+ | {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}} | ||
+ | # F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, C befejeződik, F befejeződik. | ||
+ | # F elkezdődik, A elkezdődik, A befejeződik, B elkezdődik, B befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik. | ||
+ | # F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik. | ||
+ | # F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, D elkezdődik, C befejeződik, D befejeződik, F befejeződik. | ||
== Mely állítások igazak az alábbiak közül? == | == Mely állítások igazak az alábbiak közül? == | ||
212. sor: | 244. sor: | ||
# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik. | # 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. | # 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|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. | ||
+ | |||
+ | == Két komponensű állapotgép aszinkron szorzata... == | ||
+ | {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}} | ||
+ | # ...absztrakcióval visszavetíthető az egyik komponens állapotgépére. | ||
+ | # ...maga is állapotgép. | ||
+ | # ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot. | ||
+ | # ...olyan állapotátmeneteket tartalmaz, amelyek során mindig, mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet. | ||
+ | |||
+ | == Á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öveges 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. |
A lap 2019. március 27., 20:19-kori változata
Tartalomjegyzék
- 1 A modell egy valós vagy hipotetikus rendszer egy részének milyen képe?
- 2 Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt?
- 3 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ő?
- 4 Az alábbiak közül mely gráfok mindig körmentesek?
- 5 Melyik lehet állapotátmenet címkéjén az alábbiak közül?
- 6 A következő eseménysor bekövetkeztét figyeltük meg: A elkezdődik, A befejeződik, B elkezdődik, C elkezdődik, B befejeződik, C befejeződik. A folyamatmodellek közül melyek lehetnek a helyes modelljei a rendszernek?
- 7 Az alábbiak közül melyik jellemző minden állapottérre?
- 8 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?
- 9 Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak?
- 10 Mi igaz a C nyelvű programok vezérlési folyamára?
- 11 Mi igaz a jólstrukturált folyamatra?
- 12 A modell és a valóság között különbség, hogy…
- 13 Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor
- 14 Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor…
- 15 Egy állapotgép biztosan nemdeterminisztikus, ha…
- 16 Mi lehet a strukturális modellezés célja?
- 17 A fa tulajdonságú gráf…
- 18 Mely állítások igazak az alábbiak közül?
- 19 A modell és a modellezett rendszer viszonya:
- 20 Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor…
- 21 A fa tulajdonságú gráf…
- 22 Egy egyszerű állapotgép biztosan determinisztikus, ha…
- 23 Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor…
- 24 Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban…
- 25 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…
- 26 Őrfeltételt írhatunk…
- 27 Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve…
- 28 Egy állapotgép biztosan teljesen specifikált, ha…
- 29 Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor…
- 30 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…
- 31 Az F folyamatmodellnek az alábbi eseményszekvenciák közül melyek lehetnek a helyes lefutásai?
- 32 Mely állítások igazak az alábbiak közül?
- 33 Mi lehet a strukturális modellezés célja?
- 34 Mely állítások igazak az alábbiak közül?
- 35 Állapot alapú modellezéskor...
- 36 Két állapot fennállhat egyszerre, ha...
- 37 Két komponensű állapotgép aszinkron szorzata...
- 38 A modell...
- 39 Modellek dekompozíciója esetén...
- 40 A példánygráf...
- 41 A folyamatmodellben az elemi tevékenység...
- 42 Őrfeltétel...
- 43 A strukturális dekompozíció...
- 44 A struktúramodellnek tipikus célja, hogy...
- 45 Egy állapotgép biztosan determinisztikus, ha ...
- 46 Két komponensű állapotgép aszinkron szorzata...
- 47 Általánosan egy viselkedésmodell...
- 48 Folyamatmodellek esetén ...
- 49 A folyamatmodell döntési (decision) elágazásánál...
- 50 Az absztrakció...
- 51 A modellt ábrázoló diagram...
- 52 A példánygráfot...
- 53 Modellek dekompozíciójánál...
- 54 Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)...
- 55 Folyamatmodellezésnél...
- 56 Egy valós rendszer viselkedését leíró teljes folyamatmodell...
- 57 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 modell egy valós vagy hipotetikus rendszer egy részének milyen képe?
- Aszinkron.
- Egyszerűsített.
- Determinisztikus.
- Végrehajtható.
Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt?
- Ha egy rendszernek M2 jó modellje, akkor M1 is.
- Ha egy rendszernek M1 jó modellje, akkor M2 is.
- 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?
- A csomópont- és éltípusokból álló típusgráf.
- Tartalmazási hierarchia.
- Fastruktú́ra.
- Élcímkére szűréssel kapott részgráf.
Melyik lehet állapotátmenet címkéjén az alábbiak közül?
- Output esemény.
- Párhuzamos régiók.
- Őrfeltétel.
- Állapot.
Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
A következő eseménysor bekövetkeztét figyeltük meg: A elkezdődik, A befejeződik, B elkezdődik, C elkezdődik, B befejeződik, C befejeződik. A folyamatmodellek közül melyek lehetnek a helyes modelljei a rendszernek?
- F.
- G.
- H.
- Egyiksem.
Az alábbiak közül melyik jellemző minden állapottérre?
- Hierarchikus.
- Teljes.
- Kizárólagos.
- Determinisztikus.
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.
- S az S1 és S2 uniója.
- S az S1 és S2 metszete.
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.
- A vezérlési folyam tartalmazhat Decision csomópontot.
- A vezérlési folyam tartalmazhat Merge csomópontot.
- A vezérlési folyam tartalmazhat ciklust.
Mi igaz a jólstrukturált folyamatra?
- Annyi kilépési pontja van, ahány állapot az állapottérben.
- Nem tartalmazhat elágazást.
- 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.
A fa tulajdonságú gráf…
- …csak irányítatlan kört tartalmazhat, 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.
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 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.
- …107 átmenetet tartalmaz.
Őrfeltételt írhatunk…
- …típusgráf éleire.
- …állapotgép átmeneteire.
- …folyamatmodell Decision 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.
Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
Az F folyamatmodellnek az alábbi eseményszekvenciák közül melyek lehetnek a helyes lefutásai?
- F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, C befejeződik, F befejeződik.
- F elkezdődik, A elkezdődik, A befejeződik, B elkezdődik, B befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik.
- F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, C befejeződik, D elkezdődik, D befejeződik, F befejeződik.
- F elkezdődik, A elkezdődik, A befejeződik, C elkezdődik, D elkezdődik, C befejeződik, D befejeződik, F befejeződik.
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.
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.
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.
Két komponensű állapotgép aszinkron szorzata...
- ...absztrakcióval visszavetíthető az egyik komponens állapotgépére.
- ...maga is állapotgép.
- ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot.
- ...olyan állapotátmeneteket tartalmaz, amelyek során mindig, mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet.
Á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öveges 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.