Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_umlandardxtt:umlandard [2008/03/03 19:03] miw |
pl:miw:miw08_umlandardxtt:umlandard [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Diagram ARD i jego hipotetyczny model w UMLu ====== | ====== Diagram ARD i jego hipotetyczny model w UMLu ====== | ||
| - | 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 z książki [[pl:miw:miw08_umlandardxtt#literatura|Pilone 2007]] s. 143. | + | 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). Różnica między nimi jest taka, że diagramy aktywności prezentują nam akcje, czyli kolejne kroki aktywności. Wobec tego stosując diagramy aktywności do modelowania ARD zmienia się ich funkcja semantyczna. Akcje będą bowiem reprezentowały nie kroki aktywności, a konkretne wartości atrybutów. |
| - | ===== wersja z 08.03.04 ===== | + | ===== 08.03.04 ===== |
| Poniżej znajduje się przykładowy diagram [[hekate:hekate_concepts#ard|ARD]] najniższego poziomu dla termostatu: | Poniżej znajduje się przykładowy diagram [[hekate:hekate_concepts#ard|ARD]] najniższego poziomu dla termostatu: | ||
| Linia 9: | Linia 9: | ||
| {{:hekate:ard-therm-01.png|Ryc: Przykładowy diagram ARD}} | {{:hekate:ard-therm-01.png|Ryc: Przykładowy diagram ARD}} | ||
| - | Zagadnieniem do rozważenia jest w jaki sposób modelować transformację zakończenia (:?:) (//finalization//), która polega na tym iż własność końcowa jest rezultatem dwu lub więcej własności początkowych np. //operation// jest produktem //today// i //hour//. | + | Objaśnienie używanych na tej stronie pseudostanów: |
| - | + | ||
| - | === poprawic i dołożyć poniżej rysunki! === | + | |
| - | FIXME | + | |
| - | + | ||
| - | Objaśnienie możliwych do użycia pseudostanów: | + | |
| ^ Symbol ^Opis pseudostanu (na podstawie: [[pl:miw:miw08_umlandardxtt#literatura|Graessle 2006]], ss. 69-71) ^ | ^ Symbol ^Opis pseudostanu (na podstawie: [[pl:miw:miw08_umlandardxtt#literatura|Graessle 2006]], ss. 69-71) ^ | ||
| - | |{{:pl:miw:miw08_umlandardxtt:ico_romb_end.png|:pl:miw:miw08_umlandardxtt:ico_romb_end.png}}|//**Węzeł łączący ** [u [[pl:miw:miw08_umlandardxtt#literatura|Pilone 2007]] s. 141 nazywany **scaleniem**] posiada kilka wejść i jedno wyjście. Zadaniem węzła łączącego jest łączenie kilku przepływów. Wejścia nie są zsynchronizowane - **jeśli jeden przepływ dotrze do węzła, przechodzi do wyjścia niezależnie od tego czy do pozostałych wejść dotarły inne przepływy**.//= tu przepisac z Pilone: nt. scalenia =| | + | |{{:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png|:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png}}|//**Złączenie** służy do konsolidacji dwóch lub większej liczby równoległych przepływów. W przypadku konsolidacji **przepływy są synchronizowane, a więc proces przechodzi do wyjścia dopiero wówczas, gdy dotrą one do wszystkich wejść**.//| |
| - | |{{:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png|:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png}}|//**Złączenie** służy do konsolidacji dwóch lub większej liczby równoległych przepływów. W przypadku konsolidacji **przepływy są synchronizowane, a więc proces przechodzi do wyjścia dopiero wówczas, gdy dotrą one do wszystkich wejść**.//= tu przepisac z Pilone nt. zlaczenia =| | + | |{{:pl:miw:miw08_umlandardxtt:ico_romb_end.png|:pl:miw:miw08_umlandardxtt:ico_romb_end.png}}|//**Scalenie** posiada kilka wejść i jedno wyjście. Zadaniem jego jest łączenie kilku przepływów. Wejścia nie są zsynchronizowane - **jeśli jeden przepływ dotrze do węzła, przechodzi do wyjścia niezależnie od tego czy do pozostałych wejść dotarły inne przepływy**.//| |
| - | + | ||
| - | Z dokumentacji UMLa 2.1.2:// | + | |
| - | + | ||
| - | {{:pl:miw:miw08_umlandardxtt:ard_zlaczenie1.png|Ryc: Diagram aktywności ze złączeniami.}} | + | |
| - | + | ||
| - | {{:pl:miw:miw08_umlandardxtt:ard_scalenie1.png|Ryc: Diagram aktywności ze złączeniami.}} | + | |
| - | + | ||
| - | W przypadku użycia pseudostanu **scalenie** (//decision node//), zgodnie ze [[pl:miw:miw08_umlandardxtt#zrodla_internetowe|specyfikacją OMG UML 2.1.2]] (s. 376) warunki dozoru powinnny być wzajemnie wykluczające się.// | + | |
| - | Zgodnie ze [[pl:miw:miw08_umlandardxtt#zrodla_internetowe|specyfikacją OMG UML 2.1.2]] (s. 390) **rozwidlenia** (//fork node//), które może duplikować wartość wejściową i przechodzić więcej niż jedną krawędzią do kolejnych stanów. | + | ^ Porównanie koncepcji diagramów UML dla diagramu ARD ^^ |
| + | |{{:pl:miw:miw08_umlandardxtt:ard_zlaczenie1.png|Ryc: Diagram aktywności ze złączeniami.}}|Diagram aktywności ze złączeniami.\\ \\ Wszystkie gałęzie diagramu aktywności wykonywane są współbieżnie do momentu, gdy wszystkie docierają do węzła złączenia. \\ \\ **Aktywność czeka aż wszystkie gałęzie dotrą do węzła**, a następnie wykonywana jest akcja występująca po złączeniu. Jest do zatem zgodne z tym, czego oczekiwalibyśmy po diagramie ARD. \\ \\ \\ | | ||
| + | |{{:pl:miw:miw08_umlandardxtt:ard_scalenie1.png|Ryc: Diagram aktywności ze scaleniami.}}|Diagram aktywności ze scaleniami. \\ \\ Scalenie (ang. //merge node//) zgodnie ze [[pl:miw:miw08_umlandardxtt#zrodla_internetowe|specyfikacją OMG UML 2.1.2]] (s. 401) nie synchronizuje (ani nie łączy) poszczególnych gałęzi, lecz akceptuje jedną spośród kilku alternatywnych.\\ \\ Zatem u nas: jeśli zostanie ustalona tylko jedna z wartości //today// albo //hour// sterowanie zostałoby przekazane do //operation//. Takie rozwiązanie **nie wydaje się jednak zgodne** z działaniem termostatu. :!:| | ||
| - | |||
