Intentional specifications leave the operations realizing them implicit, whereas operational specifications leave the intentions underlying them implicit. In terms of the various forms of Analysis that they support, 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.