W związku z zaganieniami problematycznymi z podejścia pierwszego postanowiłem zmodyfikować tamten model UML
grupując klasy w podsystemy.

W diagramach zostały użyte następujące rodzaje powiązań:

UML	Nazwa powiązania	Znaczenie powiązania
	Agregacja	A posiada (agreguje, przechowuje dane dotyczące) B, w takim przypadku B może istnieć samodzielnie czy być współdzielone.
	Zależność	B używa A (lub ma dotyczące A informacje).
	Zależność «trace»	A jest wcześniejszą czasowo wersją B.1)

diagram THP	model UML (shi)
<graphviz file=„hekate:therm-t1.dot”></graphviz>
<graphviz file=„hekate:therm-t2.dot”></graphviz>
<graphviz file=„hekate:therm-t3.dot”></graphviz>
<graphviz file=„hekate:therm-t4.dot”></graphviz>
<graphviz file=„hekate:therm-t5.dot”></graphviz>
<graphviz file=„hekate:therm-t6.dot”></graphviz>
<graphviz file=„hekate:therm-t7.dot”></graphviz>
<graphviz file=„hekate:therm-t8.dot”></graphviz>

diagram ARD	diagram THP	model UML diagramu THP+ARD (sha)
<graphviz file=„hekate:therm-a0.dot”></graphviz>
<graphviz file=„hekate:therm-a1.dot”></graphviz>	<graphviz file=„hekate:therm-t1.dot”></graphviz>
<graphviz file=„hekate:therm-a2.dot”></graphviz>	<graphviz file=„hekate:therm-t2.dot”></graphviz>
<graphviz file=„hekate:therm-a3.dot”></graphviz>	<graphviz file=„hekate:therm-t3.dot”></graphviz>
<graphviz file=„hekate:therm-a4.dot”></graphviz>	<graphviz file=„hekate:therm-t4.dot”></graphviz>
<graphviz file=„hekate:therm-a5.dot”></graphviz>	<graphviz file=„hekate:therm-t5.dot”></graphviz>
<graphviz file=„hekate:therm-a6.dot”></graphviz>	<graphviz file=„hekate:therm-t6.dot”></graphviz>
<graphviz file=„hekate:therm-a7.dot”></graphviz>	<graphviz file=„hekate:therm-t7.dot”></graphviz>
<graphviz file=„hekate:therm-a8.dot”></graphviz>	<graphviz file=„hekate:therm-t8.dot”></graphviz>

Zatem ostateczny model UML dla diagramu sha:

Notacja UML	Nazwa stereotypu	Znaczenie powiązania
	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.
	use

W metamodelu use definiuje zależność, w której klient wymaga obecności dostawcy. Taka zależność nie określa w jaki sposób klient wykorzystuje dostawcę, jedynie określa, że dostawca jest używany w definicji bądź implementacji klienta. |

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 może być wyznaczony (obliczony) na podstawie dostawcy.