Modeling of Business IT Systems

1. Modellezési alapok (9 óra elmélet/előadás)
    Célkitűzés: az alapvető fogalomkészlet és technológiai kontextus megadása    Alapfogalmak: Fogalomkészlet (erőforrás, tevékenység, esemény). Matematika alapok (adatfolyam hálók, scenárió leírók. Bonyolultságkezelés (Hierarchikus modellezés, absztrakció). Nyílt és zárthurkú modellek. Eseményorientált szimulációs motorok. Megjelenítés eszközei (szöveges, grafikus). Példa: e-Business alapok és modellek (IBM WS Business Modeller).
 Modellezési nyelvek. Általános célú nyelvek: UML (példa: UML aktivitási diagram, General Resource Model). Alkalmazási terület specifikus nyelvek. Üzleti folyamat szabványok (Példa: ARIS és BPMN). Kapcsolat az implementációval (Példa: BPEL). Web alapú rendszerek (Példa: WS-CDL és web szolgáltatások).  Modell alapú fejlesztés a gyakorlatban: a SENSORIA megközelítés.
Üzleti ontológiák, UBL, OWL-S, alkalmazások és adatok leírása (eb-XML, xCBL). Üzleti folyamatok fokozatos fejlesztése (tölcsér modell), hierarchikus tervezés.

2. Minőségi analízis (9 óra elmélet/előadás)
Célkitűzés: a rendszer modellalapú logikai helyességének és specifikációja teljességének vizsgálata, a szolgáltatásbiztonság alapfogalmainak bevezetése, a modellező eszköz bemutatása.
Helyességellenőrzés. Alapok. Kritériumok megfogalmazása.
Környezet modellezése. Felhasználói viselkedés gráf (Customer Behavior Model Graph) és származtatása az UML alapú korai tervekből.
A vizsgálatok célkitűzése. logikai helyesség. Alapvető vizsgálatok. Kivételkezelés (teljesség kritériumai, modellezési eszközök). Szolgáltatásbiztonság. Aspektusok. Autorizációs sémák (Példa: Bell-laPadula). Robosztusság. Kvalitatív hibamodellezés. FMEA. Katasztrófaelhárítás tervezésének támogatása.
A minőségi analízis eszközei. Szimulációs vizsgálatok. A célkitűzések megfogalmazása általános célú eszközben (Példa: IBM WS Business Modeller). Kimerítő szimuláció. Modell ellenőrzés.

3. Mennyiségi analízis: teljesítménybecslés (15 óra elmélet/előadás)
Célkitűzés: azon módszerek bemutatása, amelyekkel az üzleti és az azt kiszolgáló informatikai rendszer egyes komponenseinek teljesítményjellemzői megszerezhetőek és a rendszer modelljébe beépülve szimuláció segítségével annak teljesítményét illetve szűk keresztmetszeteit meghatározhatóvá teszik.
Alapok. Jellemzők. Időhelyesség: WCET (time-out). Átbocsátóképesség: veszteségidő, várakozó sor hossza. Erőforrás kihasználtság. Mért és származtatott jellemzők: Példa:teljesítménymérés és üzleti metrikák.
Kísérlettervezés. Statisztikai alapok: kísérletszám becslése, adaptív kísérlet végrehajtás, szimulációs mérések értékelése, az eredmények hibájának becslése. Sokparaméteres megjelenítés eszközei.
Szimuláció végrehajtás. Maximális átbocsátóképesség meghatározása. Szűk keresztmetszet keresése. Érzékenységvizsgálatok: paraméterezés hibái, környezeti változások hatása. Esettanulmány.
Kapacitástervezési metodika. Konfigurációparaméterek becslése: alkalmazások monitorozása web alapú környezetben, on-line és log analízis. Benchmarkok: elemi (SPECxxx, grafika); kompozit (TPC). Virtualizált megoldások jellemzése. Terhelésmodellek: hozzáférési naplók használata; Zipf törvény, teszt mérések. What-if analízis: konstrukció javítása (Példák: upgrade, skálázás, többrétegű architektúra), terhelésugrás (Példa: DoS támadás).

4. Mennyiségi analízis: a szolgáltatásbiztonság fogalmai üzleti folyamat alapú rendszerekben (6 óra elmélet/előadás)
Célkitűzés: annak bemutatása, hogy a teljesítménymodellezés eszköztára adaptálható szolgáltatásbiztonsági célokra is.
Megbízhatóság becslése szimulációval. A ritka esemény probléma. Feltételes jellemzők származtatása szimulációval, az eredmény integrálása globális jellemzőkbe.
Modellparaméterezés: felhasználói hibametrikák, alkalmazások hibarátájának becslése: Raleigh-eloszláson alapuló közelítések, hibanapló analízis. Erőforráshibák leírása.
Számítandó jellemzők és meghatározásuk módja: rendelkezésre állás, teljesítőképesség, megbízhatóság.
Üzleti folyamatmodell és SLA alapján szolgáltatásbiztonsági jellemzők meghatározása (Multiple Phased System paradigmával). BPEL alapú folyamatok ellenőrzése, kooperáló folyamatok ellenőrzése. Robosztus üzleti folyamatok tervezése adatfolyamhálók használatával. Üzleti folyamatok ontológia alapú ellenőrzése.

5. Összefoglaló esettanulmány (3 óra elmélet/előadás)
Célkitűzés: a teljes elemzési folyamat bemutatása szintézis jelleggel egy vállalati alkalmazás tervezésénél.
Elektronikus üzleti infrastruktúra vizsgálata és méretezése. Költségbecslés. Megoldási alternatívák összehasonlítása.