UML 2 Semantics and Applications
UML 2 Semantics and Applications

Author: Kevin Lano

Publisher: John Wiley & Sons

Published: 2009-10-13

Total Pages: 419

ISBN-13: 0470522615

DOWNLOAD EBOOK

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.

UML 2 For Dummies
UML 2 For Dummies

Author: Michael Jesse Chonoles

Publisher: For Dummies

Published: 2003-10-14

Total Pages: 436

ISBN-13: 0764544861

DOWNLOAD EBOOK

Uses friendly, easy-to-understand For Dummies style to help readers learn to model systems with the latest version of UML, the modeling language used by companies throughout the world to develop blueprints for complex computer systems Guides programmers, architects, and business analysts through applying UML to design large, complex enterprise applications that enable scalability, security, and robust execution Illustrates concepts with mini-cases from different business domains and provides practical advice and examples Covers critical topics for users of UML, including object modeling, case modeling, advanced dynamic and functional modeling, and component and deployment modeling

UML 2000 - The Unified Modeling Language: Advancing the Standard
UML 2000 - The Unified Modeling Language: Advancing the Standard

Author: Andy Evans

Publisher: Springer

Published: 2003-06-29

Total Pages: 586

ISBN-13: 3540400117

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on the Unified Modeling Language, 2000, held in York, UK in October 2000. The 36 revised full papers presented together with two invited papers and three panel outlines were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modeling, behavioral modeling, methodology, actions and constraints, patterns, architecture, and state charts.

The Unified Modeling Language User Guide 2e
The Unified Modeling Language User Guide 2e

Author: Booch

Publisher: Pearson Education India

Published:

Total Pages: 488

ISBN-13: 9332555966

DOWNLOAD EBOOK

Starting with an overview of the UML, the book explains the language gradually by introducing a few concepts and notations in each chapter. It also illustrates the application of the UML to complex modeling problems across a variety of application domains. The in-depth coverage and example-driven approach that made the first edition of The Unified Modeling Language User Guide an indispensable resource remain unchanged. However, content has been thoroughly updated to reflect changes to notation and usage required by UML 2.0.

UML for Real
UML for Real

Author: Luciano Lavagno

Publisher: Springer Science & Business Media

Published: 2003-05-31

Total Pages: 376

ISBN-13: 1402075014

DOWNLOAD EBOOK

The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That world—as the proverbial Mr. Murphy tells us—is an unpredictable and often unfriendly place. Consequently, there is a very strong motivation to investigate and apply advanced design methods and technologies that could simplify and improve the reliability of real-time software design and implementation. As a result, from the first versions of UML issued in the mid 1990’s, designers of embedded and real-time systems have taken to UML with vigour and enthusiasm. However, the dream of a complete, model-driven design flow from specification through automated, optimised code generation, has been difficult to realise without some key improvements in UML semantics and syntax, specifically targeted to the real-time systems problem. With the enhancements in UML that have been proposed and are near standardisation with UML 2. 0, many of these improvements have been made. In the Spring of 2003, adoption of a formalised UML 2. 0 specification by the members of the Object Management Group (OMG) seems very close. It is therefore very appropriate to review the status of UML as a set of notations for embedded real-time systems - both the state of the art and best practices achieved up to this time with UML of previous generations - and where the changes embodied in the 2.