Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_hekateatl [2008/05/20 01:27] miw |
pl:miw:miw08_hekateatl [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 24: | Linia 24: | ||
| ===== 080318 ===== | ===== 080318 ===== | ||
| * próba opisu całego ARD z TPH przy pomocy [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_markup_language|HML]] jako p. wyjścia dla XMI | * próba opisu całego ARD z TPH przy pomocy [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_markup_language|HML]] jako p. wyjścia dla XMI | ||
| + | |||
| ===== 080401 ===== | ===== 080401 ===== | ||
| Linia 30: | Linia 31: | ||
| * jak stworzyć model XMI dla ARD (opierając się na HML) | * jak stworzyć model XMI dla ARD (opierając się na HML) | ||
| * zrobić KM3 dla ARD | * zrobić KM3 dla ARD | ||
| + | |||
| + | ===== 080603 ===== | ||
| + | * trans? | ||
| + | |||
| + | |||
| + | |||
| Linia 37: | Linia 44: | ||
| ====== Projekt ====== | ====== Projekt ====== | ||
| - | * przyklad kodu KM3 (Source Metamodel) | ||
| - | <code> package ARD { | ||
| - | class Wlasnosc { | ||
| - | attribute name : String; | ||
| - | reference atrybuty[*] container : Atrybut opposite of wlasnocAtrybut; | + | ==== ATL ==== |
| + | ATL (ATLAS Transformation Language) to język transformacji modeli wraz zestawem narzędzi opracowanych przez ATLAS Group (INRIA & LINA). ATL pozwala wyprodukować z zestawu modeli źródłowych, zestaw modeli docelowych. | ||
| - | reference dependency container : Wlasnosc opposite of dependencyAtrybut; | + | ATL jest hybrydą programowania deklaratywnego i imperatywnego. Preferowany styl programowania to styl deklaratywny który pozwala w łatwy sposób opisać powiazania pomiędzy modelem źródłowym a docelowym. Jednkże ATL przewiduje również konstrukcje imperatywne w celu opisania wyrażeń trudnych do opracowania w sposób deklaratywny. Program ATL składa się z zestawu reguł które definiują dopasowanie elementów modelu źrodłowego do modelu docelowego |
| - | reference dependencyWlasnosc[*] : Wlasnosc opposite of dependency; | + | Opracowane dla platformy Eclipse zintegorowane środowisko programistyczne (ATL IDE) oferuje szereg standardowych narzędzi programistycznych (podświetlanie składni, debuger itd.), które ułatwiają prace z ATL. Projkt ATL oferuje również bibliotege transformacji ATL gdzie można znaleźć ponad 100 opracowanych rozwiązań http://www.eclipse.org/m2m/atl/atlTransformations/ |
| - | } | + | |
| - | class Atrybut { | ||
| - | attribute name : String; | ||
| - | reference wlasnoscAtrybut[0-1] : Wlasnosc opposite of atrybuty; | + | ==== The Model-Driven Architecture ==== |
| - | } | + | MDA to metoda projektowania systemów oprogramowania. Stanowi ona zbiór wytycznych dotyczących struktury specyfikacji, które są wyrażone jako modele. |
| - | } | + | Modele stanowią podstawowe elemetny MDA. W dziedzinie MDA model definiowany jest poprzez model modeli, tak zwany metamodel. Mówimy ze model zgodny z semantyka metamodelu odpowiada temu metamodelowi |
| - | package Primitive Types { | ||
| - | datatype String; | + | {{:pl:miw:mda.jpg|:pl:miw:mda.jpg}} |
| - | } | + | |
| - | </code> | + | |
| - | * kod XMI (Source Model) (the lowest level) | + | |
| - | <code> | ||
| - | <Ard name="thermostat"> | ||
| - | <property name="month"/> | + | ==== Trasformacja ATL ==== |
| - | <property name="day"/> | + | {{:pl:miw:atl.jpg|:pl:miw:atl.jpg}} |
| - | <property name="hour"/> | ||
| - | <property name="today"> | + | Powyższy rysunek opisuje schemat transformacji ATL. Model Ma (plik wejściowy Ecore czyli XMI) odpowiadający metamodelowi MMa (plik Ecore) jest transformowany do modelu Mb (plik wyjściowy Ecore), który odpowiada metamodelowi MMb (Ecore). Transformacja definiowana jest przez model Mt (plik ATL) który odpowiada metamodelowi MMt (metamodel ATL). Metamodele MMt, MMa oraz MMb muszą odpowiadać metamdelowi MMM (MOF albo Ecore) |
| - | <dependency name="day"/> | ||
| - | </property> | ||
| - | <property name="operation"> | ||
| - | <dependency name="today"/> | ||
| - | <dependency name="hour"/> | ||
| - | </property> | + | ==== Przykłady użycia ==== |
| - | ... | + | |
| - | </Ard> | + | |
| - | </code> | + | |
| - | * opis ARD z TPH przy pomocy HML jako p. wyjścia dla XMI | + | |
| - | <code> | + | |
| - | <hml name = "termostat"> | + | |
| - | <attribute_set> | + | |
| - | <att name = "thermostat" id = "att_0"/> | + | |
| - | <att name = "time" id = "att_1"/> | + | |
| - | <att name = "temperature" id = "att_2"/> | + | |
| - | <att name = "date" id = "att_3"/> | + | |
| - | <att name = "thermostat_settings" id = "att_4"/> | + | |
| - | <att name = "operation" id = "att_5"/> | + | |
| - | <att name = "season" id = "att_6"/> | + | |
| - | <att name = "today" id = "att_7"/> | + | |
| - | <att name = "hour" id = "att_8"/> | + | |
| - | <att name = "month" id = "att_9"/> | + | |
| - | <att name = "day" id = "att_10"/> | + | |
| - | </attribute_set> | + | |
| - | + | ||
| - | <property_set> | + | |
| - | <property name = "thermostat_pr" id="prp_0"> | + | |
| - | <attref ref = "att_0"/> | + | |
| - | </property> | + | |
| - | <property name = "time_temp_pr" id="prp_1"> | + | |
| - | <attref ref = "att_1"/> | + | |
| - | <attref ref = "att_2"/> | + | |
| - | </property> | + | |
| - | <property name = "time_pr" id="prp_2"> | + | |
| - | <attref ref = "att_1"/> | + | |
| - | </property> | + | |
| - | <property name = "temperature" id="prp_3"> | + | |
| - | <attref ref = "att_2"/> | + | |
| - | </property> | + | |
| - | <property name = "date_hour_seasion_operation_pr" id="prp_4"> | + | |
| - | <attref ref = "att_3"/> | + | |
| - | <attref ref = "att_8"/> | + | |
| - | <attref ref = "att_6"/> | + | |
| - | <attref ref = "att_5"/> | + | |
| - | </property> | + | |
| - | <property name = "date_hour_pr" id="prp_5"> | + | |
| - | <attref ref = "att_3"/> | + | |
| - | <attref ref = "att_8"/> | + | |
| - | </property> | + | |
| - | <property name = "season_operation_pr" id="prp_6"> | + | |
| - | <attref ref = "att_6"/> | + | |
| - | <attref ref = "att_5"/> | + | |
| - | </property> | + | |
| - | <property name = "day_month_today_pr" id="prp_7"> | + | |
| - | <attref ref = "att_10"/> | + | |
| - | <attref ref = "att_9"/> | + | |
| - | <attref ref = "att_7"/> | + | |
| - | </property> | + | |
| - | <property name = "day_today_pr" id="prp_8"> | + | |
| - | <attref ref = "att_10"/> | + | |
| - | <attref ref = "att_7"/> | + | |
| - | </property> | + | |
| - | <property name = "thermostat_settings_pr" id="prp_9"> | + | |
| - | <attref ref = "att_0"/> | + | |
| - | </property> | + | |
| - | <property name = "operation_pr" id="prp_10"> | + | |
| - | <attref ref="att_1"/> | + | |
| - | </property> | + | |
| - | <property name = "season_pr" id="prp_11"> | + | |
| - | <attref ref="att_2"/> | + | |
| - | </property> | + | |
| - | <property name = "today_pr" id="prp_12"> | + | |
| - | <attref ref="att_3"/> | + | |
| - | </property> | + | |
| - | <property name = "hour_pr" id="prp_13"> | + | |
| - | <attref ref="att_4"/> | + | |
| - | </property> | + | |
| - | <property name = "month_pr" id = "prp_14"> | + | |
| - | <attref ref = "att_5"/> | + | |
| - | </property> | + | |
| - | <property name = "day_pr" id = "prp_15"> | + | |
| - | <attref ref = "att_6"/> | + | |
| - | </property> | + | |
| - | <property name = "date" id = "prp_16"> | + | |
| - | <attref ref = "att_3"/> | + | |
| - | </property> | + | |
| - | </property_set> | + | |
| - | + | ||
| - | <tph> | + | |
| - | <trans src="prp_0" dst="prp_1"/> | + | |
| - | <trans src="prp_1" dst="prp_2"/> | + | |
| - | <trans src="prp_1" dst="prp_3"/> | + | |
| - | <trans src="prp_2" dst="prp_4"/> | + | |
| - | <trans src="prp_3" dst="prp_9"/> | + | |
| - | <trans src="prp_4" dst="prp_5"/> | + | |
| - | <trans src="prp_4" dst="prp_6"/> | + | |
| - | <trans src="prp_5" dst="prp_13"/> | + | |
| - | <trans src="prp_5" dst="prp_16"/> | + | |
| - | <trans src="prp_6" dst="prp_10"/> | + | |
| - | <trans src="prp_6" dst="prp_11"/> | + | |
| - | <trans src="prp_16" dst="prp_7"/> | + | |
| - | <trans src="prp_7" dst="prp_14"/> | + | |
| - | <trans src="prp_7" dst="prp_8"/> | + | |
| - | <trans src="prp_8" dst="prp_15"/> | + | |
| - | <trans src="prp_8" dst="prp_12"/> | + | |
| - | </tph> | + | |
| - | + | ||
| - | <ard> | + | |
| - | <dep independent="prp_15" dependent="prp_12"/> | + | |
| - | <dep independent="prp_14" dependent="prp_11"/> | + | |
| - | <dep independent="prp_13" dependent="prp_10"/> | + | |
| - | <dep independent="prp_12" dependent="prp_10"/> | + | |
| - | <dep independent="prp_10" dependent="prp_9"/> | + | |
| - | <dep independent="prp_11" dependent="prp_9"/> | + | |
| - | </ard> | + | |
| - | </hml> | + | |
| - | </code> | + | |
| - | * KM3 (opis ARD z TPH przy pomocy HML) | + | **DSLs coordination for Telephony** - praca przedstawia studium impelmentacji dwóch języków związanych z dziedziną telefonii: SPL(Session Processing Language) i CPL (Call Processing Language). Częścoiowo opierają się ona na tych samych słownikach. Jednakże same języki są bardzo różne i zostały zaprojektowane, aby być wykorzystywane przez różnych ludzi. Praca pokazuje w jak wykorzystać ATL w celu transformacji programu z jednego języka do drugiego (http://www.eclipse.org/m2m/atl/usecases/DSLsTelephony/) |
| + | |||
| + | ==== Transformacja ARD w ARD ==== | ||
| + | |||
| + | Aby dokonać transformacji należy stworzyć metamodel ARD, odpowaidający mu model będący plikiem wejściowym do transformacji, oraz plik ATL opisujący transformację | ||
| + | |||
| + | * Metamodel ARD (w oparciu o [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_markup_language|HML]]) - schemat | ||
| + | {{:pl:miw:ard.png|:pl:miw:ard.png}} | ||
| + | * Metamodel ARD KM3 zbudowany na podsawie schematu | ||
| <code> | <code> | ||
| - | package HML { | + | package Hml { |
| abstract class Node { | abstract class Node { | ||
| - | reference parent[0-1] : Element oppositeOf children; | + | reference children[*] container : Element oppositeOf parent; |
| } | } | ||
| - | class Element { | + | |
| - | reference children[*] ordered container : Node oppositeOf parent; | + | class Element { |
| + | attribute id : String; | ||
| + | reference parent : Node oppositeOf children; | ||
| } | } | ||
| - | //Ard | + | |
| + | -- Type set | ||
| + | |||
| + | class Type_set extends Node { | ||
| + | } | ||
| + | |||
| + | -- ARD | ||
| + | |||
| class Ard extends Node { | class Ard extends Node { | ||
| } | } | ||
| Linia 218: | Linia 112: | ||
| attribute dependent : String; | attribute dependent : String; | ||
| } | } | ||
| - | //Tph | + | |
| + | -- TPH | ||
| + | |||
| class Tph extends Node { | class Tph extends Node { | ||
| } | } | ||
| Linia 225: | Linia 121: | ||
| attribute dst : String; | attribute dst : String; | ||
| } | } | ||
| - | //Property_set | + | |
| - | class Property_set extends Node { //czy bez extends, bo reference ma byc do Property a nie Element | + | -- Property set |
| - | // (a moze moze zostac, bo Property dziedziczy z Element?)? | + | |
| + | class Property_set extends Node { | ||
| } | } | ||
| class Property extends Element { | class Property extends Element { | ||
| - | attribute name : String; | + | reference attributes[*] container : Attref oppositeOf properties; |
| - | attribute id : String; | + | |
| - | reference parent[0-1] : Element oppositeOf children; | + | |
| } | } | ||
| - | class Attref extends Element { | + | class Attref { |
| attribute ref : String; | attribute ref : String; | ||
| + | reference properties[0-1] : Property oppositeOf attributes; | ||
| } | } | ||
| - | //Attribute_set | + | |
| + | --Attributes set | ||
| + | |||
| class Attribute_set extends Node { | class Attribute_set extends Node { | ||
| } | } | ||
| class Att extends Element { | class Att extends Element { | ||
| attribute name : String; | attribute name : String; | ||
| - | attribute id : String; | ||
| } | } | ||
| - | |||
| } | } | ||
| + | |||
| package PrimitiveTypes { | package PrimitiveTypes { | ||
| - | datatype Boolean; | ||
| - | datatype Integer; | ||
| datatype String; | datatype String; | ||
| + | } | ||
| + | </code> | ||
| + | |||
| + | * Metamodel ARD XMI - wygenerowany przez środowisko ATL | ||
| + | <code> | ||
| + | <?xml version="1.0" encoding="ISO-8859-1"?> | ||
| + | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"> | ||
| + | <ecore:EPackage name="Hml"> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Node" abstract="true"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EReference" name="children" ordered="false" upperBound="-1" eType="/0/Element" containment="true" eOpposite="/0/Element/parent"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Element"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" ordered="false" lowerBound="1" eType="/0/Node" eOpposite="/0/Node/children"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Type_set" eSuperTypes="/0/Node"/> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Ard" eSuperTypes="/0/Node"/> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Dep" eSuperTypes="/0/Element"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="independent" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="dependent" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Tph" eSuperTypes="/0/Node"/> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Trans" eSuperTypes="/0/Element"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="src" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="dst" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Property_set" eSuperTypes="/0/Node"/> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Property" eSuperTypes="/0/Element"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EReference" name="attributes" ordered="false" upperBound="-1" eType="/0/Attref" containment="true" eOpposite="/0/Attref/properties"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Attref"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="ref" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | <eStructuralFeatures xsi:type="ecore:EReference" name="properties" ordered="false" eType="/0/Property" eOpposite="/0/Property/attributes"/> | ||
| + | </eClassifiers> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Attribute_set" eSuperTypes="/0/Node"/> | ||
| + | <eClassifiers xsi:type="ecore:EClass" name="Att" eSuperTypes="/0/Element"> | ||
| + | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" ordered="false" unique="false" lowerBound="1" eType="/1/String"/> | ||
| + | </eClassifiers> | ||
| + | </ecore:EPackage> | ||
| + | <ecore:EPackage name="PrimitiveTypes"> | ||
| + | <eClassifiers xsi:type="ecore:EDataType" name="String"/> | ||
| + | </ecore:EPackage> | ||
| + | </xmi:XMI> | ||
| + | </code> | ||
| + | |||
| + | * Plik wejściowy XMI do transformacji (Termostat) odpowiadający metamodelowi ARD | ||
| + | <code> | ||
| + | <?xml version="1.0" encoding="ISO-8859-1"?> | ||
| + | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns="Hml"> | ||
| + | <Attribute_set> | ||
| + | <Att name = "thermostat" id = "att_0"/> | ||
| + | <Att name = "time" id = "att_1"/> | ||
| + | <Att name = "temperature" id = "att_2"/> | ||
| + | <Att name = "date" id = "att_3"/> | ||
| + | <Att name = "thermostat_settings" id = "att_4"/> | ||
| + | <Att name = "operation" id = "att_5"/> | ||
| + | <Att name = "season" id = "att_6"/> | ||
| + | <Att name = "today" id = "att_7"/> | ||
| + | <Att name = "hour" id = "att_8"/> | ||
| + | <Att name = "month" id = "att_9"/> | ||
| + | <Att name = "day" id = "att_10"/> | ||
| + | </Attribute_set> | ||
| + | |||
| + | <Property_set> | ||
| + | <Property name = "thermostat_pr" id="prp_0"> | ||
| + | <Attref ref = "att_0"/> | ||
| + | </Property> | ||
| + | <Property name = "time_temp_pr" id="prp_1"> | ||
| + | <Attref ref = "att_1"/> | ||
| + | <Attref ref = "att_2"/> | ||
| + | </Property> | ||
| + | <Property name = "time_pr" id="prp_2"> | ||
| + | <Attref ref = "att_1"/> | ||
| + | </Property> | ||
| + | <Property name = "temperature" id="prp_3"> | ||
| + | <Attref ref = "att_2"/> | ||
| + | </Property> | ||
| + | <Property name = "date_hour_seasion_operation_pr" id="prp_4"> | ||
| + | <Attref ref = "att_3"/> | ||
| + | <Attref ref = "att_8"/> | ||
| + | <Attref ref = "att_6"/> | ||
| + | <Attref ref = "att_5"/> | ||
| + | </Property> | ||
| + | <Property name = "date_hour_pr" id="prp_5"> | ||
| + | <Attref ref = "att_3"/> | ||
| + | <Attref ref = "att_8"/> | ||
| + | </Property> | ||
| + | <Property name = "season_operation_pr" id="prp_6"> | ||
| + | <Attref ref = "att_6"/> | ||
| + | <Attref ref = "att_5"/> | ||
| + | </Property> | ||
| + | <Property name = "day_month_today_pr" id="prp_7"> | ||
| + | <Attref ref = "att_10"/> | ||
| + | <Attref ref = "att_9"/> | ||
| + | <Attref ref = "att_7"/> | ||
| + | </Property> | ||
| + | <Property name = "day_today_pr" id="prp_8"> | ||
| + | <Attref ref = "att_10"/> | ||
| + | <Attref ref = "att_7"/> | ||
| + | </Property> | ||
| + | <Property name = "thermostat_settings_pr" id="prp_9"> | ||
| + | <Attref ref = "att_0"/> | ||
| + | </Property> | ||
| + | <Property name = "operation_pr" id="prp_10"> | ||
| + | <Attref ref="att_1"/> | ||
| + | </Property> | ||
| + | <Property name = "season_pr" id="prp_11"> | ||
| + | <Attref ref="att_2"/> | ||
| + | </Property> | ||
| + | <Property name = "today_pr" id="prp_12"> | ||
| + | <Attref ref="att_3"/> | ||
| + | </Property> | ||
| + | <Property name = "hour_pr" id="prp_13"> | ||
| + | <Attref ref="att_4"/> | ||
| + | </Property> | ||
| + | <Property name = "month_pr" id = "prp_14"> | ||
| + | <Attref ref = "att_5"/> | ||
| + | </Property> | ||
| + | <Property name = "day_pr" id = "prp_15"> | ||
| + | <Attref ref = "att_6"/> | ||
| + | </Property> | ||
| + | <Property name = "date" id = "prp_16"> | ||
| + | <Attref ref = "att_3"/> | ||
| + | </Property> | ||
| + | </Property_set> | ||
| + | |||
| + | <Tph> | ||
| + | <Trans src="prp_0" dst="prp_1"/> | ||
| + | <Trans src="prp_1" dst="prp_2"/> | ||
| + | <Trans src="prp_1" dst="prp_3"/> | ||
| + | <Trans src="prp_2" dst="prp_4"/> | ||
| + | <Trans src="prp_3" dst="prp_9"/> | ||
| + | <Trans src="prp_4" dst="prp_5"/> | ||
| + | <Trans src="prp_4" dst="prp_6"/> | ||
| + | <Trans src="prp_5" dst="prp_13"/> | ||
| + | <Trans src="prp_5" dst="prp_16"/> | ||
| + | <Trans src="prp_6" dst="prp_10"/> | ||
| + | <Trans src="prp_6" dst="prp_11"/> | ||
| + | <Trans src="prp_16" dst="prp_7"/> | ||
| + | <Trans src="prp_7" dst="prp_14"/> | ||
| + | <Trans src="prp_7" dst="prp_8"/> | ||
| + | <Trans src="prp_8" dst="prp_15"/> | ||
| + | <Trans src="prp_8" dst="prp_12"/> | ||
| + | </Tph> | ||
| + | |||
| + | <Ard> | ||
| + | <Dep independent="prp_15" dependent="prp_12"/> | ||
| + | <Dep independent="prp_14" dependent="prp_11"/> | ||
| + | <Dep independent="prp_13" dependent="prp_10"/> | ||
| + | <Dep independent="prp_12" dependent="prp_10"/> | ||
| + | <Dep independent="prp_10" dependent="prp_9"/> | ||
| + | <Dep independent="prp_11" dependent="prp_9"/> | ||
| + | </Ard> | ||
| + | </xmi:XMI> | ||
| + | </code> | ||
| + | |||
| + | * Model ATL - nie wprowadza żadnych zmian w pliku wyjściowym | ||
| + | <code> | ||
| + | module ARD2ARD; -- Module Template | ||
| + | create OUT : Hml from IN : Hml; | ||
| + | |||
| + | rule Element2Element { | ||
| + | from | ||
| + | s : Hml!Element | ||
| + | to | ||
| + | t : Hml!Element ( | ||
| + | id <- s.id | ||
| + | ) | ||
| + | } | ||
| + | rule Dep2Dep { | ||
| + | from | ||
| + | s : Hml!Dep | ||
| + | to | ||
| + | t : Hml!Dep ( | ||
| + | independent <- s.independent, | ||
| + | dependent <- s.dependent | ||
| + | ) | ||
| + | } | ||
| + | rule Trans2Trans { | ||
| + | from | ||
| + | s : Hml!Trans | ||
| + | to | ||
| + | t : Hml!Trans ( | ||
| + | src <- s.src, | ||
| + | dst <- s.dst | ||
| + | ) | ||
| + | } | ||
| + | rule Att2Att { | ||
| + | from | ||
| + | s : Hml!Trans | ||
| + | to | ||
| + | t : Hml!Trans ( | ||
| + | name <- s.name | ||
| + | ) | ||
| + | } | ||
| + | rule Attref2Attref { | ||
| + | from | ||
| + | s : Hml!Trans | ||
| + | to | ||
| + | t : Hml!Trans ( | ||
| + | ref <- s.ref | ||
| + | ) | ||
| } | } | ||
| </code> | </code> | ||
| ====== Sprawozdanie ====== | ====== Sprawozdanie ====== | ||
| + | W związku z tym że instalacja środowiska ATL okazała się znacznie trudniejsza niż przypuszczaliśmy i samo doprowadzenie oprogramowania do pełnej funkcjonalności zajęło nam około tydzień i kosztowało wiele nerwów, chcielibyśmy podzielić się wrażeniami i opinią na temat aktualnej wersji ATL. | ||
| + | |||
| + | |||
| + | Chcielibyśmy zacząć od tego że sam pakiet instalacyjny dostępny na oficjalnej stronie ATL w formie skompilowanych pluginów do środowiska Eclipse (http://www.eclipse.org/modeling/m2m/downloads/index.php?project=atl) jest niekompletny. Wprawdzie dostępne pluginy umożliwiają dokonanie transformacji, ale brakuje jednej z kluczowych funkcjonalności polegającej na wygenerowaniu pliku ECORE (XMI) z KM3. W tej sytuacji dostępne oprogramowanie może służyć głównie do korzystania z gotowych transformacji dostępnych na stronie ATL (http://www.eclipse.org/m2m/atl/atlTransformations/), zaś tworzenie własnych transformacji jest bardzo utrudnione, gdyż jesteśmy zmuszeni do własnoręcznego napisania meta-modelu w XMI , co w ogóle podważa celowość wykorzystania KM3 którego funkcja polega właśnie na tym żeby móc w sposób łatwy (korzystając z języka zbliżonego do JAVA) zaprojektować meta-model. Jednak nie sam brak owej funkcjonalności jest najbardziej rażący. | ||
| + | |||
| + | |||
| + | To co najbardziej irytuje, to dokumentacja do środowiska. Otóż nie ma w niej słowa o powyższych brakach. W oficjalnym poradniku dla początkujących (http://www.eclipse.org/m2m/atl/doc/ATL_Starter_Guide.pdf) jest opisane krok po kroku jak stworzyć prosty projekt korzystając z „nieistniejących” funkcjonalności. Rady dotyczące konfiguracji oraz zamieszczone screenshoty ni jak się maja do tego, co przedstawia ATL w swej aktualnej wersji. Dodam ze instalację przeprowadziliśmy zgodnie z poradnikiem (http://www.eclipse.org/m2m/atl/doc/ATL_Installation_Guide[v0.1].pdf) ściągając i instalując wszystkie niezbędne składniki. Otóż jak się później okazało, aby ATL było w pełni funkcjonalne należy zainstalować 2 dodatkowe pakiety: AM3 (ATLAS MegaModel Management) i TCS (Textual Concrete Syntax) niewymienione w poradniku instalacyjnym. | ||
| + | |||
| + | |||
| + | AM3 w formie skompilowanej jest dostępne ze strony http://www.eclipse.org/gmt/am3/download/ jednak jak się okazało po lekturze Eclipse Newsgroups również nie jest w wersji kompletnej. Pewne kluczowe pluginy dostępne są tylko w formie źródeł do ściągnięcia z repozytorium CVS. Jeśli chodzi o TCS to żadne pliki w wersji binarnej nie są dostępne, jedyne co mamy do dyspozycji to pliki źródłowe z CVS. Nie było by to problemem gdyby nie to, że po ściągnięciu odpowiednich pluginów w formie źródeł(zgodnie z http://wiki.eclipse.org/AM3/How_Install_AM3_From_CVS i http://wiki.eclipse.org/TCS/Language_Project) niektóre pluginy nie dają się skompilować. Jak się okazało nie tylko my mieliśmy z tym problem http://dev.eclipse.org/newslists/news.eclipse.modeling.gmt/msg00642.html ). Wygląda na to że aktualna wersja owych pluginów nie jest odpowiednio zintegrowana z dostępną wersją ATL bądź z innymi składnikami. Kompilator zgłasza błędy związane z brakiem pewnych klas (które nota bene środowisko Eclipse wykrywa jako zaimportowane czyli dostępne dla projektów w „strefie roboczej”) Po odnalezieniu i zaimportowaniu odpowiednich klas bezpośrednio do projektów i wielogodzinnym debugowaniu (opierając się na lekturze grupy dyskusyjnej m.in.- http://dev.eclipse.org/newslists/news.eclipse.modeling.m2m/msg02427.html)ostatecznie udało nam się skompilować i zbudować wszystkie niezbędne pluginy. | ||
| + | |||
| + | |||
| + | |||
| + | Po instalacji opcja „Inject KM3 to Ecore metamodel” pojawiła się w menu kontekstowym jednak jak się okazało później nie działała jak należy. Operacja generuje plik ECORE zawierający jedynie nagłówek XMI i nic poza tym. Próby instalacji powyższych pakietów w innych wersjach środowiska Eclipse również zakończyły się fiaskiem. Prawdopodobnie popadlibyśmy w rezygnacje gdyby nie odnalezienie postu, w którym autor zamieszcza link do pakietu ATL/AM3/TCS w wersjach binarnych (jak sam zaznacza „zagubiony w sieci” gdyż nigdzie nie było do niego odnośnika - http://dev.eclipse.org/newslists/news.eclipse.modeling.tmf/msg00175.html) Po niewielkiej modyfikacji udało nam się uruchomić pakiet, który jak na razie działa jak należy. | ||
| + | |||
| + | |||
| + | Podsumowując, aktualnie nie istnieje żaden skuteczny poradnik jak zainstalować ATL. Mamy wątpliwości czy w ogóle jest to możliwe korzystając tylko z aktualnych źródeł zamieszczonych w repozytorium CVS. Pliki w dziale downoload nie zawierają wszystkim potrzebnych pluginów. Dokumentacja do środowiska jest niespójna i niekompletna. Frédéric Jouault - jeden z developerów ATL przyznaje że trwają prace nad poprawą sytuacji (http://dev.eclipse.org/newslists/news.eclipse.modeling.gmt/msg00621.html), jednakże do chwili obecnej problem nie został rozwiązany. | ||
