Chapter 15. Domain Verification
The models we have built are the application, or some fragment of it. After we've done all this work to create these Executable UML models, complete with constraints and executable actions, it only makes sense that we actually execute these models to ensure they produce the desired behavior.
There are different kinds of verification that can be applied to the models. Static verification is the kind of checking a modeling tool does. A tool that understands the semantics of Executable UML can check to make sure that the models are constructed properly—classes have attributes, attributes have types and constraints, states have procedures, procedure action language compiles correctly, and so forth.
This chapter focuses ...
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.
