K-INFO
HU
EN
Login

UML Based Modelling and Analysis

UML bázisú modellezés és analízis
A tantárgyleírás hatályossága
Hatályosság kezdete:
Hatályosság vége:
Subject name (Hungarian, English)
UML bázisú modellezés és analízis
UML Based Modelling and Analysis
Subject code BMEVIMM9163
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
Faculty
Subject website http://www.mit.bme.hu/oktatas/targyak/vimm9163/
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: 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.

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)
Formális módszerek, Programozás technológiája
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)
Formális módszerek, Programozás technológiája
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 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
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
Neptun-kód Cím vimm3245 Formális módszerek
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.