UML 2 semantics and applications / (Record no. 11400)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 08107cam a2200973 a 4500 |
001 - CONTROL NUMBER | |
control field | ocn495092210 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240523125531.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 090304s2009 njua ob 001 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | CDX |
Language of cataloging | eng |
Description conventions | pn |
Transcribing agency | CDX |
Modifying agency | N$T |
-- | YDXCP |
-- | DG1 |
-- | CIT |
-- | IDEBK |
-- | E7B |
-- | UBF |
-- | DG1 |
-- | OCLCQ |
-- | FVL |
-- | OCLCQ |
-- | EBLCP |
-- | B24X7 |
-- | OCLCQ |
-- | DEBSZ |
-- | OCLCQ |
-- | OCLCF |
-- | OCLCQ |
-- | MHW |
-- | OTZ |
-- | UKDOC |
-- | OCLCQ |
-- | DEBBG |
-- | AZK |
-- | LOA |
-- | CNNOR |
-- | DG1 |
-- | MOR |
-- | LIP |
-- | PIFAG |
-- | ZCU |
-- | LIV |
-- | OCLCQ |
-- | MERUC |
-- | OCLCQ |
-- | U3W |
-- | OCLCQ |
-- | STF |
-- | BRL |
-- | WRM |
-- | LND |
-- | NRAMU |
-- | ICG |
-- | INT |
-- | VT2 |
-- | AU@ |
-- | COO |
-- | OCLCQ |
-- | G3B |
-- | TKN |
-- | OCLCQ |
-- | WYU |
-- | OCLCQ |
-- | DKC |
-- | OCLCQ |
-- | VLY |
-- | BRF |
-- | VHC |
-- | OCLCO |
-- | OCLCQ |
-- | OCLCO |
-- | OCLCL |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
Record control number | 015336816 |
Source | Uk |
019 ## - | |
-- | 463438608 |
-- | 646844868 |
-- | 746577151 |
-- | 748590972 |
-- | 770869034 |
-- | 859865468 |
-- | 961529127 |
-- | 962687659 |
-- | 1037531213 |
-- | 1038384623 |
-- | 1043065641 |
-- | 1055407138 |
-- | 1058057043 |
-- | 1063815584 |
-- | 1162536587 |
-- | 1290103464 |
-- | 1303493095 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780470522615 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0470522615 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780470522622 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0470522623 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0470409088 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780470409084 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9786612331633 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 6612331631 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 1282331639 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781282331631 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780470409084 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1002/9780470522622 |
Source of number or code | doi |
029 0# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | CDX |
System control number | 11206347 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000046756038 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000053263641 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000060064700 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | CHNEW |
System control number | 000934506 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | CHVBK |
System control number | 480148503 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV043390490 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV044155213 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 372883656 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 397008511 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 400435632 |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 43100319X |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 14242171 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)495092210 |
Canceled/invalid control number | (OCoLC)463438608 |
-- | (OCoLC)646844868 |
-- | (OCoLC)746577151 |
-- | (OCoLC)748590972 |
-- | (OCoLC)770869034 |
-- | (OCoLC)859865468 |
-- | (OCoLC)961529127 |
-- | (OCoLC)962687659 |
-- | (OCoLC)1037531213 |
-- | (OCoLC)1038384623 |
-- | (OCoLC)1043065641 |
-- | (OCoLC)1055407138 |
-- | (OCoLC)1058057043 |
-- | (OCoLC)1063815584 |
-- | (OCoLC)1162536587 |
-- | (OCoLC)1290103464 |
-- | (OCoLC)1303493095 |
037 ## - SOURCE OF ACQUISITION | |
Stock number | 10.1002/9780470522622 |
Source of stock number/acquisition | Wiley InterScience |
Note | http://www3.interscience.wiley.com |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.76.D47 |
Item number | U39 2009eb |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM |
Subject category code subdivision | 051010 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | K |
Source | bicssc |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13/1 |
Edition number | 22 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | MAIN |
245 00 - TITLE STATEMENT | |
Title | UML 2 semantics and applications / |
Statement of responsibility, etc. | edited by Kevin Lano. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Hoboken, NJ : |
Name of publisher, distributor, etc. | Wiley, |
Date of publication, distribution, etc. | �2009. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (xv, 400 pages) : |
Other physical details | illustrations |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references and index. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Cover13; -- 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# - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Print version record. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | A 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 ## - LANGUAGE NOTE | |
Language note | English. |
590 ## - LOCAL NOTE (RLIN) | |
Local note | John Wiley and Sons |
Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer software |
General subdivision | Development. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Application software |
General subdivision | Development. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | UML (Computer science) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Formal languages |
General subdivision | Semantics. |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logiciels d'application |
General subdivision | D�eveloppement. |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | UML (Informatique) |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | COMPUTERS |
General subdivision | Programming Languages |
-- | General. |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Application software |
General subdivision | Development |
Source of heading or term | fast |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer software |
General subdivision | Development |
Source of heading or term | fast |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Formal languages |
General subdivision | Semantics |
Source of heading or term | fast |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | UML (Computer science) |
Source of heading or term | fast |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Lano, K. |
758 ## - RESOURCE IDENTIFIER | |
Relationship information | has work: |
Label | UML 2 semantics and applications (Text) |
Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCGxVRHK8T8Xwcv3fcYbdpP |
Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
Title | UML 2 semantics and applications. |
Place, publisher, and date of publication | Hoboken, N.J. : John Wiley & Sons, �2009 |
International Standard Book Number | 9780470409084 |
Record control number | (DLC) 2009008870 |
-- | (OCoLC)313078322 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470522622">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470522622</a> |
938 ## - | |
-- | 123Library |
-- | 123L |
-- | 11464 |
938 ## - | |
-- | Books 24x7 |
-- | B247 |
-- | bks00033734 |
938 ## - | |
-- | Coutts Information Services |
-- | COUT |
-- | 11206347 |
938 ## - | |
-- | EBL - Ebook Library |
-- | EBLB |
-- | EBL711732 |
938 ## - | |
-- | ebrary |
-- | EBRY |
-- | ebr10342892 |
938 ## - | |
-- | EBSCOhost |
-- | EBSC |
-- | 289340 |
938 ## - | |
-- | ProQuest MyiLibrary Digital eBook Collection |
-- | IDEB |
-- | 233163 |
938 ## - | |
-- | YBP Library Services |
-- | YANK |
-- | 3124393 |
938 ## - | |
-- | YBP Library Services |
-- | YANK |
-- | 3133855 |
994 ## - | |
-- | 92 |
-- | INLUM |
No items available.