000 04822nam a22004695i 4500
001 978-1-4939-3295-5
003 DE-He213
005 20200421111654.0
007 cr nn 008mamaa
008 160601s2016 xxu| s |||| 0|eng d
020 _a9781493932955
_9978-1-4939-3295-5
024 7 _a10.1007/978-1-4939-3295-5
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aDori, Dov.
_eauthor.
245 1 0 _aModel-Based Systems Engineering with OPM and SysML
_h[electronic resource] /
_cby Dov Dori.
250 _a1st ed. 2016.
264 1 _aNew York, NY :
_bSpringer New York :
_bImprint: Springer,
_c2016.
300 _aXXII, 411 p. 175 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aReady 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.
520 _aModel-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.
650 0 _aComputer science.
650 0 _aProgramming languages (Electronic computers).
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781493932948
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4939-3295-5
912 _aZDB-2-SCS
942 _cEBK
999 _c54590
_d54590