| Hi-index | 0.00 |
We describe a specification method for Cleanroom's black box description. Our specifications are written using entity structure diagrams drawn from the JSD 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.