Rendszermodellezés - Segédanyagok
| Title | Egyedi szöveg |
|---|---|
| Hibamodellezés, szolgáltatásbiztonság |
Az előadás bemutatja a hibamodellezés és a szolgáltatásbiztonság alapfogalmait. |
| Modellellenőrzés, programverifikáció |
A viselkedésmodellek statikus és dinamikus ellenőrzése. A modellellenőrzés célja, bemenete és kimenetei. A program mint viselkedésmodell analízise. |
| Title | Egyedi szöveg |
|---|---|
| Tárgyismertető, projekt tapasztalatok, modellezési fogalmak |
A tárgy 2012. őszi követelményei. Az oktatók/kutatócsoport bemutatása, a tárgyhoz kapcsolódó projektek, mint esettanulmányok. Modellezési alapfogalmak (kisebb javítás:10.29.). |
| Modellezés alapjai - óravázlat |
Modellezési alapfogalmak, szakterületspecifikus nyelvek, taxionómia/ontológia fogalma.
Kiegészítő anyag: http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/
|
| 1. gyakorlat (modellezés) |
A gyakorlaton kezdeti taxonómiát/ontológiát, valamint folyamatmodellt készítettünk. Csatolva a feladatkiírás, és az emelt szintű gyakorlaton bemutatott taxonómia vázlat (Xmind). |
| Folyamatmodellezés | |
| Vizuális adatanalízis |
Vizuális adatelemzési technikák. Alapvető statisztikai összefüggések, regresszió, feltáró adatanalízis példákkal (kisebb javítás: 10.29.). |
| Házi feladat bemutató |
A házi feladat adminisztratív és tartalmi feltételeinek ismertetése. Mintafeladat bemutatatása, valamint IBM Websphere Business Modeler eszközdemonstráció. Lásd még: HF feltételek, HF tanácsok. |
| Vizuális adatelemzés (gyakorlat) |
A 2012. szeptember 27-i gyakorlaton elhangzó bevezető előadás, mely egyben tartalmazza a megoldandó feladatokat is, valamint a gyakorlat során közösen használt adatok (tisztított TPC-C benchmark eredmények a TPC.org oldalról publikusan elérhető táblázatból). A gyakorlat során saját mérési eredmények elemzését is bemutatjuk, ezek Izsó Benedek munkáján alapulnak. |
| 2. gyakorlat (vizuális, interaktív adatelemzés) tudnivalók |
A gyakorlathoz ajánlott a sjaát laptop, kivéve az IB413-ban tartott kurzosokat, ahol a laborgépeken a szoftverek elérhetőek lesznek.
A saját gépekre elsősorban a Mondrian telepítését ajánljuk (az oldalt ajánlott FF alól nézni), érdeklődők az RStudio elemzési környezetet is feltehetik, az RServe csomaggal.
A gyakorlat anyaga elérhető itt. |
| Kapacitástervezés |
Kapacitástervezés lépései és feladatai. Felhasználói viselkedés modellezése. |
| Teljesítménymodellezés |
Teljesítménymodellek, alapvető összefüggések, Little-törvény. |
| 3. gyakorlat (Teljesítménymodellezés) |
A gyakorlaton megoldott példák, valamint a témát áttekintő fóliák + Little-törvény esettanulmány. |
| Terheléselőrejelzés |
Terheléselőrejelzés célja, terheléselőrejelzési módszerek: regressziós és átlagszámításra alapuló módszerek. A löketek hatása az áteresztőképességre.Terheléselosztás kérdései. |
| Benchmarkok használata |
Benchmarkok használata, benchmarking céljai, főbb benchmark típusok, SPEC és TPC példák. |
| Kísérlettervezés |
Kísérlettervezés alapfogalmai. Valószínűségszámítási emlékeztető, mérések számának tervezése, konfidencia intervallum. Frissítve: 2012-10-26 |
| 4. gyakorlat (WBM mérések és kísérlettervezés) | |
| Modellellenőrzés ízelítő |
Az előadás tartalma:
Melléklet:
|
| Hibamodellezés |
Az előadás tartalma:
Csatolmány:
|
| Üzleti szabály alapú rendszerek |
Üzleti szabály alapú rendszerek jellegzetességei, felhasználási területei. Előre-és hátraláncoló rendszerek, példa szabálydefinícióra. Komplex eseményfeldolgozás, mintapéldák. |
| Esettanulmányok |
Az órán két, rendszermodellezéshez kapcsolódó esettanulmányt mutattunk be:
Kapcsolódó anyag: From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2 |
| Adatfolyamhálók |
Az órán áttekintettük az adatfolyamhálók modellezési mechanizmusát és felhazsnálási lehetőségeit (pl. hibaterjedés modellezés). |
| Üzleti folyamatok analízise |
Üzleti folyamatok elemzési kihívásai, modell alapú analízis. Adatfolyamhálók, modelltranszformáció, predikátum absztrakció, sztochasztikus módszerek, lineáris optimalizálás és egyéb formális módszerek alkalmazása folyamat alapú rendszerek elemzésére és javítására. |
| 6. gyakorlat - szolgáltatásbiztonság, adatfolyamhálók |
A gyakorlat során néhány alap szolgáltatásbiztonsái jellemzőt határozunk meg, ill. adatfolyamhálót építünk és finomítunk. |
| Title | Egyedi szöveg |
|---|---|
| Rendszermodellezés bevezető |
A tárgy tartalmának és követelményeinek bemutatása. |
