rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: UML 2 semantics and applications
  name:
    name part: Lano, K.
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: nju
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xv, 400 pages) : illustrations
  abstract: 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 designs; Semantics of activity diagrams; Verification of UML models; State invariants; Model transformation specification and verification; Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.
  table of contents: 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…
  note: edited by Kevin Lano.
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Application software
    topic: Development
  subject:
    topic: Computer software
    topic: Development
  subject:
    topic: Formal languages
    topic: Semantics
  subject:
    topic: UML (Computer science)
  subject:
    topic: COMPUTERS
    topic: Programming Languages
    topic: General
  classification: QA76.76.D47 U39 2009eb
  classification: 005.13/1
  related item:
    title info:
      title: UML 2 semantics and applications
    origin info:
      publisher: Hoboken, N.J. : John Wiley & Sons, c2009
    identifier: (DLC) 2009008870
    identifier: (OCoLC)313078322
  related item:
    title info:
      title: Wiley online library
  identifier: 0470522623
  identifier: 9780470522622
  identifier: 9780470409084
  identifier: 10.1002/9780470522622 Wiley InterScience
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: CDX
    record creation date: 090304
    record change date: 20210727155920.0
    record identifier: in00002714759
    language of cataloging:
      language term: eng