Belépés címtáras azonosítással
magyar nyelvű adatlap
UML bázisú modellezés és analízis
A tantárgy angol neve: UML Based Modelling and Analysis
Adatlap utolsó módosítása: 2007. június 15.
Tantárgy lejárati dátuma: 2009. november 24.
Villamosmérnöki Szak
Műszaki Informatika Szak
Választható tárgy
Név:
Beosztás:
Tanszék, Int.:
Dr. Pataricza András
egyetemi docens
MIT
Formális módszerek, Programozás technológiája
Neptun-kód Cím
vimm3245 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 egyszerre mutassa be az UML-t a rendszermodellezés, és a hozzá kapcsolódó formális rendszeranalízis 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. Az UML modellek analízisét ugyanakkor matematikai precizitással tárgyalja, bepillantást adva az automatikus modelltranszformációk által támogatott formális verifikáció és validáció területé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 alapú rendszermodellek modelltranszformáció alapú analízise, modelltranszformációs architektúrák
Az UML elemkészlete, az UML alapú rendszertervezés folyamata
Statikus diagramok (Use Case, Class, Collaboration), Dinamikus diagramok (Sequence, Statechart), Implementációs diagramok (Deployment), egy mintarendszer tervezése (esettanulmány)
UML-hez kapcsolódó szabványok, Hibatűrés és UML
Profile for Schedulability, Performance and Time; EDOC, RT-UML, XMI, UML alkalmazása hibatűrő rendszerek fejlesztése során, esettanulmány
Metamodellezés és statikus kényszerleíró nyelvek,
MOF architektúra, metamodellezés és matematika, tetszőleges metaszintű metamodellezés (VPM, MML), esettanulmányok, Object Constraint Language (OCL) leíró nyelve, OCL szemantikája, grafikus kényszerleíró nyelvek, esettanulmányok
Gráftranszformáció: a modelltranszformáció és metamodellezés operációs szemantikája
gráftranszformáció különböző megközelítései (SPO, DPO), gráftranszformációs szabályrendszerek függetlensége, elosztott gráftranszformáció, hatékony gráfmintaillesztési algoritmusok,
A VIATRA modelltranszformációs rendszer és alkalmazása UML környezetben
A VIATRA elméleti háttere, VIATRA alapú szimulátorok (Petri háló, állapottérképek, gráftranszformáció), modelltranszformációk tervezési metodikája, tool bemutató, modellellenőrzés UML állapottérképeken, állapottérképek teljességellenőrzése, automatikus programgenerálás, hibatűrési és teljesítmény paraméterek becslése (esettanulmányok)
előadás
a. A szorgalmi időszakban:
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ű információs rendszer UML alapú rendszermodelljének elkészítése vagy egy UML modelltranszformáció megtervezése a hallgató választása szerint. A házi feladat kiadására a 4. oktatási héten kerül sor, a beadásához kapcsolódó beszámoló, ill. bemutató a 8. oktatási héttől a szorgalmi időszak végéig terjedő időszakban ütemezhető.
A zárthelyi illetve a feladat beadása csak a szorgalmi időszakban teljesíthető. A megszerzett aláírás csak a megszerzés félévében és azt követő félévben érvényes.
b. A vizsgaidőszakban:
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 lehetőséget biztosítunk. 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 10 %-os súllyal figyelembe vesszük. Kiemelkedően teljesített házi feladat esetén megajánlott érdemjegyet adunk.
c. Elővizsga: nincs
[1] Aktuális OMG szabványtervezetek (weben elérhetők)
[2] G. Rozenberg (editor): Handbook of Graph Grammars and Computing by Graph Transformation I-III. World Scientific, 1997-1999.
[3] UML 2000-2002 konferenciák válogatott anyagai (Springer)
Varró Dániel
doktorandusz