intentional and operational specifications complement each other. Chapter 12 will show how they can be integrated in a uniform framework, through a systematic. Mapping called goal operationalization, in order to support complementary types of analysis.