K-INFO
HU
EN
Login
Subject » BMEVIMID102
Older versions Download TAD (PDF)

Foundations of Model-Driven Systems Engineering

A modellvezérelt rendszertervezés alapjai
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
Subject name (Hungarian, English)
A modellvezérelt rendszertervezés alapjai
Foundations of Model-Driven Systems Engineering
Subject code BMEVIMID102
Subject type —
Training Level —
Course types and hours (weekly/semester)
Course type lecture tutorial laboratory
hours (weekly) 4 0 0
type (linked/independent) — — —
Assessment type vizsga
Credits 5
Subject coordinator
DR. Varró Dániel
position: egyetemi tanár
Responsible department
Mesterséges Intelligencia és Rendszertervezés Tanszék
Faculty Villamosmérnöki és Informatikai Kar
Subject website http://www.mit.bme.hu/oktatas/targyak/vimid102/
Primary curriculum type —
Direct prerequisites – Strong prerequisite none
Direct prerequisites – Weak prerequisite none
Direct prerequisites – Parallel prerequisite none
Direct prerequisites – Milestone prerequisite none
Direct prerequisites – Exclusion none

Objectives

Programme
Bevezetés: Modellvezérelt rendszertervezés

Model Driven Architecture (MDA), Modellezési nyelvek helye, szerepe a modellvezérelt tervezési folyamatban, Modelltranszformációk, Rendszermodellek modelltranszformáció alapú analízise

Modellezési nyelvek tervezéseModellezési nyelvek szabványai (MOF, XMI), Modellezési nyelvek formális leírása (Leíró logikák, VPM), Kényszerleíró formalizmusok (OCL, leíró logikák, gráfminták) Esettanulmány: modellezési nyelveket támogató általános keretrendszerek (IBM: EMF, Sun: MDR), Aspektus-orientált modellezés

Az aspektus-orientált modellezés célja, problémái, Modellszövés, Modellbázisú kódgenerálás, Domain-specifikus modellezési nyelvek, UML Profile-ok és aspektusok kapcsolata, Esettanulmány: Schedulability, Dependability, Security aspektusok modellezése.

Modelltranszformációk és kódgenerátorok specifikációja

A modelltranszformáció matematikai háttere (gráftranszformáció, absztrakt állapotgépek, generikus és meta-transzformációk), Modelltranszformációs keretrendszerek (Viatra, Progres, stb.), Modellek szimulációja, Modellbázisú kódgenerálás (template-ek, modell-kód transzformációk), Automatikus nézetgenerálás, Modellkarbantartás, Modellek és transzformációk integrációja,

Esettanulmányok (modelltranszformáció): PIM-PSM transzformációk, UML, BPM és BPEL transzformációk, Esettanulmányok (Kódgenerátorok): kódgenerálás UML állapottérképekben; IBM: JET, Apache: Velocity, Microsoft: CodeDOM keretrendszerek.

Modelltranszformációk végrehajtása

Hatékony gráfmintaillesztési algoritmusok (kényszerkielégítés, lokális keresés), Gráftranszformáció adatbázisok felett, Modelltranszformációk megvalósítása objektum-orientált nyelven, Modelltranszformációs benchmarking, Esettanulmány: transzformációk megvalósítása Java és Prolog programként.

Modellek és modelltranszformációk formális analízise

Modellek transzformáció bázisú verifikációja és validációja, Modelltranszformációk tesztelése, Modelltranszformációk verifikációja, Optimalizálás és modelltranszformációk. Esettanulmány: Hibamodellezés és funkcionális helyességellenőrzés BPM és UML modelleken, Adatbiztonsági ellenőrzés BPM modelleken.

Napjainkban az informatikai rendszerek modellvezérelt fejlesztése nemcsak a szoftverfejlesztés, de az általános értelemben vett rendszerfejlesztés vezető trendjévé vált. A modellvezérelt fejlesztési folyamat központi problémáját e nyelveken belüli és e nyelvek közötti modelltranszformációk matematikailag precíz leírása jelenti. A tantárgy célja, hogy mérnöki szemléletű esettanulmányok felhasználásával bemutassa a modellvezérelt tervezés matematikai alapjait és modern technológiáit. A tantárgy előadásai során olyan eszközöket és technikákat mutatunk be, melyet a hallgatók felhasználhatnak kutatásaik során felmerülő modellezési és transzformációs problémák megoldására is.

Learning outcomes

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

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

előadás

Tanulástámogató anyagok

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies
(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)
objektum-orientált szoftvertervezés, formális módszerek, UML bázisú modellezés
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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)
objektum-orientált szoftvertervezés, formális módszerek, UML bázisú modellezés
General rules
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 a hallgató saját kutatási témája köréből választott kisméretű modelltranszformáció megtervezése, implementálása, validálása, dokumentálása, és prezentálása kiselőadás formájában. b. A vizsgaidőszakban: A hallgatók a tárgyból szóbeli vizsgát tesznek. A vizsgajegyben a házi feladatra kapott jegyet 50 %-os súllyal figyelembe vesszük. Kiemelkedő szinten teljesített házi feladat esetén megajánlott jegyet adunk. c. Elővizsga: Megbeszélés szerint az utolsó tanítási héten Pótlási lehetőségek: A házi feladatok csak a szorgalmi időszakban adhatók be.
Assessment methods
In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses
nincs
Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement

No curriculum placements recorded for this subject version.