UML bázisú modellezés és analízis

UML Based Modelling and Analysis

A tantárgyleírás hatályossága

Hatályosság kezdete:

—

Hatályosság vége:

—

Tantárgy neve (magyarul, angolul)

UML bázisú modellezés és analízis

UML Based Modelling and Analysis

Tantárgykód

BMEVIMM9163

Tantárgyjelleg

—

Képzési szint

—

Kurzustípusok és óraszámok (heti/féléves)

Kurzustípus	elmélet	gyakorlat	laboratóriumi gyakorlat
óraszám (heti)	4	0	0
jelleg (kapcsolt/önálló)	—	—	—

Tanulmányi teljesítmény/értékelés típusa

vizsga

Tantárgy kreditértéke

Tantárgyfelelős

DR. Varró Dániel

beosztás: egyetemi tanár

elérhetőség: varro.daniel@vik.bme.hu

Tantárgyat gondozó oktatási szervezeti egység

—

Kar

Tantárgy weboldala

http://www.mit.bme.hu/oktatas/targyak/vimm9163/

Tantárgy elsődleges mintatantervi jellege

—

Közvetlen előkövetelmények – Erős előkövetelmény

nincs

Közvetlen előkövetelmények – Gyenge előkövetelmény

nincs

Közvetlen előkövetelmények – Párhuzamos előkövetelmény

nincs

Közvetlen előkövetelmények – Mérföldkő előkövetelmény

nincs

Közvetlen előkövetelmények – Kizáró feltétel

nincs

Célkitűzés

Tantárgyprogram

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)

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.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

előadás

Tanulástámogató anyagok

Online források

[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)

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

Formális módszerek, Programozás technológiája

Képesség típusú kompetenciák

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

Formális módszerek, Programozás technológiája

Általános szabályok

Követelmények: 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

Teljesítményértékelési módszerek

Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak

Neptun-kód Cím vimm3245 Formális módszerek

A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága

Tantárgykövetelmények hatályosságának kezdete:

—

Tantárgykövetelmények hatályosságának vége:

—

Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.