Język inżynierii systemów SysML. Architektura i zastosowania. Profile UML 2.x w praktyce - ebook

SysML, czyli System Modeling Language, to nowy obiektowy język modelowania systemów. W prostej linii wywodzi się on z języka UML, który stanowił do tej pory swego rodzaju standard w inżynierii oprogramowania. SysML został dostosowany do specyficznych potrzeb inżynierów systemowych, zajmujących się projektami w sposób całościowy. Pozwala na specyfikację, analizę, projektowanie i weryfikację złożonych systemów różnego rodzaju, a dzięki swoim dużym możliwościom i elastyczności w ciągu kilku lat zdołał zdobyć liczną rzeszę profesjonalnych użytkowników.

Opanowanie arkanów posługiwania się tym narzędziem ułatwi książka "Język inżynierii systemów SysML. Architektura i zastosowania. Profile UML 2.x w praktyce". Pierwsza na polskim rynku pozycja poświęcona SysML stanowi jednocześnie doskonałe wprowadzenie w zagadnienia inżynierii systemowej, zawiera szczegółowy opis architektury języka oraz prezentuje najważniejsze koncepcje związane z jego zastosowaniem. Książka niemal w całości przedstawia różnego typu diagramy, a zamieszczone w niej dodatki ułatwią zrozumienie nawet najbardziej skomplikowanych zagadnień i umożliwią sprawne poruszanie się po treści oraz uzupełnienie wiedzy w oparciu o publikacje innych autorów.

• Struktura, historia i zastosowania języka SysML
• Diagram wymagań systemowych
• Diagram definiowania bloków
• Diagram bloków wewnętrznych
• Diagram parametryczny
• Rozszerzony diagram czynności
• Diagramy UML4SysML

Wstęp (7)

Rozdział 1. Architektura języka SysML (9)

• 1.1. Wprowadzenie do języka SysML (9)
  
• 1.2. Powstanie i ewolucja języka SysML (10)
  
• 1.3. SysML a metodologie i narzędzia tworzenia systemów (12)
  
• 1.4. Inżynieria systemów (13)
  
• 1.5. Struktura języka SysML (14)

Rozdział 2. Diagram wymagań systemowych (19)

• 2.1. Znaczenie wymagań w procesie tworzenia systemu (19)
  
  • 2.1.1. Klasyfikacja wymagań (20)
  • 2.1.2. Metody dokumentowania wymagań systemowych (21)
• 2.2. Elementy diagramu wymagań systemowych (22)
  
  • 2.2.1. Kategorie modelowania (22)
  • 2.2.2. Wymagania (23)
  • 2.2.3. Rodzaje związków pomiędzy wymaganiami (24)
  • 2.2.4. Zagnieżdżenie (25)
  • 2.2.5. Zależność wyprowadzania (28)
  • 2.2.6. Zależność realizacji (28)
  • 2.2.7. Zależność powielania (30)
  • 2.2.8. Zależność weryfikowania (32)
  • 2.2.9. Zależność precyzowania (33)
  • 2.2.10. Zależność śledzenia (34)
  • 2.2.11. Analiza porównawcza zależności (37)
• 2.3. Zaawansowana specyfikacja wymagań oraz związków (39)
  
  • 2.3.1. Tabelaryczna specyfikacja wymagań (40)
  • 2.3.2. Tabelaryczna specyfikacja związków (41)
  • 2.3.3. Rozszerzone wymagania systemowe (41)
  • 2.3.4. Stereotypowanie rozszerzonych wymagań systemowych (42)

Rozdział 3. Diagram definiowania bloków (45)

• 3.1. Rola bloków w dokumentacji systemu (45)
  
• 3.2. Elementy diagramu definiowania bloków (46)
  
  • 3.2.1. Kategorie modelowania (46)
  • 3.2.2. Bloki (48)
  • 3.2.3. Cechy bloku (48)
  • 3.2.4. Sekcje bloku (50)
  • 3.2.5. Związki (51)
  • 3.2.6. Typy wartości (54)
• 3.3. Zaawansowana specyfikacja bloków (56)
  
  • 3.3.1. Dodatkowe sekcje bloku (56)
  • 3.3.2. Bloki abstrakcyjne (58)
  • 3.3.3. Bloki asocjacyjne (59)
  • 3.3.4. Bloki ograniczeń (60)
  • 3.3.5. Alokacje (60)

Rozdział 4. Diagram bloków wewnętrznych (65)

• 4.1. Elementy diagramu bloków wewnętrznych (65)
  
  • 4.1.1. Kategorie modelowania (65)
  • 4.1.2. Części (67)
  • 4.1.3. Klasyfikacja portów (67)
  • 4.1.4. Pojedyncze porty transmisyjne (68)
  • 4.1.5. Zagregowane porty transmisyjne (69)
  • 4.1.6. Sprzęganie zagregowanych portów transmisyjnych (71)
  • 4.1.7. Porty standardowe (71)
• 4.2. Zaawansowane elementy diagramów bloków wewnętrznych (74)
  
  • 4.2.1. Przywołanie bloku/części (74)
  • 4.2.2. Wartość początkowa (76)
  • 4.2.3. Węzeł bloku asocjacyjnego (77)
  • 4.2.4. Przepływ zasobów (78)
  • 4.2.5. Definiowanie portów w sekcjach części/bloku (79)

Rozdział 5. Diagram parametryczny (81)

• 5.1. Znaczenie parametrów w dokumentowaniu systemu (81)
  
• 5.2. Elementy diagramu parametrycznego (82)
  
  • 5.2.1. Kategorie modelowania (82)
  • 5.2.2. Bloki ograniczeń (83)
  • 5.2.3. Cechy ograniczające (86)
  • 5.2.4. Przypisywanie wartości cechom ograniczającym (86)
  • 5.2.5. Funkcje celowe (88)
  • 5.2.6. Miary efektywności (91)

Rozdział 6. Rozszerzony diagram czynności (95)

• 6.1. Znaczenie czynności w modelowaniu systemów (95)
  
• 6.2. Elementy diagramu czynności (96)
  
  • 6.2.1. Kategorie modelowania (96)
  • 6.2.2. Charakterystyka pierwotnych kategorii modelowania (96)
• 6.3. Rozszerzenia diagramów czynności w języku SysML (103)
  
  • 6.3.1. Systemy ciągłe i strumieniowe (103)
  • 6.3.2. Wartości kontrolne i operatory sterowania (104)
  • 6.3.3. Buforowanie danych i sterowania (106)
  • 6.3.4. Parametr opcjonalny (109)
  • 6.3.5. Przepustowość (111)
  • 6.3.6. Prawdopodobieństwo (112)
  • 6.3.7. Warunki wstępne i końcowe (113)
  • 6.3.8. Blokowa notacja czynności (116)

Rozdział 7. Diagramy UML4SysML (119)

• 7.1. Rodzaje diagramów UML4SysML (119)
  
• 7.2. Diagram przypadków użycia (120)
  
• 7.3. Diagram maszyny stanowej (124)
  
• 7.4. Diagram sekwencji (127)
  
• 7.5. Diagramy pakietów (133)
  
• 7.6. Diagramy UML 2.x nieujęte w specyfikacji języka SysML (136)

Dodatek A: Słownik polsko-angielski (139)

Dodatek B: Słownik angielsko-polski (147)

Dodatek C: Spis rysunków (155)

Dodatek D: Spis tabel (159)

Dodatek E: Literatura (161)

Skorowidz (167)