OCL is a small, yet extremely key ingredient for MDA. Without a precise modeling language like OCL, consistent and coherent platform-independent models cannot be made. This chapter describes two other important ways in which OCL fits in with MDA.
In Section 1.2.3, you learned the building blocks of the MDA framework: models, languages, transformation definitions, and transformation tools. As shown in Figure 5-1, OCL is very helpful in creating at least three of the building blocks:
Models, because only with a precise specification language can models be built on maturity level 4
Transformation definitions, because a formal and precise language is needed to write transformation definitions that can ...