Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben
•
0 likes•304 views
PhD disszertáció téziseinek előzetes bemutatója. BME-MIT tanszéki értekezlet, 2010. 02.03.
Report
Share
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben
- 1. Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben Ráth István rath@mit.bme.hu
- 2. A grafikus nyelvek... • mindenhol ott vannak: – Grafikus felületek (Visual Studio) – Relációs sémák (dbdesign) – Web layout (Dreamweaver) – UML eszközök (Rational) – Üzleti folyamat modellezés (Oracle BPEL designer) • Mi tesz egy nyelvet nyelvvé? – elemek („mit rajzolhatunk?”) – szabályok („hogyan rajzolhatunk?”) • Miért jó egy ilyen nyelv? – Alkalmazkodik a célterülethez (kifejezésbeli értelemben) – … és a felhasználóhoz is („intuitív” megjelenés)
- 3. Domain-specifikus nyelvek !"#$%!& !"#$%!& !"#$%!& !"#$%&'( !"#$%&'( !"#$%&'( 4& 4& 4& '&()*& '&()*& '&()*& !" !" !" /$0$123)"& /$0$123)"& /$0$123)"& +)%,& -.& +)%,& -.& +)%,& -.& Metamodell = elemkészlet + szabályok
- 4. Domain-specifikus nyelvek DSML= metamodell + további szabályok Okos editorral ezeket be lehet tartatni, a felhasználó csak „helyes” modelleket rajzolhat. De: helyes != értelmes
- 5. Modell-vezérelt fejlesztés Visszafejtés (RE), modellezés Platform Platform független független modell modell Beágyazott Platform CORBA J2EE platform specifikus modell modell modell modell CORBA J2EE Beágyazott Öröklött Kész alkalmazás alkalmazás alkalmazás kód alkalmazás
- 6. DSM⊆MDA Modellezés PIM (re-engineering) Szakterületi modellek Szakterületi modellek Beágyazott Platform CORBA J2EE platform generátor modell modell modell modell CORBA J2EE Beágyazott Öröklött Kész alkalmazás alkalmazás alkalmazás kód alkalmazás
- 7. DSM-alapú fejlesztési folyamatok Specifikáció = Iteratív fejlesztés analitikus modellezés (generatív technikák) Eszközkészlet prototipizálás
- 8. Nyelvfejlesztés Jólformáltsági Konkrét kényszerek szintaxis Absztrakt Kódgenerátorok szintaxis Dinamikus modellezés Nyelvközi leképezések
- 9. Problémák, kihívások absztrakt-konkrét szintaxis kapcsolata jólformáltsági kényszerek hatékony kiértékelése dinamikus modellezés, animáció integrált megvalósítása inkrementális kódgenerálás, modell-kód szinkronizáció ...
- 10. Javaslat Transzformációk integrált alkalmazása a nyelvtervezés hatékony támogatására DSML1 DSML2 DSMLn Domain-specifikus nyelvi környezet Modelltranszformációs keretrendszer
- 11. Több nézet, egységes modelltér A nyelv (domain) B nyelv (domain) <<A>> <<A,B>> <<B>> Többnyelv! modellek
- 12. Absztrakt-konkrét szintaxis Probléma: bonyolultság, kötött szabályok
- 15. Jólformáltsági kényszerek Probléma: on-the-fly kiértékelés, azonnali visszajelzés Formalizmus: OCL, ... Hogyan lehet hatékonyan?
- 16. Kényszerek→inkrementális transzformációk Javaslat: kényszerkielégítés szisztematikus visszavezetése speciális inkrementális modelltranszformációkra.
- 18. Dinamikus modellezés Cél: diszkrét szimuláció-animáció az állapotot diszkrét időben értékeljük ki Pl. állapot térképek, Petri hálók, DFN, Kripke automaták… Operációs szemantika Egy állapotátmenet végrehajtásának leírása a nyelv saját kontextusában. Denotációs szemantika Leképezés egy, már ismert operációs szemantikájú formalizmusra.
- 19. Animáció→inkrementális modelltranszformáció Denotációs megközelítés Szimulációs lépések leírása valamely modelltranszformációs nyelven. Leírás Metamodell Szimulációs lépések (szabályok) Szabályok leírása Engedélyezettségi feltétel: milyen lokális állapotban tüzelhető a szabály? (kontextus) Végrehajtás: elemi műveletek sorozata.
- 20. “on-the-fly” animáció Tetszőleges szerkesztési lépések is megengedettek a szimuláció futása közben!
- 24. Végrehajtás
- 26. Eseményvezérelt szinkronizáció /01-&+# ,(-*+.# !"# !$# &'()*+# !"%# !$%#
- 27. Az eredmények hasznosítása VIATRA2 projekt EU kutatási projektek transzformációk: SENSORIA eszközintegráció: SENSORIA, MOGENTES (, DIANA) nemzetközi kooperáció: VoIP hálózatok sztochasztikus szimulációja (ULE) oktatás Eclipse-es szakmai választható tárgyak (BSc, MSc) (eclipse.inf.mit.bme.hu) MSc szakiránytárgy: Modellvezérelt rendszertervezés (modeling.inf.mit.bme.hu) MIT-AUT kooperációban szakmai választható tárgy: Modellvezérelt szoftverfejlesztés
- 28. Köszönöm szépen a figyelmet!