PhD disszertáció téziseinek előzetes bemutatója. BME-MIT tanszéki értekezlet, 2010. 02.03.

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

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.

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!

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!