Kontrola spójności modeli UML za pomocą modelu przestrzennego DOD Stanisław Jerzy Niepostyn, Ilona Bluemke Instytut Informatyki, Politechnika Warszawska 1

Wprowadzenie Obecne metody kontroli spójności modeli UML: badanie pokrywania się modeli UML, identyfikacja i usuwanie niespójności pomiędzy modelami UML Propozycja kontroli spójności modeli UML: kontrola spójności modeli UML poprzez transformacje do/ze spójnego i kompletnego modelu DOD. Przedstawiona będzie koncepcja kontroli spójności modeli UML w oparciu o model przestrzenny DOD (Diagram Obiegu Dokumentów) – 3D DOD. 2 2

Plan prezentacji Opis architektury oprogramowania Wymiary architektury oprogramowania Diagramy obiegu dokumentów (DOD) Metamodel DOD Transformacje DOD<->UML DOD<->diagram przypadków użycia DOD<->diagram klas DOD<->diagram stanów Przykład zaprojektowanej aplikacji Podsumowanie 3 3

Opis architektury oprogramowania Nie jest możliwe utworzenie prostego i zrozumiałego modelu opisującego wszystkie aspekty projektowanego systemu Architektura składa się z wielu powiązanych modeli opisujących wybrane aspekty Model perspektyw architektonicznych „4 + 1”: Perspektywa przypadków użycia Perspektywa projektowa Perspektywa implementacyjna Perspektywa procesowa Perspektywa wdrożeniowa 4 4

Wymiary architektury oprogramowania ciąg dalszy 5 5

Wymiary architektury oprogramowania ciąg dalszy Perspektywę projektową (logiczną) można w sposób wystarczający przedstawić za pomocą modeli (wymiarów) opisujących: Strukturę – np. diagram klas, Zachowanie – np. diagram stanów, Funkcjonalność – np. diagram przypadków użycia Brak reguł wiązania elementów w danej perspektywie, np. w projektowej: Struktura, Zachowanie, Funkcjonalność Duże ryzyko powstawania niespójności pomiędzy modelami, a nawet w samych modelach 6 6

Wymiary architektury oprogramowania ciąg dalszy Obecne metody kontroli spójności modeli UML: badanie pokrywania się modeli, identyfikacja niespójności, analiza niespójności, usuwanie niespójności, śledzenie niespójności wdrażanie technik rozwiązywania niespójności Propozycja kontroli spójności modeli UML: kontrola spójności modeli poprzez transformacje pomiędzy spójnym i kompletnym modelem DOD, a odpowiednimi modelami UML (diagram klas, stanów, przypadków użycia). 7 7

Diagram Obiegu Dokumentów – przykładowy diagram 8 8

Diagram Obiegu Dokumentów funkcjonalność, zachowanie, struktura w jednym modelu Diagram Obiegu Dokumentów umożliwia za pomocą jednego diagramu (modelu) zaprezentować trzy wymiary: Strukturę – nagłówek diagramu, Zachowanie – operacje na obiektach, Funkcjonalność – operacje zgrupowane w partycje. Z diagramu DOD można wygenerować w prosty sposób trzy diagramy UML : Diagram klas Diagram stanów Diagram przypadków użycia. 9 9

Diagram Obiegu Dokumentów – uproszczony metamodel 10 10

Transformacje – DOD<->UseCase 11 11

Transformacje – DOD<->Class 12 12

Transformacje – DOD<->StateChart 13 13

Przykład: DOD - diagram klas 14 14

Przykład: DOD - przypadki użycia 15 15

Przykład: DOD – diagram stanów 16 16

Podsumowanie - 1 Przedstawiono koncepcję kontroli spójności modeli UML za pomocą modelu przestrzennego DOD. Automatyczne zachowanie spójności i kompletności modeli UML zrealizowano poprzez transformacje modeli UML do modelu DOD, a następnie transformacje odwrotne – z modelu DOD do modeli UML Zaleta modelu przestrzennego DOD – zrozumiałość, spójność mapowanych diagramów UML, kompletność opisu. 17 17

Podsumowanie - 2 Przedstawiona koncepcja umożliwia wykorzystanie zalet zarówno języka UML jak i innych notacji (np. DOD). Model przestrzenny DOD bardzo dobrze nadaje się do transformacji modeli z jednej notacji (np. UML) do innej notacji (m.in. XPDL) ze względu na spójny opis modelu w zakresie funkcjonalności, struktury i zachowania. Planowane transformacje pomiędzy modelami BPMN, EPC, jBPM, BPEL... 18 18

Pytania ? 19 19