Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_umlandardxtt [2008/04/29 05:32] miw |
pl:miw:miw08_umlandardxtt [2019/06/27 15:50] (aktualna) |
====== Opis ====== | ====== Opis ====== |
| __**Projekt zakończony**__ |
| |
Krzysztof Kluza (4AR) <krzysztof.kluza@uj.edu.pl> | Krzysztof Kluza (4AR) <krzysztof.kluza@uj.edu.pl> |
| |
| |
====== Spotkania ====== | ====== Spotkania ====== |
===== 08.02.26 ===== | [[pl:miw:miw08_umlandardxtt:spotkania]] |
===== 08.03.04 ===== | |
[[hekate:hekate_case_thermostat]] | |
| |
===== 080318 ===== | ===== 080527 ===== |
[[hekate:hekate_case_thermostat]] | * cvs |
* połączenia między diagramami | |
| |
| ==== CVS ==== |
| |
===== 080401 ===== | Some docs: a sane [[http://furryland.org/~mikec/cvs.html|CVS Howto]], |
* próba modelowania ARD, sar, shi, sha. | [[http://badgertronics.com/writings/cvs/|MarkD]], |
| [[http://ximbiot.com/cvs/manual/|CVS Manual]]. |
| |
| export CVSROOT=:ext:charon.ia.agh.edu.pl/mnt/cvs/cvs-hekate |
| export CVS_RSH=ssh |
| |
===== 080415 ===== | Naming convention for CVS modules: |
* model ard, use, trace | |
| |
| p_papername_conferenceYYYY |
| p_papername |
| epp_name |
| hexor_name |
| mirella_name |
| xtt_name |
| ard_name |
| |
===== 080429 ===== | === Examples === |
* podsumowanie | |
* http://www.knowgravity.com/eng/index.htm | |
* http://home.agh.edu.pl/~mszpyrka/index.php?s=CSLTR | |
| |
na przyszłość: | Checking out: |
* http://en.wikipedia.org/wiki/Model-driven_architecture | cvs -d :ext:charon.ia.agh.edu.pl/mnt/cvs/cvs-hekate co p_mypaper_fancyconferece2007 |
* http://www.omg.org/mda/ | Updating: |
| cd p_mypaper_fancyconferece2007 |
| cvs update -Pd |
| Commiting: |
| cd p_mypaper_fancyconferece2007 |
| cvs commit |
| Importing (creating a new module): |
| cd p_otherpaper |
| cvs -d :ext:charon.ia.agh.edu.pl/mnt/cvs/cvs-hekate import -m initial p_otherpaper hekate start |
| |
====== Projekt ====== | === Bibliography === |
| |
===== Szkice nad diagramami behawioralnymi (08.02.26, 08.03.04, 08.03.18) ===== | Hekate bibliography BibTeX database is available as hekatebib cvs module, to checkout type: |
| |
| cvs -d :ext:charon.ia.agh.edu.pl/mnt/cvs/cvs-hekate co hekatebib |
| |
| There is a main file called ''hekate.bib''. |
| Check it out within your paper directory. |
| DO NOT REMOVE any entries, please. |
| |
| **Warning**: ''hekate.bib'' is NOT in sync with [[hekatedev:bibliography]] for now :!: |
| Hopefully one day will be as soon as we have a sane BibTeX plugin for dokuwiki :-) |
| |
| TODO |
| * keyformat: AuthorLastNameYearConf[-something] |
| |
| |
| |
| ====== Projekt ====== |
| |
==== 08.02.26 ==== | ==== 08.02.26 ==== |
* [[pl:miw:miw08_umlandardxtt:activity_diagrams#section|za pomocą diagramów aktywności]], | * [[pl:miw:miw08_umlandardxtt:activity_diagrams#section|za pomocą diagramów aktywności]], |
* [[pl:miw:miw08_umlandardxtt:state_diagrams#section|za pomocą diagramów stanów]]. | * [[pl:miw:miw08_umlandardxtt:state_diagrams#section|za pomocą diagramów stanów]]. |
| |
| |
==== 08.03.04 ==== | ==== 08.03.04 ==== |
| |
Dalsze próby modelowania diagramów XTT: | Dalsze próby modelowania diagramów XTT [[pl:miw:miw08_umlandardxtt:state_diagrams#section1|za pomocą diagramów stanów]].\\ |
* [[pl:miw:miw08_umlandardxtt:state_diagrams#section1|za pomocą diagramów stanów]]. | Propozycja [[pl:miw:miw08_umlandardxtt:umlandard| hipotetycznego modelu diagramu ARD w UMLu]]. |
| |
==== 08.03.18 ==== | ==== 08.03.18 ==== |
| |
Dodanie [[pl:miw:miw08_umlandardxtt:activity_diagrams#section1|algorytmu przejścia z diagramu XTT na diagram aktywności UML]]. | Sforumułowanie [[pl:miw:miw08_umlandardxtt:activity_diagrams#section1|algorytmu przejścia z diagramu XTT na diagram aktywności UML]]. |
| |
==== Zagadnienia problematyczne ==== | ==== 08.04.01 ==== |
| |
:!: Zgodnie ze specyfikacją XTT wiersze w tabelach są interpretowane z góry na dół. W tym momencie | Po zapoznaniu się z ARD (sar, shi, sha) postanowiłem użyć jednak diagramów klas do ich przedstawienia: |
diagramy aktywności czy stanów zamodelowane jak wyżej nie dają możliwości oddania tych zależności. | * [[pl:miw:miw08_umlandardxtt:umlandard:approach1| Pierwsze podejście do problemu]] |
| * [[pl:miw:miw08_umlandardxtt:umlandard:approach2| Drugie podejście do problemu (bazujące na pierwszym)]] |
| |
Możliwości rozwiązania problemu: | |
* numeracja krawędzi i w ten sposób utrzymywanie kontroli przepływu - komplikuje to diagram, prawdopodobnie nie będzie zgodne ze specyfikacją UML. | |
* oddanie tych specyficznych zależności na innym rodzaju diagramu. | |
| |
| ==== 08.04.15 ==== |
| |
| Propozycja wykorzystania [[pl:miw:miw08_umlandardxtt:umlandard:approach2#zaleznosci_trace_use_i_derive|zależności trace i derive]].\\ |
| Opracowanie krótkiego [[pl:miw:miw08_umlandardxtt:notatki|opisu specyfikacji MOF i standardu XMI]]. |
| |
===== Szkice nad modelem ARD w UMLu (08.03.04, 08.04.01) ===== | ==== 08.04.29 ==== |
| |
Podczas konsultacji 08.02.26 zwróciłem uwagę na podobieństwo diagramu [[hekate:hekate_concepts#ard|ARD]] do diagramu aktywności ze złączeniem (na podstawie diagramu z książki [[pl:miw:miw08_umlandardxtt#literatura|Pilone 2007]] s. 143). Stąd jako osobny temat do rozważenia jest: [[pl:miw:miw08_umlandardxtt:umlandard| hipotetyczny model diagramu ARD w UMLu]] (08.03.04). | Zmodyfikowane [[pl:miw:miw08_umlandardxtt:umlandard:approach3|podejście do problemu modelu ARD]].\\ |
| Podsumowanie projektu w części Sprawozdanie. |
Po zapoznaniu się z ARD (sar, shi, sha) postanowiłem jednak użyć diagramów klas do ich przedstawienia (08.04.01): | |
* [[pl:miw:miw08_umlandardxtt:umlandard:approach1| Pierwsze podejście do problemu]] | |
* [[pl:miw:miw08_umlandardxtt:umlandard:approach2| Drugie podejście do problemu (bazujące na pierwszym)]] ([[pl:miw:miw08_umlandardxtt:umlandard:approach2#zaleznosci_trace_use_i_derive|08.04.15]]) | |
| |
====== Sprawozdanie ====== | ====== Sprawozdanie ====== |
| |
Problem: W tym wypadku przekazywanie sterowania byłoby zgodne z diagramem ARD. Występuje jednak znaczna różnica semantyczna: w diagramie UML aktywności reprezentują czynności, zaś na tym diagramie mają reprezentować cechy (atrybuty) systemu. | Problem: W tym wypadku przekazywanie sterowania byłoby zgodne z diagramem ARD. Występuje jednak znaczna różnica semantyczna: w diagramie UML aktywności reprezentują czynności, zaś na tym diagramie mają reprezentować cechy (atrybuty) systemu. |
| |
| |
| |
| |
| |
| |
| |
==== Proponowany model ARD przy pomocy diagramu komponentów UML ==== | ==== Proponowany model ARD przy pomocy diagramu komponentów UML ==== |
| |
FIXME | === Użyte rodzaje powiązań === |
| |
| W proponowanym modelu zostały użyte następujące rodzaje powiązań: |
| |
| ^ UML ^ Nazwa powiązania ^ Znaczenie powiązania ^ |
| | {{:pl:miw:miw08_umlandardxtt:umlandard:dependency_derive.png|:pl:miw:miw08_umlandardxtt:umlandard:dependency_derive.png}} | Zależność \\ <<derive>> | Określa związek pochodzenia między elementami, będącymi często (ale nie koniecznie) tego samego typu. Związek pochodzenia specyfikuje, że klient (B) może być wyznaczony (obliczony) na podstawie dostawcy (A). | |
| | {{:pl:miw:miw08_umlandardxtt:umlandard:dependency_refine.png|:pl:miw:miw08_umlandardxtt:umlandard:dependency_refine.png}} | Zależność \\ <<refine>> | Specyfikuje zależność usczegółowienia między elementami modelu na różnych poziomach znaczeniowych. B jest uszczegółowioną wersją A. | |
| | {{:pl:miw:miw08_umlandardxtt:umlandard:dependency_trace.png|:pl:miw:miw08_umlandardxtt:umlandard:dependency_trace.png}} | Zależność \\ <<trace>> | Definiuje związek trace pomiędzy elementami modelu (lub zbiorami elementów), które reprezentują to samo pojęcie (tę samą abstrakcję) w różnych modelach. Głównie używane dla śledzenia zmian między modelami. | |
| |
| === Model diagramu ARD === |
| |
| Proponowany model diagramu ARD bazuje na diagramach komponentów. W części projektowej znajdują się [[pl:miw:miw08_umlandardxtt:umlandard:approach3#proponowany_model_diagramow|diagramy dla całego termostatu]]. Poniżej prezentuję diagramy najbardziej szczegółowego poziomu: |
| |
| ^ diagram ARD ^ model UML diagramu ARD ^ |
| | <graphviz file="hekate:therm-a8.dot"></graphviz> | {{:pl:miw:miw08_umlandardxtt:umlandard:approach3_ard_8.png|:pl:miw:miw08_umlandardxtt:umlandard:approach3_ard_8.png}} | |
| |
| ^ diagram TPH ^ model UML ^ |
| | <graphviz file="hekate:therm-t8.dot"></graphviz> | {{:pl:miw:miw08_umlandardxtt:umlandard:approach3_tph_8.png|:pl:miw:miw08_umlandardxtt:umlandard:approach3_tph_8.png}} | |
| |
| ^ diagram ARD ^ diagram TPH ^ model UML diagramu THP + ARD ^ |
| | <graphviz file="hekate:therm-a8.dot"></graphviz> | <graphviz file="hekate:therm-t8.dot"></graphviz> | {{:pl:miw:miw08_umlandardxtt:umlandard:approach3_shi_8.png|:pl:miw:miw08_umlandardxtt:umlandard:approach3_shi_8.png}} | |
| |
| Zależność //trace// w naszym modelu zachodzi między elementami reprezentującymi tę samą abstrakcję na różnych poziomach szczegółowości np.\\ |
| |
| ^ Przykładowy fragment diagramu ukazujący zależność trace w modelu TPH ^ |
| |{{:pl:miw:miw08_umlandardxtt:umlandard:trace_example.png|Przykład występowania zależności trace w modelu TPH}} | |
| |
| |