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

Transkrypt

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

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

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

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 : Perspektywa przypadków użycia Perspektywa projektowa Perspektywa implementacyjna Perspektywa procesowa Perspektywa wdrożeniowa 4

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

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

8 Diagram Obiegu Dokumentów przykładowy diagram Oferta Aukcja Transakcja [2] [1] [3] Sprzedawca 08 S Oferent K 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

10 Diagram Obiegu Dokumentów uproszczony metamodel 10

11 Transformacje DOD<->UseCase class UseCase UseCase Association Actor 11

12 Transformacje DOD<->Class class Structure Association source target Class Operation Attribute 12

13 Transformacje DOD<->StateChart class Statechart Region Transition in out State 13

14 Przykład: DOD - diagram klas 14

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

16 Przykład: DOD diagram stanów 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

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

19 Pytania? 19