Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

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

Podobne prezentacje


Prezentacja na temat: "Kontrola spójności modeli UML za pomocą modelu przestrzennego DOD Stanisław Jerzy Niepostyn, Ilona Bluemke Instytut Informatyki, Politechnika Warszawska."— Zapis prezentacji:

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

2 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.

3 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

4 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

5 5 Wymiary architektury oprogramowania ciąg dalszy

6 6 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 Wymiary architektury oprogramowania ciąg dalszy

7 7 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).

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

9 9 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. Diagram Obiegu Dokumentów funkcjonalność, zachowanie, struktura w jednym modelu

10 10 Diagram Obiegu Dokumentów – uproszczony metamodel

11 11 Transformacje – DOD UseCase

12 12 Transformacje – DOD Class

13 13 Transformacje – DOD StateChart

14 14 Przykład: DOD - diagram klas

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

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

17 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.

18 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...

19 19 Pytania ?


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

Podobne prezentacje


Reklamy Google