Executable UML: A Foundation for Model-driven ArchitectureUsing Executable UML (xUML), developers can build UML models that can not only be unambiguously interpreted by human readers, but can be tested and validated through actual execution, and ultimately translated directly and completely to target code. This technology offers immense potential for accelerating development projects, enhancing reliability, and reducing cost. In this book, two of the field's leading experts introduce every facet of xUML. The authors introduce Executable UML's goals, premises, and features; then drill down to explain its key elements. Along the way, readers will discover exactly how to use xUML to create software systems that can be tested even before they are coded, enabling far greater reliability at significantly lower expense. For all developers, analysts, and project managers seeking to improve software reliability, time-to-market, and value. This book will be especially valuable to real-time programmers, and to thousands of programmers who have used Shlaer-Mellor methodologies. |
Contents
Introduction | 1 |
Chapter | 11 |
Using Executable | 13 |
Chapter | 14 |
Chapter 9 | 28 |
Domains and Bridges | 29 |
Domains and Bridges | 31 |
Use Cases | 39 |
Lifecycles | 146 |
Lifecycles | 147 |
4 | 155 |
Creating and Deleting Objects | 162 |
Communicating Objects | 169 |
Synchronizing Objects | 187 |
Using Lifecycles | 197 |
Relationship Dynamics | 213 |
Use Cases | 41 |
Classes and Attributes | 57 |
Relationships and Associations | 81 |
Relationships and Associations | 83 |
Chapter 11 | 88 |
Chapter 7 | 109 |
9 | 116 |
Other Action Languages | 119 |
Constraints | 123 |
Constraints | 125 |
9 | 132 |
Relationship Dynamics | 214 |
Domain Dynamics | 235 |
Domain Verification | 253 |
Model Management | 269 |
Joining Multiple Domains | 275 |
Model Compilers | 289 |
Model Compilers | 291 |
Appendix A Glossary | 305 |
Appendix B Case Study | 313 |
363 | |
Other editions - View all
Common terms and phrases
References to this book
Theoretical Aspects of Computing - ICTAC 2004: First International ... Zhiming Liu Limited preview - 2005 |
Modellbasierte Qualitätsbewertung von Softwaresystemen: Bewertung von ... Martin Moro No preview available - 2004 |