A specification method for cleanroom´s black box description

Author

Frappier, M. ; St-Denis, R.

Author_Institution

Dept. de Math. et d´´Inf., Sherbrooke Univ., Que., Canada

Volume

6

fYear

1998

fDate

6-9 Jan 1998

Firstpage

112

Abstract

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

Keywords

diagrams; formal specification; process algebra; systems analysis; JSD method; Jackson system development; black-box specification; cleanroom black-box description; entity structure diagrams; graphical representation; object-oriented design; operators; process algebras; readability; specification method; valid input sequences; Algebra; Explosions; Formal languages; History; Logic; Operating systems; Programming; Software libraries; Software systems; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on

Conference_Location

Kohala Coast, HI

Print_ISBN

0-8186-8255-8

Type

conf

DOI

10.1109/HICSS.1998.654765

Filename

654765