Building bridges also comprises four activities:
Specifying mapping functions
Marking the models
Verifying the mappings
Transforming the models
At this stage, on the one hand, we have a source model, and on the other, a target model that captures the abstractions that implement the concepts of the source model. The target model contains and formalizes knowledge about the target platform's structure and behavior. The problem now is to link these models together. We do this by specifying mapping functions, which we discussed in Chapter 5.
Once it's clear what the mapping is supposed to do, a mapping function implementor is faced with the following questions: How can a mapping function be specified such ...