Model-Based Systems Engineering with OPM and SysML

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 professionals, systems scientists, and engineering students. Professor Dov Dori is Harry Lebensfeld Chair in Industrial Engineering and Head of the Enterprise System Modeling Laboratory at the Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology. Since 2000 he has been intermittently Visiting Professor at MIT's Engineering Systems Division, where he is currently Lecturer. He received his PhD in Computer Science in 1988 from Weizmann Institute of Science, MSc in Operations Research from Tel Aviv University in 1981, and BSc in Industrial Engineering and Management from Technion in 1975. Professor Dov Dori invented and developed Object-Process Methodology (OPM), recently adopted as ISO 19450. He has authored over 300 publications, including journal and conference papers, books, and book chapters. Prof. Dori has mentored over 50 graduate students. He chaired or was co-chair of nine international conferences and workshops. Among his many editorial duties, Prof. Dori was Associate Editor of IEEE Transaction on Pattern Analysis and Machine Intelligence, and currently he is Associate Editor of Systems Engineering. He is Fellow of INCOSE - International Council on Systems Engineering, Fellow of IAPR - International Association for Pattern Recognition, Member of Omega Alpha Association - International Honor Society for Systems Engineering, and Senior Member of IEEE and of ACM. His research interests include model-based systems engineering, conceptual modeling of complex systems, systems architecture and design, software and systems engineering, and systems biology 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 Professionals, Systems Scientists, And Engineering Students.^ Professor Dov Dori Is Harry Lebensfeld Chair In Industrial Engineering And Head Of The Enterprise System Modeling Laboratory At The Faculty Of Industrial Engineering And Management, Technion, Israel Institute Of Technology. Since 2000 He Has Been Intermittently Visiting Professor At Mit's Engineering Systems Division, Where He Is Currently Lecturer. He Received His Phd In Computer Science In 1988 From Weizmann Institute Of Science, Msc In Operations Research From Tel Aviv University In 1981, And Bsc In Industrial Engineering And Management From Technion In 1975. Professor Dov Dori Invented And Developed Object-process Methodology (opm), Recently Adopted As Iso 19450. He Has Authored Over 300 Publications, Including Journal And Conference Papers, Books, And Book Chapters. Prof. Dori Has Mentored Over 50 Graduate Students. He Chaired Or Was Co-chair Of Nine International Conferences And Workshops. Among His Many Editorial Duties, Prof.^ Dori Was Associate Editor Of Ieee Transaction On Pattern Analysis And Machine Intelligence, And Currently He Is Associate Editor Of Systems Engineering. He Is Fellow Of Incose – International Council On Systems Engineering, Fellow Of Iapr – International Association For Pattern Recognition, Member Of Omega Alpha Association – International Honor Society For Systems Engineering, And Senior Member Of Ieee And Of Acm. His Research Interests Include Model-based Systems Engineering, Conceptual Modeling Of Complex Systems, Systems Architecture And Design, Software And Systems Engineering, And Systems Biology. Ready To Start Modeling? -- Text And Simulation Enhancements -- Connecting Things With Links -- Sysml: Use Case, Block, And State Machine Diagrams -- Refinement Through In-zooming -- The Dynamic Aspect Of Systems -- Controlling The System’s Behavior -- Abstracting And Refining -- Conceptual Modeling: Purpose And Context -- Things: Objects And Processes -- Object-process Language: The Text -- Sysml: Foundations And Diagrams -- The Dynamic System Aspect -- The Structural System Aspect -- Participation Constraints And Forks -- Fundamental Structural Relations -- Aggregation-participation -- Exhibition-characterization -- States And Values -- Generalization And Instantiation -- Complexity Management: Refinement And Abstraction -- Opm Operational Semantics And Control Links -- Logical Operators And Probabilities -- Overview Of Iso 19450. By Dov Dori. 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 professionals, systems scientists, and engineering students. Professor Dov Dori is Harry Lebensfeld Chair in Industrial Engineering and Head of the Enterprise System Modeling Laboratory at the Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology. Since 2000 he has been intermittently Visiting Professor at MIT's Engineering Systems Division, where he is currently Lecturer. He received his PhD in Computer Science in 1988 from Weizmann Institute of Science, MSc in Operations Research from Tel Aviv University in 1981, and BSc in Industrial Engineering and Management from Technion in 1975. Professor Dov Dori invented and developed Object-Process Methodology (OPM), recently adopted as ISO 19450. He has authored over 300 publications, including journal and conference papers, books, and book chapters. Prof. Dori has mentored over 50 graduate students. He chaired or was co-chair of nine international conferences and workshops. Among his many editorial duties, Prof. Dori was Associate Editor of IEEE Transaction on Pattern Analysis and Machine Intelligence, and currently he is Assoc 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