Author: Stephen J. Mellor, Marc J. Balcer
Publisher: Addison-Wesley Professional
Executable UML is a major innovation in the field of software development. It is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract thinking tool that aids in the formalization of knowledge, and is also a way of describing the concepts that make up abstract solutions to software development problems. This timely new book, "Executable UML: A Foundation for Model-Driven Architecture, " thoroughly introduces, documents, and explains this important new technology. The authors show how UML can formalize requirements and use cases into a rich set of verifiable diagrams, how it can be used to produce executable and testable models, and how these models can be translated directly into code. In addition, the book explains how individual system domains are woven together by an executable UML model compiler. The book is full of tips and techniques to help you: Partition a system into subject matters based on individual aspectsPick the right level for use case modeling to speed subject matter comprehensionModel classes and focus on relationships to capture subject matter semantics preciselyExpress behavior using the newly adopted UML action semantics and action languagesSpecify constraints using tags specified in OCL (Object Constraint Language) In addition, this book tackles topics of particular importance in execution, such as how to: Synchronize objects by building lifecycles using statechart diagramsModel relationships and contention safelyDistribute dynamics to avoid unmaintainable controller objectsVerify the models by executing test cases against the statechart diagrams and constraints A large-scale, fully developed case study runs throughout the book to illustrate concepts and techniques. These models, plus tools to translate and run Executable UML models, can be downloaded from the book's websites, www.executableumlbook.com and www.projtech.com. 0201748045B05092002
CD-ROM contains: iUMLite software, documentation, tutorials and example databases.
Author: Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise
Publisher: Addison-Wesley Professional
MDA Distilled is an accessible introduction to the MDA standard and its tools and technologies. The book describes the fundamental features of MDA, how they fit together, and how you can use them in your organization today. You will also learn how to define a model-driven process for a project involving multiple platforms, implement that process, and then test the resulting system.
Author: Leon Starr
Publisher: Prentice Hall
The practical guide to developing real-time class models with executable UML. -- Advanced techniques for creating rigorous, testable, complete UML specifications. -- In-depth application examples focused on real-time, embedded systems. -- By Leon Starr, the leading expert in building object models for real-time systems, and author of How to Build Shlaer-Mellor Object Models and Executable UML: A Case Study. Executable UML is for software professionals who want to apply object-oriented analysis and modeling techniques to real-world UML projects. In this book, Leon Starr presents the skills and techniques needed to build useful class models for creating precise, executable software specifications that generate target code in multiple languages and for multiple platforms. Leon, who wrote the definitive guide to Shlaer-Mellor modeling, emphasizes the practical use of executable UML modeling, presenting extensive examples from real-time embedded and scientific applications. Using the materials in his How to Build Shlaer-Mellor Object Models as a starting point, Leon presents an entirely new introduction to Executable UML, expresses all diagrams in Executable UML notation, and adds advanced new object modeling techniques. Coverage include: classes; attributes; associations and relationships; binary associations; association classes; specialization-generalization relationships; model constraints and descriptions; and reflexive, network, linear, and tree patterns for effective object modeling.
This book discusses how model-based approaches can improve the daily practice of software professionals. This is known as Model-Driven Software Engineering (MDSE) or, simply, Model-Driven Engineering (MDE). MDSE practices have proved to increase efficiency and effectiveness in software development, as demonstrated by various quantitative and qualitative studies. MDSE adoption in the software industry is foreseen to grow exponentially in the near future, e.g., due to the convergence of software development and business analysis. The aim of this book is to provide you with an agile and flexible tool to introduce you to the MDSE world, thus allowing you to quickly understand its basic principles and techniques and to choose the right set of MDSE instruments for your needs so that you can start to benefit from MDSE right away. The book is organized into two main parts. The first part discusses the foundations of MDSE in terms of basic concepts (i.e., models and transformations), driving principles, application scenarios, and current standards, like the well-known MDA initiative proposed by OMG (Object Management Group) as well as the practices on how to integrate MDSE in existing development processes. The second part deals with the technical aspects of MDSE, spanning from the basics on when and how to build a domain-specific modeling language, to the description of Model-to-Text and Model-to-Model transformations, and the tools that support the management of MDSE projects. The second edition of the book features: a set of completely new topics, including: full example of the creation of a new modeling language (IFML), discussion of modeling issues and approaches in specific domains, like business process modeling, user interaction modeling, and enterprise architecture complete revision of examples, figures, and text, for improving readability, understandability, and coherence better formulation of definitions, dependencies between concepts and ideas addition of a complete index of book content In addition to the contents of the book, more resources are provided on the book's website http://www.mdse-book.com, including the examples presented in the book.
Models to Code
Author: Leon Starr, Andrew Mangogna, Stephen Mellor
Learn how to translate an executable model of your application into running code. This is not a book about theory, good intentions or possible future developments. You’ll benefit from translation technology and solid software engineering principles that are demonstrated with concrete examples using an open source tool chain. Models don’t deliver enough value if they are not on a direct path to code production. But to waste time building models that are merely pictures of your code doesn’t add much value either. In this book, you’ll translate detailed, yet platform-independent models that solve real application problems. Using a pragmatic approach, Models to Code quickly dives into two case studies of Executable UML models. The models and code are extensively annotated and illustrate key principles that are emphasized throughout the book. You’ll work with code production using "C" as the implementation language and targeting microcomputer class processors. This might not be your particular target language or platform, but you can use you can use what you learn here to engineer or re-evaluate your own code translation system to dramatically increase the value of both your modeling and code generation solution. Written by three leading experts, Models to Code is an exceptional resource for producing software by model translation— add it to your library today. What You'll Learn See how detailed models resolve ambiguity and contradiction common in requirements. Examine how a model can be detailed enough to be executable and testable while remaining platform independent Produce code from a model, leaving the model intact so it can be redeployed on new platforms or adapted to changing software and hardware technology. Implement platform independent model execution rules in platform specific run-time code Who This Book Is For Modelers and systems engineers on active MBSE projects (using Executable UML or not), projects using Simulink, Matlab, Dymola, MatrixX and other math modelling tools. Any developers with current or past model experience, professors, students, systems engineers, embedded systems developers, or anyone interested in learning more about software modelling.
"This book displays how to effectively map and respond to the real-world challenges and purposes which software must solve, covering domains such as mechatronic, embedded and high risk systems, where failure could cost human lives"--Provided by publisher.
"This book consists of a series of high-level discussions on technical and managerial issues related to object-oriented development"--Provided by publisher.
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
Die Entwicklung eingebetteter Systeme wird aufgrund der immer anspruchsvolleren Anwendungen sowie der Verwendung von leistungsfähigeren Hardware-Architekturen (z.B. Multicore-, Hybrid-Systeme) immer komplexer. Modellgetriebene Methoden reduzieren die Komplexität des Systems mittels angemessenen Abstraktionsniveaus. Diese Arbeit stellt die modellgetriebene Entwicklungsmethodik DMOSES (Determi-nistische Modelle für die signalverarbeitenden eingebetteten Systeme) vor. Diese Methodik strebt die Verbesserung der Entwicklung hybrider eingebetteten Systeme (z.B. CPUs und FPGAs) hinsichtlich der Komplexität mittels anpassbarer Abstraktionseben, automatischer Codegenerierung und Systemverifikation an. Systeme werden mittels UML-Verhaltensmodelle spezifiziert, deren erweiterte Semantik relevante funktionale und nicht-funktionale Aspekte hybrider eingebetteten Systemen beschreibt. Eine anpassbare Abstraktionsebene wird durch die Integration von automatischer Code-Generierung und optimierbarem Code erreicht. Außerdem werden Sicherheitsanforderungen durch die Integration von Analysetechniken (Formale Verifikation, Ausführungszeit-Analyse und Software-Verträgen) in die Entwicklungsmethodik verifiziert.
“Terry’s style is always direct, approachable, and pragmatic. Abstraction is hard, and visualizing abstractions is as well, but here she’ll guide you in doing both using Rational Software Architect.” —From the Foreword by Grady Booch, IBM Fellow Master UML 2.0 Visual Modeling with IBM Rational Software Architect Using IBM Rational Software Architect, you can unify all aspects of software design and development. It allows you to exploit new modeling language technology to architect systems more effectively and develop them more productively. Now, two of IBM’s leading experts have written the definitive, start-to-finish guide to UML 2-based visual modeling with Rational Software Architect. You’ll learn hands-on, using a simplified case study that’s already helped thousands of professionals master analysis, design, and implementation with IBM Rational technologies. Renowned UML expert Terry Quatrani and J2EE/SOA evangelist Jim Palistrant walk you through visualizing all facets of system architecture at every stage of the project lifecycle. Whether you’re an architect, developer, or project manager, you’ll discover how to leverage IBM Rational’s latest innovations to optimize any project. Coverage includes Making the most of model-driven development with Rational Software Architect’s integrated design and development tools Understanding visual modeling: goals, techniques, language, and processes Beginning any visual modeling project: sound principles and best practices Capturing and documenting functional requirements with use case models Creating analysis models that begin to reveal your optimal system implementation Building design models that abstract your implementation model and source code Using implementation models to represent your system’s physical composition, from subsystems to executables and data Transforming these models to actual running code The IBM Press developerWorks® Series is a unique undertaking in which print books and the Web are mutually supportive. The publications in this series are complemented by resources on the developerWorks Web site on ibm.com. Icons throughout the book alert the reader to these valuable resources.
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside the technological advancements of computer applications to develop efficient and precise databases of information. The Handbook of Research on Innovations in Systems and Software Engineering combines relevant research from all facets of computer programming to provide a comprehensive look at the challenges and changes in the field. With information spanning topics such as design models, cloud computing, and security, this handbook is an essential reference source for academicians, researchers, practitioners, and students interested in the development and design of improved and effective technologies.
Learning UML 2.0
Author: Russ Miles, Kim Hamilton
Publisher: "O'Reilly Media, Inc."
With its clear introduction to the Unified Modeling Language (UML) 2.0, this tutorial offers a solid understanding of each topic, covering foundational concepts of object-orientation and an introduction to each of the UML diagram types.