- Kezdőlap
- Események
- Oktatás
- Specializációválasztás
- BSc tárgyak (Új képzés)
- MSc tárgyak (Új képzés)
- Önálló munka
- Választható tárgyak
- Doktori tárgyak
- Korábbi tárgyak
- Kutatás
- Hallgatóink sikerei
- Magunkról
Rendszermodellezés - Segédanyagok
Cím | 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. |
Cím | 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. |
Cím | Egyedi szöveg |
---|---|
Rendszermodellezés bevezető |
A tárgy tartalmának és követelményeinek bemutatása. |