Szakterület-specifikus modellezés és modellfeldolgozás

Az előadások a következő témára: "Szakterület-specifikus modellezés és modellfeldolgozás"— Előadás másolata:

1 Szakterület-specifikus modellezés és modellfeldolgozás
Budapesti Műszaki és Gazdaságtudományi Egyetem Automatizálási és Alkalmazott informatikai Tanszék Alkalmazott Informatika Csoport Szakterület-specifikus modellezés és modellfeldolgozás Levendovszky Tihamér

2 Áttekintés Modellezés Vizuális modellezőnyelvek
Vizuális modellezőnyelvek feldolgozása Modellvezérelt fejlesztési megközelítések Értékelés

3 Modellezés

4 Modellezés Mérnöki diszciplínák sikerrel alkalmazzák
Szoftvertechnológiában is Az előadás témája: Vizuális/grafikus modellek „Dobozok és a közöttük lévő vonalak” Fastruktúrába rendezett megjelenítés Erőforrás-szerkesztők, stb.

5 A vizuális modellezés céljai
„A szemléletesség alkalmazása” Dokumentáció A problématér leírása Elkészült dolgok dokumentációja Ötletek, döntések dokumentációja Felhasználói igény Automatizálás elősegítése: kódgenerálás

6 Modellezőnyelvek

7 UML -1 Unified Modeling Language (UML)
UML , 1.4, 1.5 : – 9 diagram Use Case Diagram Static Structure Diagrams Class Diagram Object Diagram Behavioral Diagrams State Diagram Activity Diagram Interaction Diagram Collaboration Diagram Sequence Diagram Physical Diagrams Component Diagram Deployment Diagram

8 Activity diagram

9 Class diagram

10 Sequence diagram

11 Statechart diagram

12 Use case diagram

13 UML -2 Legújabb verzió: UML 2.1.1 (2007 augusztus)
UML 2.0: 2004 – 13 diagram composite structure diagram interaction overview diagram timing diagram package diagram Legújabb verzió: UML (2007 augusztus) Az első szabványos nyelv: az ipar és az eszközök számára fontos

14 UML: tanulságok -1 A szabvány egyre áttekinthetetlenebb és illogikusabb Mellékhatás az OCL-ben Keywords és sztereotípia Dokumentációs célra nagyon jó Magas absztrakciós szint Kommunikációra nagyon jó Túl általános A gyakorlatban nem a „nagykönyv” szerint használják Minimális kódgenerálási lehetőség A szabvány dagad: nehéz válogatni az elemeket Az UML-ből sokat tanultunk „kérném a mellékhatásos OCL-t, és küldöm mindenkinek, aki szereti” vö. Bjarne

15 UML: tanulságok -2 A modellezés valódi hatóköre kezd kirajzolódni
Közös OO nyelv – limitált A szemléletesség a modell méretével fordítottan csökken Keveredés a koncepcióban Magas absztrakciós szint („madártávlat”) Automatizálhatóság: kódgenerálás Sok mindenre nem jó Elgondolást nem pótolja: tervezés≠modellezés Generatív technika: többszöri alkalmazás Többszöri alkalmazás lehet iteratív.

16 Új utak az UML mellett Szakterület-specifikus modellezőnyelvek
Kisebb problémateret céloznak meg (pl. erőforrás-szerkesztők) Egyértelmű, könnyen kezelhető nyelvek Könnyebb a kódgenerálás Generatív paradigma Működés: modellezőnyelv+generátorok Többszöri használatnál éri meg

17 Szakterület-specifikus nyelvek
Modellezőnyelvek gyors kifejlesztése Metamodellezési technikák és eszközök Modellek gyors és ellenőrzött feldolgozása Bejárásalapú modellfeldolgozók Gráfújraírás-alapú (vizuális) modellfeldolgozók Visual Modeling and Transformation System (VMTS)

18 Modellezőnyelvek létrehozása
Metamodellezés Megjelenítés (Szimuláció)

19 Példa: folyamatábra

20 Metamodell

21 A megjelenítés modellezése

22 Megjelenítés Ettől lesz Nuance stílusú workflow plugin

23 Modellfeldolgozás

