Podczas konsultacji 08.02.26 zwróciłem uwagę na podobieństwo diagramu ARD do diagramu aktywności ze złączeniem z książki Pilone 2007 s. 143.

Poniżej znajduje się przykładowy diagram ARD najniższego poziomu dla termostatu:

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 możliwych do użycia pseudostanów:

Symbol	Opis pseudostanu (na podstawie: Graessle 2006, ss. 69-71)
	Węzeł łączący [u 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 =
	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 =

Porównanie koncepcji diagramów UML dla diagramu ARD

Zgodnie ze 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.