Rendszermodellezés - Segédanyagok

Félév: 2020. tavasz
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.

Jegyzet: A4A5.

1. gyakorlat - Struktúra alapú modellezés

Struktúra alapú modellezés, tulajdonságmodellezés, típusmodellezés, szűrés/vetítés.

Feladatsor, megoldások.

Á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.)

Jegyzet: A4A5.

2. gyakorlat - Állapot alapú modellezés

Állapot alapú modellezés, állapotttér, állapotgép, absztrakció, aszinkron szorzat.

Feladatsor, megoldások.

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

Feladatsor, megoldások.

Folyamatmodellezés a gyakorlatban

Folyamatmodellezés a gyakorlatban:BPMN, vezérlési folyam, Storm esettanulmány.

Jegyzet (folyamatmodellezés előadásokhoz): A4A5

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)

Kapcsolódó jegyzet: A4A5.

4. gyakorlat - Modellek ellenőrzése

Feladatsor, megoldások.

5. gyakorlat - Teljesítménymodellezés

Feladatsor, megoldások.

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.

Jegyzet: A4A5.

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

Feladatsor, megoldások.

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:
Feladatsor, megoldások.

Félév: 2019. tavasz
Cím Egyedi szöveg
ZH1 minta

Minta zárthelyi. Megjegyzések: 

2018-ban a jólstrukturált folyamatok nem képzik a ZH1 részét (kiskérdések: 6b, 9, 10).

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 (2/f anyaga nem része az idei első zárthelyinek).

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: A4A5, modellezés jegyzet: A4A5.

Strukturális modellezés

Strukturális modellezés célja, tulajdonságmodell, típusgráfok.

Jegyzet: A4, A5.

1. gyakorlat - Struktúra alapú modellezés

Struktúra alapú modellezés, tulajdonságmodellezés, típusmodellezés, szűrés/vetítés.

Feladatok, megoldás.

Tartalom átvétel