Chapter 10. Rosa's Transformation Definitions
This chapter shows some examples of transformation definitions. All examples are based on the case from Chapter 4, Rosa's Breakfast Service. The transformations are defined using the transformation definition language defined in section 9.2, The Transformation Definition Language. There is no guarantee that the rules presented in this chapter are 100 percent correct. This is because at the time of writing this book no tools for checking the consistency were available. The intention of this chapter is to illustrate the detail level at which transformations have to be defined in a computational independent manner.