2.3. Verification and Execution
As we build the executable UML model, we need to verify its behavior. This work takes place continuously; we test the models as we go along. Similarly, we can compile the model into an implementation as we proceed, checking that the performance of the generated code is adequate for the system.
2.3.1. Model Verification
Having worked our way through all of these steps, we now have the executable UML work products. The very intent of executable UML is to provide a way to prototype the domain without having to construct a complete product. We can verify the finished system without making any decisions about software structure. We can be certain that we have designed the proper behaviors without being concerned with ...
Get Executable UML: A Foundation for Model-Driven Architecture now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
