Modelowanie i analiza systemów informatycznych MBSE/SysML Wykład 11 SYSMOD
Wykorzystane materiały Budapest University of Technology and Economics, Department of Measurement and InformaJon Systems: The System Modeling Language (SysML) and the SYSMOD modeling approach Tim Weilkiens: Systems Engineering with SysML/ UML, Morgan Kaufmann Publishers, Copyright 2007 Elsevier Inc. All rights reserved. Sanford Friedenthal, Alan Moore, and Rick Steiner: A PracJcal Guide to SysML, Morgan Kaufmann Publishers, Copyright 2009 Elsevier Inc. All rights reserved. Kurs IBM: Requirements management 2
Inżynieria systemów Interdyscyplinarne podejście do budowania zrównoważonych rozwiązań w odpowiedzi na rozbieżne potrzeby interesariuszy Zarządzanie złożonością projektów Koordynacja i integracja poszczególnych zespołów i ich dyscyplin Inżynieria oprogramowania Inżynieria osprzętu Inżynieria mechaniczna Inżynieria bezpieczeństwa Inżynieria procesowa 3
Cykl życia systemu model V Definicja wymagań interesariuszy Weryfikacja i walidacja Walidacja Analiza wymagań Przekazanie Weryfikacja Projekt architektoniczny Integracja Używanie Utrzymywanie Pomysł lub zapotrzebowanie Implementacja Pozbycie się Czas koncepcja budowanie produkcja używanie 4
Rozróżnienie problemu i rozwiązania PROBLEM Wymagania (potrzeby) interesariuszy Opis problemu i jego kontekstu Opisują oczekiwania interesariuszy od systemu Nie są definicją rozwiązania (z wyjątkiem środowiska) Jakość rezultatów Pochodzą od interesariuszy ROZWIĄZANIE Wymagania systemowe Abstrakcyjna reprezentacja rozwiązania Opisują, co system będzie robił Nie są projektem systemu Jak dobrze je zrealizuje Pochodzą od inżynierów systemowych Użytkownik będzie w stanie System będzie robił 5
Proces Specyfikacja wejściowa Porozumienie z klientem Strategia akceptacji Żądanie zmiany Analiza i modelowanie Żądanie zmiany Modele Wydobycie wymagań i strategii akceptacji Żądanie zmiany Specyfikacja wyjściowa Porozumienie z dostawcą Strategia akceptacji 6
Modele a poziomy wymagań Wizja np. modelowanie celu i użycia Poziom szczegołowości Wymagania interesariuszy Wymagania systemowe Wymagania podsystemów np. modelowanie funkcjonalne np. modelowanie funkcjonalne np. modelowanie wydajności np. modelowanie wydajności np. modelowanie wydajności 7
Znaczenie traceability Poziom szczegołowości Potrzeby użytkowników Własności systemu Przypadki użycia i wymagania Procedury testowe Projekt Problem System, który ma być zbudowany Dokumentacja użytkownika Przestrzeń problemu Przestrzeń rozwiązania 8
Znaczenie traceability Traceability pozwala na: Ocenę wpływu zmiany w wymaganiach na projekt Ocenę wpływu porażki testu na wymagania (jeżeli test się nie udaje, wymaganie raczej nie jest spełnione) Zarządzanie zakresem projektu Sprawdzenie, czy wszystkie wymagania są spełnione przez implementację Sprawdzenie, czy aplikacja robi tylko to, co zostało zamierzone Zarządzanie zmianami Projekt Cecha Wymaganie Testy Dokumentacja użytkownika 9
Język modelowania Język a metodologia Definiuje elementy i ich zależności Definiuje składnię (notację) i semantykę (znaczenie) Np. UML, SysML Metodologia rozwoju systemu Definiuje kroki analizy i projektowania systemu Definiuje użycie elementów modelu i diagramów Np. RUP (Ra-onal Unified Process), SYSMOD (SYStem MODelling Tima Weilkiensa) 10
SYSMOD podejście do analizy 11
SYSMOD analiza 12
Opis kontekstu systemu System wypożyczania samochodów SpeedyCar Pracuje bez personelu Konieczna identyfikacja klientów Centralny komputer w komorze radia Komunikacja z centralnym systemem rezerwacji Zbieranie danych użytkowania Udogodnienia Nawigacja Radio Telefon 13
Określanie wymagań 14
Identyfikacja interesariuszy Interesariusz Priorytet (1-4) Komentarz/cele Klient 1 Chce łatwego i wygodnego dostępu do samochodu i niskich cen System rezerwacji 2 Wymaga interfejsu do komputera pokładowego Producent samochodu 1 Komputer pokładowy musi sterować centralnym zamkiem zabezpieczeniem antykradzieżowym oraz zbierać informacje o przejechanej trasie Dostawca komunikacji komórkowej 1 Komputer pokładowy i system rezerwacji najprawdopodobniej będą komunikować się przez SMS. Należy zapewnić szybkość i dostępność Firma ubezpieczeniowa 1 Czy ochrona włamaniowa jest wystarczająca dla komputera pokładowego? Serwis samochodowy 2 Instalacja, utrzymanie i konfiguracja komputera pokładowego Call center SpeedyCar 2 Obsługuje pytania klientów odnośnie działania komputera pokładowego Producent systemu nawigacji Producent radio samochodowego 4 SpeedyCar chce, żeby komputer pokładowy miał funkcjonalność systemu nawigacji 2 Komputer pokładowy powinien także integrować funkcjonalność radio, ponieważ rzeczywiste radio zostanie nim zastąpione Producent czytnika kart 1 Urządzenie dostępowe zostanie zakupione od zewnętrznego producenta Prawo wsteczne systemów spadkowych 3 Co prawo mówi o pozbyciu się starych urządzeń? Kto jest za to odpowiedzialny? Prawodawca 1 Jaka wielkość/waga jest dozwolona dla komputera pokładowego? Należy sprawdzić także inne ograniczenia prawne 15
Identyfikacja interesariuszy 16
Zebranie wymagań 17
Zebranie wymagań 18
Modelowanie kontekstu systemu 19
Identyfikacja aktorów systemowych 20
Modelowanie przepływu informacji 21
Identyfikowanie punktów interakcji 22
Kontekst systemu 23
Modelowanie przypadków użycia 24
Identyfikacja przypadków użycia 25
Organizacja przypadków użycia 26
Traceability wymagań 27
Zasadniczy opis przypadków użycia 28
Zasadniczy opis przypadków użycia 29
Zasadniczy opis przypadków użycia 30
Modelowanie przepływów sterowania 31
Modelowanie przepływów obiektów 32
Modelowanie wiedzy dziedzinowej 33
Tworzenie słownika 34
SYSMOD podejście do projektowania 35
SYSMOD projektowanie 36
Modelowanie interakcji aktor- system 37
Określanie interfejsów systemu 38
Modelowanie struktur systemu Komponenty: 39
Modelowanie struktur systemu Związki komponentów: 40
Modelowanie struktur systemu Alokacje strukturalne: 41
Modelowanie struktur systemu Alokacje funkcjonalne (akcji do komponentów): 42
Modelowanie struktur systemu Traceability do wymagań (bloki spełniające wymagania): 43
Definiowanie modelu stanów 44
SYSMOD model parametryczny 45
Ograniczenia na cechach bloków 46
SYSMOD zarządzanie wariantami 47
Zarządzanie wariantami 48