Kontrola spójności modeli UML za pomocą modelu przestrzennego DOD

Prezentacja na temat: "Kontrola spójności modeli UML za pomocą modelu przestrzennego DOD"— Zapis prezentacji:

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

2 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

3 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

4 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

5 Wymiary architektury oprogramowania ciąg dalszy
5 5

6 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

7 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

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

9 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

10 Diagram Obiegu Dokumentów – uproszczony metamodel
10 10

11 Transformacje – DOD<->UseCase
11 11

12 Transformacje – DOD<->Class
12 12

13 Transformacje – DOD<->StateChart
13 13

14 Przykład: DOD - diagram klas
14 14

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

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

17 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

18 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

19 Pytania ? 19 19