Combining JSD and Cleanroom for Object-Oriented Scenario Specification

A black box specification process useful for the requirements analysis phase of object-oriented methods is presented. It provides a notation for structuring the description of a system’s external behavior as input-output traces using process algebra and entities from the Jackson System Development method. Such a notation allows black box specifications to be an acceptablesubstitute or supplement for use cases, scenarios, and interaction diagrams. The specification process is divided into four phases - declaration of input and output spaces, specification of entities composing the system, definition of constraints on well-formed input sequences, and specification of input-output behavior.