Rendszermodellezés - Segédanyagok
| Cím | Egyedi szöveg |
|---|---|
| Tárgyinformációk |
A tárggyal kapcsolatos lényeges információk. |
| A modellezés alapjai |
A modellezés alapfogalmai, a modellek használatának céljai. Modell és metamodell, abszrakció és finomítás. A diasor tartalmazza az IMSc kitekintést is (Galois kapcsolatok). Kapcsolódó bevezető jegyzet (A4, A5), modellezés jegyzet (A4, A5). |
| Strukturális modellezés |
Strukturális modellezés célja, tulajdonságmodell, típusgráfok. |
| 1. gyakorlat - Struktúra alapú modellezés |
Struktúra alapú modellezés, tulajdonságmodellezés, típusmodellezés, szűrés/vetítés. |
| Állapot alapú modellezés |
Állapot alapú modellezés,eseménytér, állapottér, szorzat állapottér, vetítés/finomítás, állapotgráf, egyszerű (Mealy) állapotgép, szakmai példák. Statechart (hierarchia, régiók, stb.), állapotgépek szorzatai - kooperáció.(Frissült: 03.07.) |
| 2. gyakorlat - Állapot alapú modellezés |
Állapot alapú modellezés, állapotttér, állapotgép, absztrakció, aszinkron szorzat. |
| Házi feladat bemutató |
Házi feladat bemutató előadás. |
| Folyamatmodellezés alapjai |
A folyamatmodellezés alapjai. |
| 3. gyakorlat - Folyamatmodellezés, kooperáló modellek | |
| Folyamatmodellezés a gyakorlatban |
Folyamatmodellezés a gyakorlatban:BPMN, vezérlési folyam, Storm esettanulmány. |
| Modellek ellenőrzése |
Modellek elllenőrzésének céljai, módszerek. Statikus analízis, tesztelés, formális ellenőrzés (dupla előadás), CFA, teljesen specifkált/determinisztikus modellek. (Frissült:04.08) |
| 4. gyakorlat - Modellek ellenőrzése | |
| 5. gyakorlat - Teljesítménymodellezés | |
| Teljesítménymodellezés |
Teljesítménymodellezés: alapfogalmak, terhelési görbe, átbocsátás, kihasználtság. Összetett folyamatok teljesítménye, Little-törvény, Zipf-törvény. A USE módszer, a teljesítménymodellek korlátai. |
| Vizuális adatelemzés |
Feltáró vizuális adatelemzés módszerei, céljai. Kapcsolódó könyvfejezet: Az Intelligens adatelemzés könyv 5. fejezete. |
| Modellek paraméterezése |
Modellek paraméterezése: regressziós módszerek, benchmarkok használata (a kísérlettervezés anyagrész a 14. héten ment le). Benchmarking rövid összefoglaló (A5). |
| 6. gyakorlat - Adatelemzés, követelménymodellezés | |
| Kódgenerálás |
Kódgenerálás: módszerek és célok, miért/mikor/milyen kódot generálunk. Esettanulmány: üzleti folyamat alapú okos szerződések generálása blockchain fölé. |
| Kísérlettervezés |
Kísérlettervezés (iMSC kiegészítés, 12. heti előadás végéről).
Magyarázatként egyben elérhetővé tesszük egy korábbi tárgy vonatkozó gyakorlati anyagát: |
| Cím | Egyedi szöveg |
|---|---|
| ZH1 minta |
Minta zárthelyi. Megjegyzések:
A beugró feladatokat idén külön lapon fogjuk kérni, melyet automatikusan dolgozunk fel, így javítást nem tudunk majd elfogadni! (A válasz érvényteleníthető az "igaz" és "hamis" válaszok együttes bejelölésével).
Felkerültek a 2017-es ZH nagyfeladatai is gyakorló feladatnak ( Frissítés: felkerültek a 2018-as zárthelyi nagyfeladatai is. |
| Rendszermodellezés ZH2 gyakorlás |
Az alábbi űrlapokon lehet gyakorolni a ZH2 beugró kérdéseket:
|
| Adminisztratív tudnivalók | |
| Bevezető: a modellezés alapjai |
A modellezés céljai, alapfogalmai, modellfinomítás/absztrakció bevezetése. Kapcsolódó bevezető jegyzet: A4, A5, modellezés jegyzet: A4, A5. |
| Strukturális modellezés |
Strukturális modellezés célja, tulajdonságmodell, típusgráfok. |
| 1. gyakorlat - Struktúra alapú modellezés |
Struktúra alapú modellezés, tulajdonságmodellezés, típusmodellezés, szűrés/vetítés. |
