Constraint Propagation and Verification
When one is combining mapping functions by executing them in sequence, the sequence of transformation steps will only succeed if all models produced as outputs by a mapping are well-formed with regard to the associated mapping function. It's desirable to anticipate possible violations up front and to inform the modeler about them. This requires a holistic view of the sequence of mapping functions to be applied, which results in a back-propagation of constraints of mapping functions further down the sequence to verification steps that take place before the mapping sequence is started.
A constraint may take the form of a naming convention or a limitation on the values of a certain element of the target metamodel. ...
Get MDA Distilled: Principles of 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.
