Modellalapú rendszertervezés
A tantárgy angol neve: Model Based System Design
Adatlap utolsó módosítása: 2012. május 30.
Tantárgy lejárati dátuma: 2015. június 30.
Szoftvertechnológia
A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.
A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.
A tantárgy célkitűzése az üzleti alkalmazások és a beágyazott rendszerek területén elterjedt, ipari szabványnak tekinthető modellezési nyelvek, és az ezekre épülő tervezési és megvalósítási technikák bemutatása. A tárgy megismertet tipikus eszközökkel és bemutatja a szabványos nyelvek kiterjesztési és testre szabási lehetőségeit is.
- Bevezetés a modellalapú rendszertervezésbe:
o Modellezési nyelvek felépítése: Szintaxis, szemantika, a metamodellezés bemutatása, megvalósulásuk az UML (Unified Modeling Language) esetén.
o A modellezési nyelvek kiterjesztési lehetőségei: A szakterület-specifikus modellezés szerepe, szakterület-specifikus nyelvek alapjai és az UML szabványos kiterjesztései.
o A modellalapú tervezés szerepe és helye a tervezési folyamatban: A modellalapú tervezési lépések kapcsolódása, a modellalapú tervezés hatása a minőségre és megbízhatóságra.
- Beágyazott rendszerek modellalapú rendszertervezése:
o A modellalapú rendszertervezés szerepe beágyazott rendszerekben: Specifikus követelmények (valósidejűség és erőforrás kezelés) és a fejlesztési folyamatra vonatkozó előírások (verifikáció és validáció, igazolás, tanúsítás).
o A rendszerszintű leírás eszközei: Systems Modeling Language (SysML).
o Kiterjesztések beágyazott rendszerekhez: Az általános erőforrásmodell, az UML Profile for Schedulability, Performance and Time Specification.
o Kiterjesztések a tesztelési fázisban történő modellezéshez: UML 2 Testing Profile.
o Modell alapú kódgenerálás és tesztgenerálás állapot alapú reaktív rendszerekben: C illetve C++ kód generálása, teszt szekvenciák specifikáció alapú automatikus generálása, teszt fedettségi analízis.
o Integrált fejlesztői rendszerek: Az Esterel SCADE rendszere (modellezés, helyességigazolás, tanúsított kódgenerálás, a tesztelés támogatása).
- Üzleti folyamatok és szolgáltatás-orientált rendszerek modellalapú tervezése:
o A főbb folyamatleíró nyelvek áttekintése: BPEL, BPMN, XPDL.
o Megvalósítási lehetőségek (BPEL motorok).
o Folyamatmodellező eszközök: pl. IBM WebSphere Business Modeler, TIBCO Business Studio, ActiveBPEL. Az XPDL kiterjesztési lehetőségeinek használata.
o Szolgáltatás-orientált rendszerek szerkezetének leírása: Service Component Architecture, UML4SOA profile.
o Szolgáltatásminőség modellezése: OMG QoS & Fault Tolerance profile.
- Szakterület-specifikus nyelvek definiálása és feldolgozása:
o Szakterületi fejlesztés DSLTools környezetben.
o Modellezés és modell-feldolgozás gráf-újraírás alapú keretrendszerben.
o Többirányú modelltranszformációk, modell-szinkronizáció.
- Esettanulmányok:
o Mintapéldák európai uniós projektek eredményei alapján: Komponens alapú beágyazott rendszerek (DECOS), szolgáltatás-orientált rendszerek (SENSORIA), biztonságkritikus rendszerek (DIANA), mobil szolgáltatások (HIDENETS).
a. A szorgalmi időszakban:
A vizsgára bocsátás feltétele egy modellezés témájú házi feladat kidolgozása, amelynek célterülete a tárgy témakörei közül választható (beágyazott rendszer vagy üzleti folyamat modellalapú tervezése, szakterület-specifikus modellezési nyelv használata).
b. A vizsgaidőszakban:
Írásbeli vizsga (opcionálisan szóbeli javítási lehetőséggel) az előadások anyagából.
c. Elővizsga:
Elővizsga nincs.
A házi feladat beadása a pótlási időszakban pótolható.
Előre egyeztetett formában, a házi feladat megoldásával kapcsolatban.
- Az előadások anyaga fóliák formájában.
- A tárgyhoz kiadott angol nyelvű segédletek (kivonatok modellezési nyelvek illetve profilok leírásából).
Ajánlott irodalom:
- A. Kleppe, J. Warmer, W. Bast: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, 2003.
- B. D. Powell: Real Time UML: Advances in the UML for Real-Time Systems, Third Edition, Addison Wesley, 2004.
- A hivatkozott szabványok letölthető formában, angol nyelvű on-line tutorial anyagok.
MIT