Tomsovi

  • Zvětšit velikost písma
  • Výchozí velikost písma
  • Zmenšit velikost písma
Domů Honza Škola 5. ročník Diplomová práce - Automatizované modelování - 5 Transformační modelovací jazyky

Diplomová práce - Automatizované modelování - 5 Transformační modelovací jazyky

Email Tisk PDF
seznam článků
Diplomová práce - Automatizované modelování
Obsah
1 Úvod
1.2 Typografické konvence
Tabulka 1: Slovník zkratek
2 Cíl práce
3 Metodika
4 Přehled vlastností modelovacích nástrojů
4.1 Úloha modelování v běžném životě
4.1 Úloha modelování v běžném životě - pokračování
4.1.1 Vhodnost použití objektových nástrojů pro modelování a transformace
4.2 Architektura řízená modelem - Model Driven Architecture
4.2.1 The Object Management Group
4.2.2 Základní cíle a přístupy MDA
4.2.3 Platforma
4.2.4 Hierarchie modelů dle MDA
4.2.5 Model nezávislý na počítačovém zpracování
4.2.6 Model nezávislý na platformě
4.2.7 Mapování a značkování
4.2.8 Model specifický ke konkrétní platformě
4.2.9 Zdrojový kód aplikace
4.3 MDA a Oracle Designer
4.4 Vlastní zkušenost
4.5 Vlastnosti modelovacích nástrojů
4.6 Craft.CASE
4.7 Eclipse Modeling Framework
4.8 Omondo EclipseUML2
4.9 Enterprise Architect
5 Transformační modelovací jazyky
5.2 Eclipse Modelling Framework
5.4 XSLT
Část II - Projekt
6 Vlastní projekt
7 Požadavky na informační systém
8 Analýza
8.1 Model případů užití
8.2 Doménový objektový model
9 Design informačního systému
10 Aplikace Architektury řízené modelem (MDA)
11 Vývoj generátoru
12 Generování kódu z modelu
13 Závěr
Literatura
Přílohy
A Případy užití
A.1 Hlavní případy užití
A.2 Správa skupin parametrů
A.3 Správa parametrů
A.4 Správa modelů
B Sada šablon EA pro generování kódu v jazyku Smalltalk
C Vygenerované zdrojové kódy FSM v jazyku Smalltalk
D UML profil systému DecisionMaker
E Podpůrné třídy metamodelu UML
F Generátor entit aplikace DecisionMaker
G Zdrojový kód aplikace DecisionMaker
Všechny strany

5 Transformační modelovací jazyky


Pro podporu metamodelování a transformací vznikly specializované transformační
modelovací jazyky, z nichž některé v této kapitole popíšu.

5.1 KerMeta

KerMeta je Modelově orientovaný jazyk založený na paradigmatu metamodelování
s možností vykonatelnosti modelu v objektově orientovaném prostředí. Je vytvořen
jako rozšíření MOF směrem k vykonavatelnosti. [Tanguy,Vojtisek,Faucher, 2006]
Jeho vývojovým i běhovým prostředím je Eclipse IDE (integrované vývojové
prostředí).
Model KerMeta lze vytvořit buď ručně nebo konverzí z Ecore EMF metamodelu.
Výsledek při použití Ecore modelu konečného stavového automatu (viz Obrázek
8) zásuvný modul Kermeta vygeneruje následující zdrojový soubor fsm.kmt:

 
@uri "platform:/resource/MyFirstEMFSamples/metamodels/fsm.ecore"
package fsm;
 
require "kermeta"
require "http://www.eclipse.org/emf/2002/Ecore"
class Fsm
{
    attribute transition : Transition[0..*]
    attribute state : State[0..*]
    reference initial : State[1..1]
    reference final : State[1..1]
    reference current : State[1..1]
    operation prettyprint() : ecore::EString is
       abstract
}
class Transition
{
    attribute input : ecore::EString
    attribute output : ecore::EString
    reference source : State[1..1]
    reference target : State[1..1]
}
class State
{
    attribute name : ecore::EString
    reference outgoing : Transition[0..*]
    reference incoming : Transition[0..*]
}
 
Tento formát je vhodný pro psaní kódu, zatímco formát *.km lze zobrazit a
upravovat v Sample Reflexive Ecore Model Editoru, případně jiném GMF editoru.
Modely je možné libovolně konvertovat mezi oběma formáty pomocí funkcí
zásuvného modulu Kermeta.

Vlastnosti jazyka

Jazyk KerMeta obsahuje moderní objektové konstrukty jako jsou generické
třídy a operace a v neposlední řadě lambda výrazy. To dává jeho uživateli širokou
škálu možností a jeví se jako poměrně slibná platforma.
Bohužel se zdá, že vývoj tohoto nástroje poněkud ustrnul a na webových
stránkách jeho autorů jsou k dispozici zatím pouze velmi jednoduché příklady bez
skutečného užitku. Přesto KerMeta vypadá slibně a bude určitě zajímavé sledovat,
kam se vývoj tohoto jazyka bude dále ubírat.