objektum-orientált szoftvertervezés, formális módszerek

Az UML (Unified Modeling Language) napjainkra az objektum-orientált rendszermodellezés szabványos leíró nyelvévé vált, melyet széles körben használnak hálózati alkalmazások, üzleti folyamatok, biztonságkritikus, beágyazott és real-time rendszerek tervezésekor.

A tantárgy célja, hogy egy webalkalmazás tervezésén és implementációján keresztül egyszerre mutassa be az UML nyelv használatát a modellbázisú szoftvertervezési folyamatban és az ipari környezetben használatos J2EE implementációs technológia oldaláról.

Egyrészről mérnöki szemléletű bevezetést ad az UML alapú rendszertervezés világába, és áttekintést nyújt az UML speciális alkalmazásterületeihez kapcsolódó szabványokról. Másrészről ipari eszközök használatával megmutatja, hogy az UML bázisú modellezés hogyan kapcsolódik a napjainkban a webalkalmazások körében igen elterjedt J2EE alapú implementációs technológiához. Végezetül, betekintést nyújt az UML modellek modelltranszformáció alapú formális analízisébe.

Bevezetés: UML alapú rendszertervezés és analízis

Model Driven Architecture (MDA), az UML szerepe az MDA-ban, az UML nyelv fejlődése, UML alapú rendszertervezés és analízis; UML modellek modelltranszformáció alapú analízise

UML bázisú követelményanalízis

Használati esetek és aktorok, Forgatókönyvek, Esettanulmány: modern eszközök a követelményanalízisben (RequisitePro)

Platform-független UML modellezés (Rendszeranalízis)

Statikus tervezés, Architektúra tervezés (Entity, Control, Boundary osztályok), Statikus kényszerek (OCL), Dinamikus viselkedés leírása, Felhasználói felületek logikai tervezése (UML Állapottérképek), Esettanulmány

Platformfüggő UML modellezés (Részletes tervezés)

Tervezési minták, Automatikus kódgenerálás, Hatékony kódgenerálási technikák (JET, Velocity), Erőforrás modellezés (UML Profile for Schedulability, Performance and Time), UML modellek formális analízise, Esettanulmány

Domain-specifikus modellezés

Az UML kiterjesztési mechanizmusai, Metamodellezés (MOF, EMF, XMI), Sztereotípiák, J2EE platform modell, Modelltranszformációs technikák

Webalkalmazások fejlesztése

A J2EE szoftver architectúra, szerver oldali megoldások (Enterprise Java Beanek), webalkalmazások megvalósítása (JSP, HTTP Szervletek), Objektumok és relációs adatbázisok kapcsolata (objektum-relációs leképezés, EJB-QL)

UML bázisú tesztelés

Egységtesztelés, követelmény alapú tesztelés, állapottérkép alapú tesztelés, modern tesztelési eszközök (JUnit, Rational Test Suite)

előadás

A félévvégi aláírás feltétele egy házi feladat legalább elégséges szintű teljesítése. A házi feladat egy kisméretű webalkalmazás UML alapú rendszermodelljének és J2EE alapú implementációjának elkészítése, melyeket a hallgatók csoportokba osztva végeznek el modern ipari fejlesztőeszközök felhasználásával. A házi feladat elkészítését a projekt előrehaladásával folyamatosan (kéthetente) ellenőrizzük, az elégséges szintű teljesítéshez valamennyi részfeladatot időben és megfelelő szinten meg kell oldani. A házi feladat beadása csak a szorgalmi időszakban teljesíthető.

A hallgatók a tárgyból írásbeli vizsgát tesznek. A jegyhatáron lévő hallgatók számára opcionális szóbeli vizsgát tartunk. Az érintett hallgatók névsorát az írásbeli eredmények kihirdetésekor tesszük közzé. A vizsgajegyben a házi feladatra kapott jegyet 50 %-os súllyal figyelembe vesszük.

1. Elővizsga: nincs

A házi feladat beadása csak a szorgalmi időszakban történik, a vizsgaidőszakban a házi feladatot semmilyen módon nem lehet pótolni.

A felhasznált ipari fejlesztőeszközök megismerésére fakultatív laborokat szervezünk. A házi feladattal kapcsolatban felmerülő problémák megbeszélésére közös (nagy csoportos) demonstrációkat szervezünk, melyen a részvétel nem kötelező.

[1] Az előadások fóliaanyag + tutorial-ek az egyes fejlesztőeszközökhöz és technológiákhoz

[2] Aktuális OMG szabványtervezetek (weben elérhetők)

[3] Válogatott IBM Redbook-ok

[4] UML 2000-2004 konferenciák, valamint a MODELS konferenciák válogatott anyagai (Springer)