Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István

Átírás

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!"#$%!&!"#$%!&!"#$%!&!"#$%&'(!"#$%&'(!"#$%&'(!" /$0$123)"& 4& '&()*&!" /$0$123)"& 4& '&()*&!" /$0$123)"& 4& '&()*& +)%,& -.& +)%,& -.& +)%,& -.& 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 Platform független modell Visszafejtés (RE), modellezés Platform független modell CORBA modell J2EE modell Beágyazott platform modell Platform specifikus modell CORBA alkalmazás J2EE alkalmazás Beágyazott alkalmazás Öröklött kód Kész alkalmazás

6 DSM MDA PIM Modellezés (re-engineering) Szakterületi modellek Szakterületi CORBA modell J2EE modell modellek Beágyazott platform modell Platform generátor modell CORBA alkalmazás J2EE alkalmazás Beágyazott alkalmazás Öröklött kód Kész alkalmazás

7 DSM-alapú fejlesztési folyamatok Specifikáció = analitikus modellezés Iteratív fejlesztés (generatív technikák) Eszközkészlet prototipizálás

8 Nyelvfejlesztés Jólformáltsági kényszerek Konkrét szintaxis Dinamikus modellezés Absztrakt szintaxis Kódgenerátorok 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

13

14 Egy jobb architektúra

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.

17

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 Leírás Szimulációs lépések leírása valamely modelltranszformációs nyelven. 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!

21 Technológiai háttér: eseményvezérelt modelltranszformációk

22 A háttérben: inkrementális gráfmintaillesztés

23 Formalizmus: gráftriggerek

24 Végrehajtás

25 Inkrementális kódgenerálás, modell-kód szinkronizáció

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!