A Practical Guide to Sys: ML. The Systems Modeling Language

Front Cover......Page 1
A Practical Guide to SysML: The Systems Modeling Language......Page 3
Morgan Kaufmann OMG Press......Page 5
Copyright......Page 4
Contents......Page 6
Book Organization......Page 18
Uses of this Book......Page 19
How to Read This Book......Page 20
Changes from Previous Edition......Page 21
Acknowledgments......Page 22
About the Authors......Page 24
Part I Introduction......Page 26
1.1 Motivation for Systems Engineering......Page 28
1.2 The Systems Engineering Process......Page 29
1.3 Typical Application of the Systems Engineering Process......Page 30
1.4 Multidisciplinary Systems Engineering Team......Page 34
1.5 Codifying Systems Engineering Practice through Standards......Page 35
1.6 Summary......Page 38
1.7 Questions......Page 39
2.1 Contrasting the Document-Based and Model-Based Approach......Page 40
2.2 Modeling Principles......Page 46
2.4 Questions......Page 52
3.2 SysML Diagram Overview......Page 54
3.3 Introducing SysML-Lite......Page 56
3.4 A Simplified MBSE Method......Page 69
3.5 The Learning Curve for SysML and MBSE......Page 72
3.7 Questions......Page 73
4.2 Automobile Example Overview......Page 76
4.3 Automobile Model......Page 77
4.5 Summary......Page 107
4.6 Questions......Page 108
Part II Language Description......Page 110
5.1 The OMG SysML Language Specification......Page 112
5.2 The Architecture of the SysML Language......Page 113
5.3 SysML Diagrams......Page 118
5.4 The Surveillance System Case Study......Page 125
5.5 Organization of Part II......Page 126
5.6 Questions......Page 127
6.1 Overview......Page 128
6.3 Defining Packages Using a Package Diagram......Page 129
6.4 Organizing a Package Hierarchy......Page 131
6.5 Showing Packageable Elements on a Package Diagram......Page 132
6.7 Importing Model Elements into Packages......Page 134
6.8 Showing Dependencies between Packageable Elements......Page 137
6.9 Specifying Views and Viewpoints......Page 139
6.10 Summary......Page 140
6.11 Questions......Page 141
7.1 Overview......Page 144
7.2 Modeling Blocks on a Block Definition Diagram......Page 146
7.3 Modeling the Structure and Characteristics of Blocks Using Properties......Page 148
7.4 Modeling Flows......Page 167
7.5 Modeling Block Behavior......Page 172
7.6 Modeling Interfaces Using Ports......Page 177
7.7 Modeling Classification Hierarchies Using Generalization......Page 192
7.8 Modeling Block Configurations Using Instances......Page 201
7.9 Deprecated Features......Page 203
7.10 Summary......Page 205
7.11 Questions......Page 207
8.1 Overview......Page 210
8.2 Using Constraint Expressions to Represent System Constraints......Page 212
8.3 Encapsulating Constraints in Constraint Blocks to Enable Reuse......Page 213
8.4 Using Composition to Build Complex Constraint Blocks......Page 215
8.5 Using a Parametric Diagram to Bind Parameters of Constraint Blocks......Page 216
8.6 Constraining Value Properties of a Block......Page 218
8.8 Constraining Time-Dependent Properties to Facilitate Time-Based Analysis......Page 220
8.9 Using Constraint Blocks to Constrain Item Flows......Page 222
8.10 Describing an Analysis Context......Page 223
8.11 Modeling Evaluation of Alternatives and Trade Studies......Page 225
8.12 Summary......Page 227
8.13 Questions......Page 228
9.1 Overview......Page 230
9.2 The Activity Diagram......Page 231
9.3 Actions—The Foundation of Activities......Page 233
9.4 The Basics of Modeling Activities......Page 234
9.5 Using Object Flows to Describe the Flow of Items between Actions......Page 238
9.6 Using Control Flows to Specify the Order of Action Execution......Page 245
9.7 Handling Signals and Other Events......Page 249
9.8 Structuring Activities......Page 250
9.9 Advanced Flow Modeling......Page 253
9.10 Modeling Constraints on Activity Execution......Page 256
9.11 Relating Activities to Blocks and Other Behaviors......Page 259
9.12 Modeling Activity Hierarchies Using Block Definition Diagrams......Page 265
9.14 Executing Activities......Page 268
9.15 Summary......Page 273
9.16 Questions......Page 274
10.1 Overview......Page 276
10.3 The Context for Interactions......Page 277
10.4 Using Lifelines to Represent Participants in an Interaction......Page 279
10.5 Exchanging Messages between Lifelines......Page 281
10.6 Representing Time on a Sequence Diagram......Page 286
10.7 Describing Complex Scenarios Using Combined Fragments......Page 289
10.9 Decomposing Lifelines to Represent Internal Behavior......Page 295
10.10 Summary......Page 298
10.11 Questions......Page 299
11.1 Overview......Page 302
11.3 Specifying States in a State Machine......Page 303
11.4 Transitioning between States......Page 306
11.5 State Machines and Operation Calls......Page 312
11.6 State Hierarchies......Page 313
11.7 Contrasting Discrete and Continuous States......Page 322
11.8 Summary......Page 324
11.9 Questions......Page 325
12.2 Use Case Diagram......Page 328
12.3 Using Actors to Represent the Users of a System......Page 329
12.4 Using Use Cases to Describe System Functionality......Page 330
12.5 Elaborating Use Cases with Behaviors......Page 335
12.6 Summary......Page 339
12.7 Questions......Page 340
13.1 Overview......Page 342
13.2 Requirement Diagram......Page 343
13.3 Representing a Text Requirement in the Model......Page 345
13.5 Representing Cross-Cutting Relationships in SysML Diagrams......Page 347
13.6 Depicting Rationale for Requirements Relationships......Page 350
13.7 Depicting Requirements and Their Relationships in Tables......Page 351
13.9 Modeling a Requirements Containment Hierarchy......Page 353
13.10 Modeling Requirement Derivation......Page 354
13.11 Asserting That a Requirement Is Satisfied......Page 356
13.12 Verifying That a Requirement Is Satisfied......Page 357
13.13 Reducing Requirements Ambiguity Using the Refine Relationship......Page 360
13.15 Reusing Requirements with the Copy Relationship......Page 363
13.16 Summary......Page 364
13.17 Questions......Page 365
14.2 Allocation Relationship......Page 368
14.3 Allocation Notation......Page 370
14.4 Types of Allocation......Page 372
14.5 Planning for Reuse: Specifying Definition and Usage in Allocation......Page 374
14.6 Allocating Behavior to Structure Using Functional Allocation......Page 377
14.7 Connecting Functional Flow with Structural Flow Using Functional Flow Allocation......Page 383
14.8 Modeling Allocation between Independent Structural Hierarchies......Page 386
14.9 Modeling Structural Flow Allocation......Page 389
14.11 Taking Allocation to the Next Step......Page 391
14.13 Questions......Page 392
15.1 Overview......Page 394
15.2 Defining Model Libraries to Provide Reusable Constructs......Page 398
15.3 Defining Stereotypes to Extend Existing SysML Concepts......Page 399
15.4 Extending the SysML Language Using Profiles......Page 404
15.5  Applying Profiles to User Models in Order to Use Stereotypes......Page 406
15.6 Applying Stereotypes when Building a Model......Page 407
15.7 Summary......Page 413
15.8 Questions......Page 414
Part III Modeling Examples......Page 416
16.1 Stating the Problem – The Need for Clean Drinking Water......Page 418
16.3 Organizing the Model......Page 419
16.4 Establishing Requirements......Page 421
16.5 Modeling Structure......Page 434
16.6  Analyze Performance......Page 442
16.7 Modify the Original Design......Page 445
16.9 Questions......Page 454
17.1 Method Overview......Page 456
17.2 Residential Security Example Overview......Page 462
17.3 Applying OOSEM to Specify and Design the Residential Security System......Page 463
17.4 Summary......Page 543
17.5 Questions......Page 544
Part IV Transitioning to Model-Based Systems Engineering......Page 546
18.1 Understanding the System Model’s Role in the Broader Modeling Context......Page 548
18.2 Tool Roles in a Systems Development Environment......Page 555
18.3 An Overview of Information Flow between Tools......Page 560
18.4 Data Exchange Mechanisms......Page 567
18.5 Data Exchange Applications......Page 573
18.6 Selecting a System Modeling Tool......Page 578
18.7 Summary......Page 579
18.8 Questions......Page 580
19.1 Improvement Process......Page 582
19.3 Questions......Page 588
A.2 - Notational Conventions......Page 590
A.3 - Package Diagram......Page 592
A.4 - Block Definition Diagram......Page 594
A.5 - Internal Block Diagram......Page 600
A.6 - Parametric Diagram......Page 602
A.7 - Activity Diagram......Page 603
A.8 - Sequence Diagram......Page 607
A.9 - State Machine Diagram......Page 610
A.10 - Use Case Diagram......Page 613
A.11 - Requirement Diagram......Page 614
A.12 - Allocation......Page 617
A.13 - Stereotypes......Page 618
References......Page 620
Index......Page 624