Kontrola spójności modeli UML za pomocą modelu przestrzennego DOD Stanisław Jerzy Niepostyn, Ilona Bluemke Instytut Informatyki, Politechnika Warszawska
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
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
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
Wymiary architektury oprogramowania ciąg dalszy 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
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
Diagram Obiegu Dokumentów przykładowy diagram Oferta Aukcja Transakcja [2] [1] [3] Sprzedawca 08 S 01 09 02 10 11 12 07 03 13 Oferent 06 05 04 14 K 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
Diagram Obiegu Dokumentów uproszczony metamodel 10
Transformacje DOD<->UseCase class UseCase UseCase Association Actor 11
Transformacje DOD<->Class class Structure Association source target Class Operation Attribute 12
Transformacje DOD<->StateChart class Statechart Region Transition in out State 13
Przykład: DOD - diagram klas 14
Przykład: DOD - przypadki użycia 15
Przykład: DOD diagram stanów 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
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
Pytania? 19