https://vik.wiki/index.php?action=history&feed=atom&title=MscMVPKidolgozas 2026-05-16T15:11:46Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=MscMVPKidolgozas&diff=139560&oldid=prev 2012-10-21T20:43:18Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoszak|MscMVPKidolgozas}} * Modellezés: a bonyolult valóság egy egyszerűsített nézete ** Tervrajz: A terv alapján építhetünk ** Recept: Ut…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoszak|MscMVPKidolgozas}}<br /> <br /> * Modellezés: a bonyolult valóság egy egyszerűsített nézete<br /> ** Tervrajz: A terv alapján építhetünk<br /> ** Recept: Utasításhalmaz<br /> ** Makett: Kicsiben<br /> * Szakterület specifikus nyelv<br /> ** Absztrakt szintaxis: A nyelv struktúrája+kényszerek<br /> ** Konkrét szintaxis: Megjelenítés<br /> ** Szemantika: A nyelv jelentése<br /> * Metamodellezés: Egy nyelv absztrakt szintaxisának megadása formálisan<br /> ** MOF (Meta-Object Facility): 4 szintű (Objektumok, modellező, metamodellező (UML), MOF)<br /> *** Zárt: Önmagához hű<br /> *** Szigorú: Minden elem szoros kapcsolatban van a fölötte levő szint elemével<br /> ** XMI: Modellek sorosítása (MOF-&gt;XML)<br /> * Modell elemek<br /> ** Adattípusok: Primitívek, felhasználó által megadottak<br /> ** Osztályok<br /> ** Attribútumok<br /> *** Modellelemekre írt címkeként: Kiforratlanabb matematikai háttér<br /> *** Speciális modellelemként (vonallal csatlakozik): Átláthatatlan, ha sok van belőle<br /> ** Asszociáció<br /> *** Multiplicitás<br /> *** Sorrendezés, egyediség<br /> *** Asszociációs osztállyal lehet attribútumokat adni neki<br /> ** Kompozíció<br /> ** Általánosítás<br /> *** Absztrakt és konkrét osztályok<br /> *** Többszörös örökéls<br /> **** Névütközés: Azonos nevű attribútum vagy metódus<br /> **** Ismételt öröklés: A két ős ugyanabból származik<br /> * Modell megfelelés: Jól formált, ha a metamodell elemeit használja és kielégíti annak kényszereit<br /> * OPRR (Object-Property-Relationship-Role Model):<br /> ** Nagyjából mint az ER, de van Role, ami az objektumot kapcsolja a kapcsolathoz, és ezt nevesíti (pl. állapotokat tranzíciók kötik össze, akkor lesz egy forrás és egy cél szerepű tranzíció)<br /> * VMTS (Visual Modelling and Transformation System):<br /> ** n szintű<br /> ** Szintek között azonos a példányosítási művelet<br /> ** Atom típus<br /> *** Név, attribútum, összetett típus(~struct)<br /> ** Mély példányosítás: Egy modellezési hierarchiában alkalmazott példányosítást mély példányosításnak (deep instantiation) nevezzük, ha az n. szinten modellezett információ elérhető az n+x. (x &gt; 1) szinten<br /> *** Attribútumoknál megadható, hogy a következő szinten pédányosodjon-e<br /> * XMF (eXecutable Metamodelling Facility)<br /> ** Meg lehet adni a konkrét szintaxist és a szemantikát is =&gt; végrehajtható a nyelv<br /> * EBNF (Enhanced Backus-Naur Form):<br /> ** Szöveges<br /> ** Profukciós szabályokból áll<br /> ** Boolean = &amp;#8221;True&amp;#8221; | &amp;#8221;False&amp;#8221;<br /> ** Konkatenáció: ,<br /> ** Opcionális: []<br /> ** Ismétlés: {}<br /> ** Pl.: international-number = [(&amp;#8221;00&amp;#8221; | &amp;#8221;+&amp;#8221;), &amp;#8221;36&amp;#8221;], area-code, localnumber;<br /> * Szemantika<br /> ** Mit jelentenek a jelölések<br /> ** Megadása<br /> *** Informális<br /> *** Operációs: Hogyan hajtjuk végre<br /> *** Denotációs: Matematikai objektumokra képezzük és azok tulajdonságait vizsgáljuk<br /> *** Axiomatikus: Elő-, és utófeltételeket ír le, nem a teljes szemantikát írja le<br /> * OCL (Object Constraint Language): Megszorítások a metamodellen, amiket a példányoknak ki kell elégíteniük<br /> ** Deklaratív<br /> ** Nincs mellékhatás<br /> ** Formális szintaxis és szemantika<br /> ** Kontextus<br /> * Az az entitás, amire a kényszert definiáljuk<br /> * Típusa: Az entitás típusa<br /> * Példány: A konkrét példány, amire fut a kiértékelés. self kulcsszóval érhető el<br /> ** Invariáns: Minden pillanatban fennáll, osztályra definiáljuk. inv kulcsszó<br /> ** Elő-, és utófeltétel: Művelethez definiáljuk, a futás előtti és az utáni időpillanatban igaz. pre és post kulcsszavak.<br /> *** attrnév@pre-vel lehet hivatkozni az attribútum művelet előtti értékére<br /> ** Kezdeti érték: Attribútumra vagy asszociációra vehető fel, létrehozáskor ez lesz az értéke. init kulcsszó<br /> ** Származtatott érték: Más elemekből származtatott. derive kulcsszó<br /> ** Típusok: String, Integer, Boolean, Real, Collection, Set, Bag, Sequence + felhasználó által készítettek<br /> ** Örökléssel a kényszerek is öröklődnek<br /> *** Invariánst lehet szigorítani<br /> *** Előfeltételt lehet enyhíteni<br /> *** Utófeltételt lehet szigorítani<br /> ** Elágazás: if a then b else c endif<br /> ** Enumerációk: EnumerációTípus::Kifejezés<br /> ** OclIsKindOf(objektum): Igaz, ha az objektum feljebb van az öröklési fában, mint self.<br /> ** OclIsTypeOf(objektum): Igaz, ha az objektum lejjebb van az öröklési fában, mint self.<br /> ** oclAsType(): Castolás<br /> ** Navigáció asszicációkon keresztül<br /> *** Ha 0..1, akkor mutató<br /> *** Ha &gt;1, akkor kollekció<br /> ** Műveletek kollekciókon<br /> *** size()<br /> *** select(kif)/reject(kif): Azokat választja, ki amikre igaz/hamis a kifejezés<br /> *** including(obj)/excluding(obj): Hozzáadja/elhagyja az elemet a kollekcióból<br /> *** count(obj): Megszámolja, hogy az objektum hányszor szerepel<br /> *** isEmpty()/notEmpty<br /> *** forAll(kif): Igaz, ha minden elemre igaz<br /> ** Lekérdező műveletekre megadhatjuk, hogy pontosan mit is adjon vissza. bodí kulcsszó<br /> * Konkrét szintaxis megadási módszerek<br /> ** Metamodellben vannak a megjelenítést megadó attribútumok<br /> ** Kódolás<br /> ** Modellben írjuk le<br /> * Tervezési minták vannak a szakterületi nyelvekben is<br /> * Generatív programozás: Írunk egyszer egy alapot, és abból generáljuk a kész programot<br /> ** Az alapot elég egyszer megírni, és utána alacsony befektetéssel tudunk hasonló szoftvereket készíteni<br /> * Funkciómodellezés: Termékcsalád elemei közötti különbségek leírására<br /> ** Funkciók, közöttük élek<br /> ** Teli kör: Kötelező elem<br /> ** Üres kör: Opcionális<br /> ** Kitöltött ív: 1..* kapcsolat<br /> ** Üres ív: Alternatív<br /> * Szimuláció: A rendszer a specifikációnak megfelelően működik? De a megépítése drága, ezért szimuláljuk<br /> ** Rendszerspecifikációs hierarchia<br /> *** Megfigyelési keret: Bemenetek és kimenetek<br /> *** I/O viselkedés: Bemeneti és kimeneti trajektóriák<br /> *** I/O függvény: Tetszőleges bemenetre kiszámolható a kimenet<br /> *** Állapotátmenet: Bemenetre létrejött állapotváltozásokat is követni tudjuk<br /> *** Komponensek: Fehér doboz, ismertek a részek és a közöttük levő kapcsolatok<br /> ** DEVS rendszer megadása:<br /> *** X: bemeneti értékek halmaza<br /> *** S: állapotok halmaza<br /> *** Y: kimeneti események halmaza<br /> *** &amp;#948;int: S &amp;#8594; S a belső állapotátmeneti függvény<br /> *** &amp;#948;ext: [[QxX]] &amp;#8594; S a külső állapotátmeneti függvény, ahol<br /> *** Q a teljes állapothalmaz<br /> *** e az utolsó állapotváltás óta eltelt idő<br /> *** &amp;#955;: S &amp;#8594; Y a kimeneti függvény<br /> *** ta: S &amp;#8594; R+<br /> * Modelltranszformáció<br /> ** Imperatív/deklaratív<br /> ** Osztályozás:<br /> *** Endogén/exogén: Azonos/különböző cél és forrásnyelv<br /> *** Horizontális/vertikális: Azonos/különböző absztakciós szint<br /> * Gráftranszformáció: Modellek legtöbbször gráfokkal vannak leírva, így a transzformációkkal a modellek változását írhatjuk le<br /> ** LHS,RHS: Left/Right Hand Side, a transzformáció a bal oldali gráfból a jobb oldalit csinálja<br /> ** L-R: törlés, R-L: létrehozás<br /> ** Működés<br /> *** LHS-re illeszkedő minta keresése<br /> *** L-R törlése<br /> *** R-L másolatának hozzáadása<br /> ** Problémák<br /> *** Lógó élek<br /> *** Konfliktusok: Vagy egyik vagy másik szabályt tudjuk csak alkalmazni<br /> *** Okozati összefüggés: Ha felcseréljük őket, akkor megváltozik az eredmény<br /> ** További lehetőségek<br /> *** Csomópontok csoportos kezelése (pl. vmennyi Field egyben)<br /> *** Negatív feltételek (pl. nincs pacman a szellem mellett)<br /> *** Prioritás: A magasabb prioritású szabály lesz mindig alkalmazva, ha konfliktusban lenne egy másikkal<br /> ** Funkcionális követelmények<br /> *** Use Case leírás<br /> *** Konfliktusban lehetnek műveletek, pl mindkettő ugyanazt az élt akarja törölni<br /> *** Kritikus pár analízis: Megkeresni a lehetséges konfliktusokat és okozati összefüggéseket<br /> ** TGG (Triple Graph Grammars): left, corr, right oldalakkal. A corr az elemek megfelelőségét adja meg, így össze lesznek kapcsolva<br /> *** Absztrakt szintaxis -&gt; Szemantikát transzformál<br /> ** Operációs szemantika: A gráfban szerepeltessük a futásidejű állapotot is<br /> * Metamodell alapú transzformáció<br /> ** Szabályok: Modellben vannak megadva<br /> *** Illesztésnél a szabály modell egy példányát keressük az LHS-ben<br /> *** Struktúra, metatípus információ, kényszerek, műveletek<br /> ** Vezérlés<br /> *** Nem determinisztikus: Nincs explicit vezérlés<br /> *** Negatív alkalmazási kritérium: Adott helyzetben megakadályozza a szabály futását<br /> *** Nyelvként<br /> **** Szabályok sorrendezése<br /> **** Paraméterátadás<br /> **** Adatfolyam jelleg: Minden szabály a végrehajtáskor az előzőnek az eredményén dolgozik<br /> **** Elágazás<br /> **** Hierarhikus<br /> **** Iteráció, rekurzió<br /> **** Fork, join<br /> **** Kimerítő szabályalkalmazás: Mindaddig hajtódik végre a szabály újra és újra, amíg van illeszthető LHS<br /> * Validált modelltranszformáció<br /> ** Online, offline validáció<br /> ** Design by Contract: A kommunikációt definiálja<br /> ** Validáció<br /> ** Elő-, és utófeltételek<br /> ** Validáció: S szabály előtt biztos, hogy igaz, különben a szabály sikertelen<br /> ** Megőrzés: P megőrzi az értékét<br /> ** Garantálás: S után P mindig igaz<br /> ** Tervezési minták<br /> *** Helper: Összeköt ideiglenesen 2 entitást<br /> *** Optimalizált tranzitív lezárt minta: lezártat számol, ehhez felvesz egy segédentitást, majd azt az ősök felé mozgatja, míg a lezárt elemeit összegyűjti. Azért optimalizált, mert egyetlen segítőt használ<br /> * Modellalapú módszertanok<br /> ** MIC (Model-Integrated Computing): Metamodell &lt;-&gt; Modell &lt;-&gt; Alkalmazás. Van visszacsatolás<br /> *** MIPS (Model-Integrated Program Synthesis)<br /> ** MDA (Modellvezérelt architektúra): Modellből platformspecifikus részeket több modellprocesszorral állítunk elő, így pl generálható a kód különböző mobiltelefonokra<br /> * Többirányű modelltranszformáció: Modellt és kódot együtt módosítjuk, vagy mergelünk<br /> ** TGG: Oda-, és visszairányú szabály egyszerre<br /> ** QVT (Query/View/Transformation):<br /> *** Relations nyelv: Tud összetett objektummintákat illeszteni. Traceket helyez el, így könnyen nyomonkövethető<br /> **** Relation: Követelmények, amiket a modellnek teljesítenie kell<br /> **** Domain: Típusos változó, a modellbe illeszkedik<br /> **** When klóz: Feltételek, amiknek teljesülése esetén a relációnak teljseülnie kell<br /> **** Where klóz: Feltételek, amiket a relációnak biztosítania kell<br /> **** Top level reláció: Nem csak wehere feltételből hívódnak<br /> **** Checkonly mód: Ellenőrzi, hogy a modell megfelel-e a specifikáltnak<br /> **** Enforce mód: Elvégzi s szükséges transzformációkat, hogy a modell megfeleljen a specifikációnak<br /> **** Kulcsok: Biztosítható, hogy ne készüljenek duplikált objektumok<br /> *** Core nyelv: Kényszerek kiértékelése, ellenőrzése<br /> *** Imperatív implementáció: Operational Mappings<br /> * Aspektusorientált fejlesztés:<br /> ** Crosscutting Concerns: A programban szétszóródott, de logikailag egybe tartozó részek<br /> ** 1 helyen vesszük fel a szabályt (aspektus)<br /> ** Meghatározzuk a pontokat, ahol alkalmazásra kell, hogy kerüljön (joinpoints)<br /> ** Egy szövő fordítási időben beilleszti az aspektusokat a megfelelő helyre<br /> <br /> -- [[SallaiTamas|sashee]] - 2010.05.20.<br /> <br /> <br /> [[Category:Infoszak]]</div>

Unknown user