The functionality mappings presented in this chapter are only very basic.

Improve the definitions given, e.g., currently functionality requirements concern individual functions, but probably aggregates of functions could be useful as well. Required implementation-mappings currently concern full tools, but might also be defined at the module or even function-level. What impact do your revised definitions have on the functionality matching processes?