000 08107cam a2200973 a 4500
001 ocn495092210
003 OCoLC
005 20240523125531.0
006 m o d
007 cr cnu---unuuu
008 090304s2009 njua ob 001 0 eng d
040 _aCDX
_beng
_epn
_cCDX
_dN$T
_dYDXCP
_dDG1
_dCIT
_dIDEBK
_dE7B
_dUBF
_dDG1
_dOCLCQ
_dFVL
_dOCLCQ
_dEBLCP
_dB24X7
_dOCLCQ
_dDEBSZ
_dOCLCQ
_dOCLCF
_dOCLCQ
_dMHW
_dOTZ
_dUKDOC
_dOCLCQ
_dDEBBG
_dAZK
_dLOA
_dCNNOR
_dDG1
_dMOR
_dLIP
_dPIFAG
_dZCU
_dLIV
_dOCLCQ
_dMERUC
_dOCLCQ
_dU3W
_dOCLCQ
_dSTF
_dBRL
_dWRM
_dLND
_dNRAMU
_dICG
_dINT
_dVT2
_dAU@
_dCOO
_dOCLCQ
_dG3B
_dTKN
_dOCLCQ
_dWYU
_dOCLCQ
_dDKC
_dOCLCQ
_dVLY
_dBRF
_dVHC
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
016 7 _a015336816
_2Uk
019 _a463438608
_a646844868
_a746577151
_a748590972
_a770869034
_a859865468
_a961529127
_a962687659
_a1037531213
_a1038384623
_a1043065641
_a1055407138
_a1058057043
_a1063815584
_a1162536587
_a1290103464
_a1303493095
020 _a9780470522615
_q(electronic bk.)
020 _a0470522615
_q(electronic bk.)
020 _a9780470522622
020 _a0470522623
020 _a0470409088
020 _a9780470409084
020 _a9786612331633
020 _a6612331631
020 _a1282331639
020 _a9781282331631
020 _z9780470409084
024 7 _a10.1002/9780470522622
_2doi
029 0 _aCDX
_b11206347
029 1 _aAU@
_b000046756038
029 1 _aAU@
_b000053263641
029 1 _aAU@
_b000060064700
029 1 _aCHNEW
_b000934506
029 1 _aCHVBK
_b480148503
029 1 _aDEBBG
_bBV043390490
029 1 _aDEBBG
_bBV044155213
029 1 _aDEBSZ
_b372883656
029 1 _aDEBSZ
_b397008511
029 1 _aDEBSZ
_b400435632
029 1 _aDEBSZ
_b43100319X
029 1 _aNZ1
_b14242171
035 _a(OCoLC)495092210
_z(OCoLC)463438608
_z(OCoLC)646844868
_z(OCoLC)746577151
_z(OCoLC)748590972
_z(OCoLC)770869034
_z(OCoLC)859865468
_z(OCoLC)961529127
_z(OCoLC)962687659
_z(OCoLC)1037531213
_z(OCoLC)1038384623
_z(OCoLC)1043065641
_z(OCoLC)1055407138
_z(OCoLC)1058057043
_z(OCoLC)1063815584
_z(OCoLC)1162536587
_z(OCoLC)1290103464
_z(OCoLC)1303493095
037 _a10.1002/9780470522622
_bWiley InterScience
_nhttp://www3.interscience.wiley.com
050 4 _aQA76.76.D47
_bU39 2009eb
072 7 _aCOM
_x051010
_2bisacsh
072 7 _aK
_2bicssc
082 0 4 _a005.13/1
_222
049 _aMAIN
245 0 0 _aUML 2 semantics and applications /
_cedited by Kevin Lano.
260 _aHoboken, NJ :
_bWiley,
_c�2009.
300 _a1 online resource (xv, 400 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
504 _aIncludes bibliographical references and index.
505 0 _aCover13; -- CONTENTS -- CONTRIBUTORS -- PREFACE -- 1 INTRODUCTION TO THE UNIFIED MODELING LANGUAGE -- 1.1 Introduction -- 1.2 Class Diagrams -- 1.3 Object Diagrams -- 1.4 Use Cases -- 1.5 State Machines -- 1.6 Object Constraint Language -- 1.7 Interaction Diagrams -- 1.8 Activity Diagrams -- 1.9 Deployment Diagrams -- 1.10 Relationships Between UML Models -- 1.11 Summary -- 2 THE ROLE OF SEMANTICS -- 2.1 Introduction -- 2.2 Different Semantic Approaches -- 2.3 Applications of Semantics -- 2.4 UML Semantics -- 2.5 Applications of Semantics to UML -- 2.6 Application of Semantics to the Use of UML -- 2.7 Summary -- 3 CONSIDERATIONS AND RATIONALE FOR A UML SYSTEM MODEL -- 3.1 Introduction -- 3.2 General Approach to Semantics -- 3.3 Structuring the Semantics of UML -- 3.4 The Math Behind the System Model -- 3.5 What Is the System Model? -- 3.6 Usage Scenarios -- 3.7 Concluding Remarks -- 4 DEFINITION OF THE SYSTEM MODEL -- 4.1 Introduction -- 4.2 Notational Conventions -- 4.3 Static Part of the System Model -- 4.4 Control Part of the System Model -- 4.5 Messages and Events in the System Model -- 4.6 Object State -- 4.7 Event-Based Object Behavior -- 4.8 Timed Object Behavior -- 4.9 The System Model Definition -- Appendix A.1 State Transition Systems -- Appendix A.2 Timed State Transition Systems -- 5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS -- 5.1 Introduction -- 5.2 Definition of Descriptive Semantics in FOPL -- 5.3 The LAMBDES Tool -- 5.4 Applications Using Model and Metamodel Analysis -- 5.5 Conclusions -- 6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS -- 6.1 Introduction -- 6.2 Real-Time Action Logic -- 6.3 Semantics of Class Diagrams -- 6.4 Application of the Semantics -- 6.5 Related Work -- 6.6 Conclusions -- 7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS -- 7.1 Introduction -- 7.2 Metamodeling Semantics -- 7.3 OCL Semantics: Types and Values -- 7.4 OCL Semantics: Expressions and Evaluations -- 7.5 Summary and Conclusions -- 8 AXIOMATIC SEMANTICS OF STATE MACHINES -- 8.1 Introduction -- 8.2 State Machine Semantics -- 8.3 Extended State Machines -- 8.4 Semantics for Extended State Machines -- 8.5 Solutions for Semantic Problems -- 8.6 Structured Behavior State Machines -- 8.7 Related Work -- 8.8 Summary -- 9 INTERACTIONS -- 9.1 Introduction -- 9.2 Trace-Based Semantics -- 9.3 Alternative Semantics -- 9.4 Implementation and Refinement -- 9.5 Verification and Validation -- 10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS -- 10.1 Introduction -- 10.2 Why Co-algebras? -- 10.3 A Semantics for UML Sequence Diagrams -- 10.4 New Sequence Diagrams from Old -- 10.5 Coercions and Designs -- 10.6 A Calculus for Interactions -- 10.7 Concluding Remarks -- 11 SEMANTICS OF ACTIVITY DIAGRAMS -- 11.1 Introduction -- 11.2 Semantics of Structured Activities -- 11.3 Semantics of Intermediate Activities -- 11.4 Data Flow Semantics -- 11.5 Semantic Analysis -- 11.6 Related Work -- 11.7 Summary -- 12 VERIFICATION OF UML MODELS -- 12.1 Introduction -- 12.2 Class Diagrams -- 12.3 State Machine Diagrams -- 12.4 Sequence Diagrams -- 12.5 Summary -- 13 DESIGN VERIFICATION WITH STATE INVARIANTS -- 13.1 Int.
588 0 _aPrint version record.
520 _aA coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction des.
546 _aEnglish.
590 _aJohn Wiley and Sons
_bWiley Online Library: Complete oBooks
650 0 _aComputer software
_xDevelopment.
650 0 _aApplication software
_xDevelopment.
650 0 _aUML (Computer science)
650 0 _aFormal languages
_xSemantics.
650 6 _aLogiciels d'application
_xD�eveloppement.
650 6 _aUML (Informatique)
650 7 _aCOMPUTERS
_xProgramming Languages
_xGeneral.
_2bisacsh
650 7 _aApplication software
_xDevelopment
_2fast
650 7 _aComputer software
_xDevelopment
_2fast
650 7 _aFormal languages
_xSemantics
_2fast
650 7 _aUML (Computer science)
_2fast
700 1 _aLano, K.
758 _ihas work:
_aUML 2 semantics and applications (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGxVRHK8T8Xwcv3fcYbdpP
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_tUML 2 semantics and applications.
_dHoboken, N.J. : John Wiley & Sons, �2009
_z9780470409084
_w(DLC) 2009008870
_w(OCoLC)313078322
856 4 0 _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9780470522622
938 _a123Library
_b123L
_n11464
938 _aBooks 24x7
_bB247
_nbks00033734
938 _aCoutts Information Services
_bCOUT
_n11206347
938 _aEBL - Ebook Library
_bEBLB
_nEBL711732
938 _aebrary
_bEBRY
_nebr10342892
938 _aEBSCOhost
_bEBSC
_n289340
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_n233163
938 _aYBP Library Services
_bYANK
_n3124393
938 _aYBP Library Services
_bYANK
_n3133855
994 _a92
_bINLUM
999 _c11400
_d11400