Model-Based Systems Engineering with OPM and SysML

✍ Scribed by Dov Dori (auth.)

• Publisher: Springer-Verlag New York
• Year: 2016
• Tongue: English
• Leaves: 419
• Edition: 1
• Category: Library

✦ Synopsis

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain-independent, discipline-crossing methodology of developing or researching complex systems of any conceivable kind and size. Combining theory with a host of industrial, biological, and daily life examples, the book explains principles and provides guidelines for architecting complex, multidisciplinary systems, making it an indispensable resource for systems architects and designers, engineers of any discipline, executives at all levels, project managers, IT professional, systems scientists, and engineering students.

✦ Table of Contents

Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Ready to Start Modeling?....Pages 3-9
Text and Simulation Enhancements....Pages 11-17
Connecting Things with Links....Pages 19-28
SysML: Use Case, Block, and State Machine Diagrams....Pages 29-35
Refinement Through In-Zooming....Pages 37-43
The Dynamic Aspect of Systems....Pages 45-52
Controlling the System’s Behavior....Pages 53-62
Abstracting and Refining....Pages 63-71
Front Matter....Pages 73-73
Conceptual Modeling: Purpose and Context....Pages 75-96
Things: Objects and Processes....Pages 97-121
Object-Process Language: The Text....Pages 123-133
SysML: Foundations and Diagrams....Pages 135-156
The Dynamic System Aspect....Pages 157-182
The Structural System Aspect....Pages 183-196
Participation Constraints and Forks....Pages 197-214
Fundamental Structural Relations....Pages 215-218
Front Matter....Pages 219-219
Aggregation-Participation....Pages 221-238
Exhibition-Characterization....Pages 239-256
States and Values....Pages 257-275
Generalization and Instantiation....Pages 277-293
Front Matter....Pages 219-219
Complexity Management: Refinement and Abstraction....Pages 295-325
OPM Operational Semantics and Control Links....Pages 327-356
Logical Operators and Probabilities....Pages 357-374
Overview of ISO 19450....Pages 375-386
Back Matter....Pages 387-411

✦ Subjects

Programming Languages, Compilers, Interpreters