A specification method for cleanroom´s black box description

Describes a specification method for a cleanroom black-box description. Our specifications are written using entity structure diagrams drawn from the JSD (Jackson system development) method. We formalize this concept using operators inspired from process algebras. Entity structure diagrams streamline the specification of valid input sequences and their corresponding output. They may be graphically represented, which enhances their readability. This specification method also reduces the conceptual distance between a black-box specification and an object-oriented design, since entities are natural candidates for objects