Jezyk inzynierii systemow SysML Architektura i zastosowania Profile UML 2 x w praktyce.pdf

(1225 KB) Pobierz
Jêzyk in¿ynierii systemów
SysML. Architektura
i zastosowania. Profile
UML 2.x w praktyce
Autorzy:
Stanis³aw Wrycza, Bartosz Marcinkowski
ISBN: 978-83-246-2541-3
Format: 158235, stron: 176
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
Poznaj jêzyk SysML, opieraj¹c siê na wiedzy najlepszych specjalistów w tej dziedzinie!
Spis tre ci
Wstöp .............................................................................................. 7
Rozdziaä 1. Architektura jözyka SysML ............................................................... 9
1.1.
1.2.
1.3.
1.4.
1.5.
Wprowadzenie do j zyka SysML ............................................................................ 9
Powstanie i ewolucja j zyka SysML ...................................................................... 10
SysML a metodologie i narz dzia tworzenia systemów ........................................ 12
In ynieria systemów .............................................................................................. 13
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
4
Jözyk in ynierii systemów SysML. Architektura i zastosowania
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.
7.2.
7.3.
7.4.
7.5.
7.6.
Rodzaje diagramów UML4SysML ...................................................................... 119
Diagram przypadków u ycia ............................................................................... 120
Diagram maszyny stanowej ................................................................................. 124
Diagram sekwencji .............................................................................................. 127
Diagramy pakietów .............................................................................................. 133
Diagramy UML 2.x nieuj te w specyfikacji j zyka SysML ................................ 136
Spis tre ci
5
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
Zgłoś jeśli naruszono regulamin