24 Modellfeldolgozás Bejárás alapú modellfeldolgozók
Vizuális modelltranszformáció Gráftranszformáció: Matematikai háttér Validált modelltranszformáció Rendszerarchitektúra Állandó rész: keretrendszer Változó rész: modellezés+kódgenerálás Erős matematikai háttér, formális leírás Validáltság

25 VMTS Metamodel-alapú modelltranszformáció

26 Modellvezérelt fejlesztési megközelítések

27 Model-Integrated Computing (MIC)
ISIS, Vanderbilt University

28 OMG: Model-Driven Architecture
Platformfüggetlen modellek (PIM) Platformspecifikus modellek (PSM) Modellfordítók Általában szakterület-specifikus nyelvek … Platformfüggetlen modell Platformspecifikus model 1 Platformspecifikus model N

29 Esettanulmány Supervisory Control And Data Acquisition (SCADA)
Valós idejű szabályzók (Távoli terminálok) SCADA: a valós idejű rendszer fölött: kommunikáció és adatmegjelenítés Mobil eszközök Elterjedt megoldás az adatgyűjtésre Számos különböző platform létezik Megoldás Modellvezérelt fejlesztés Modellfeldolgozók Cél: fejlesztés több platformra

30 Miért nem MDA? Koncepcionális különbség a platformok között
Első próbálkozás: közös metamodell + attribútumok Második: közös metamodell és MDA Az felhasználói felületben komoly különbségek vannak A közös modell nem jeleníthető meg tervezési időben a különbségek miatt Nincsenek közös vezérlőelemek A közös metamodell nagy és nehezen kezelhető

31 A megoldás architektúrája
Vizuális modellezés Szinkronizálás modelltransz-formációval SymbianDSL NETCFDSL J2MEDSL Kódgenerálás Kódgenerálás Kódgenerálás Felhasználói felület Felhasználói felület Felhasználói felület Adatkötés Adatkötés Adatkötés Kommunikáció Kommunikáció Kommunikáció Symbian .NET J2ME

32 Multiparadigmás modellezés (MPM)
Háromféle modellt használunk Felhasználóifelület-modellt (külön minden platformra) UML állapotdiagramot a dinamikus viselkedésre Adatbázismodellt Háromféle platformra fejlesztünk MPM: Több különböző paradigma modellezése Hans Vangheluwe, Pieter Mosterman Multiformalizmus Kompozíció: nyitott kérdés Esetleges szinkronizáció

33 Felhasználói felületek metamodelljei
a. Java b. Symbian c. .NET

34 Felhasználói felületek modelljei

35 Értékelés

36 Modellezés és modellfeldolgozás
Metamodellezés Kezd kiforrott lenni Jól használható Kiegészíthető megjelenítéssel és szimulációval Vizuális modellfeldolgozók Ezzel kísérletezünk Megvalósítható Szemléletes Validálás lehetséges Teljesítményben visszaesés Majd meglátjuk 

37 Szakterület-specifikus modellezés
Generatív technika: vagy több alkalmazás, vagy iteratív fejlesztés. Speciális Hatékony kódgenerálás Szemléletes még a szakterület szakértőinek is Létre kell hozni egy új környezetet minden problémára Platformegyesítés lehetősége: nem kizárólagos A környezetek gyorsítják a generátorok fejlesztését Ipari támogatottság kialakulóban: Eclipse, MS

38 Modellvezérelt megközelítések
Eszközök evolúciója: MIC Platformfüggő és platformfüggetlen részek szétválasztása: MDA Több különböző paradigma: MPM Ezeket lehet ötvözni A jövőben még letisztulás várható, de ezen gondolatok mentén Nem jók mindenre, nem helyettesítik az átgondolt fejlesztést: csak azt gyorsítják, amire írtunk generátort

39 Válaszok a hardver kihívásaira
A teljesítmény még számít! A gyorsabb végrehajtás helyett a párhuzamos végrehajtás az irányvonal Kétféle megközelítés Automatikus párhuzamosítás Párhuzamosságra tervezés

40 Alkalmazkodás a párhuzamossághoz
A tervező/modellező érti a problémát: ott is tud párhuzamosítani, ahol automatikusan nem lehetne A szakterület-specifikus modellezés lehetővé teszi az alkalmazkodást Jelölések az explicit párhuzamosságra Attribútumok Tervezési minták Párhuzamos modellezőnyelvek

41 Köszönöm a figyelmet!

42 Kérdések ?