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.

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.

Állapot alapú modellezés

Állapot alapú modellezés. Állapottér, állapotgráf, kompozíció, állapotgépek.

Jegyzet: A4, A5.

2. gyakorlat - Állapot alapú modellezés

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

Feladatok, megoldás.

Folyamatmodellezés és alkalmazásai

Folyamatmodellezés céljai, építőelemei, jólstrukturált folyamat, folyamatok végrehajtása, BPMN.

Jegyzet: A4A5

3. gyakorlat - Folyamatmodellezés, kooperáló modellek

Gyakorlati feladatsor, megoldások.

Modellek ellenőrzése

Modellek ellenőrzése: statikus analízis, tesztelés, formális modellellenőrzés (model checking).

Jegyzet: A4, A5.

4. gyakorlat - modellek ellenőrzése

Feladatsor, megoldások.

Teljesítménymodellezés

A teljesítménymodellezés alapfogalmai (terhelés, átbocsátás, átbocsátóképesség, kihasználtság, egyensúlyi állapot, erőforrások).

Little és Zipf törvényei, folyamatmodellel leírt szolgáltatások teljesítménye, a USE módszer, a teljesítménymodellek alkalmazásának korlátai.

Jegyzet: A4, A5.

5. gyakorlat: Teljesítménymodellezés

Teljesítménymodellezés gyakorlat: feladatsor, megoldások.

Vizuális adatelemzés

A vizuális adatelemzés célja és alkalmazási területei, alapvető diagram típusok.

Könyvfejezet, az Intelligens adatelemzés könyv 5. fejezete

Kiegészítő jegyzet.

Modellek paraméterezése, benchmarking

Modellek paraméterezése, regressziós módszerek mozgó átlagok, terhelés előrejezlése, benchmarking, teljesítménytesztelés.

Benchmarking rövid összefoglaló (A5).

Tartalom átvétel