To jest stara wersja strony!
Opis
Spotkania
08.02.26
08.03.11
080318
próba opisu całego ARD z TPH przy pomocy
HML jako p. wyjścia dla XMI
080401
080603
Projekt
package ARD {
class Wlasnosc {
attribute name : String;
reference atrybuty[*] container : Atrybut opposite of wlasnocAtrybut;
reference dependency container : Wlasnosc opposite of dependencyAtrybut;
reference dependencyWlasnosc[*] : Wlasnosc opposite of dependency;
}
class Atrybut {
attribute name : String;
reference wlasnoscAtrybut[0-1] : Wlasnosc opposite of atrybuty;
}
}
package Primitive Types {
datatype String;
}
<Ard name="thermostat">
<property name="month"/>
<property name="day"/>
<property name="hour"/>
<property name="today">
<dependency name="day"/>
</property>
<property name="operation">
<dependency name="today"/>
<dependency name="hour"/>
</property>
...
</Ard>
<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>
package HML {
abstract class Node {
reference parent[0-1] : Element oppositeOf children;
}
class Element {
reference children[*] ordered container : Node oppositeOf parent;
}
//Ard
class Ard extends Node {
}
class Dep extends Element {
attribute independent : String;
attribute dependent : String;
}
//Tph
class Tph extends Node {
}
class Trans extends Element {
attribute src : String;
attribute dst : String;
}
//Property_set
class Property_set extends Node { //czy bez extends, bo reference ma byc do Property a nie Element
// (a moze moze zostac, bo Property dziedziczy z Element?)?
}
class Property extends Element {
attribute name : String;
attribute id : String;
reference parent[0-1] : Element oppositeOf children;
}
class Attref extends Element {
attribute ref : String;
}
//Attribute_set
class Attribute_set extends Node {
}
class Att extends Element {
attribute name : String;
attribute id : String;
}
}
package PrimitiveTypes {
datatype Boolean;
datatype Integer;
datatype String;
}
package Hml {
abstract class Node {
reference children[*] container : Element oppositeOf parent;
}
class Element {
attribute id : String;
reference parent : Node oppositeOf children;
}
-- Type set
class Type_set extends Node {
}
-- ARD
class Ard extends Node {
}
class Dep extends Element {
attribute independent : String;
attribute dependent : String;
}
-- TPH
class Tph extends Node {
}
class Trans extends Element {
attribute src : String;
attribute dst : String;
}
-- Property set
class Property_set extends Node {
}
class Property extends Element {
reference attributes[*] container : Attref oppositeOf properties;
}
class Attref {
attribute ref : String;
reference properties[0-1] : Property oppositeOf attributes;
}
--Attributes set
class Attribute_set extends Node {
}
class Att extends Element {
attribute name : String;
}
}
package PrimitiveTypes {
datatype String;
}
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.
Materiały