Glass-box and black-box views on object-oriented specifications

Author

Bidoit, Michel ; Hennicker, Rolf ; Knapp, Alexander ; Baumeister, Hubert

Author_Institution

Lab. Specification et Verification, CNRS & ENS, Cachan, France

fYear

2004

Firstpage

208

Lastpage

217

Abstract

We present a logical foundation for object-oriented specifications which supports a rigorous formal development of object-oriented systems. In this setting, we study two different views on a system, the implementor´s view (glass-box view) and the user´s view (black-box view) which both are founded on a model-theoretic semantics. We also discuss the hierarchical construction of specifications and realisations. Our approach is abstract in the sense that it can be instantiated by various concrete specification formalisms like OCL or JML.

Keywords

formal specification; object-oriented programming; programming language semantics; specification languages; ML; OCL; black-box view; formal development; glass-box view; hierarchical specification construction; logical foundation; model-theoretic semantics; object-oriented specifications; object-oriented systems; specification formalism; Computer languages; Concrete; Context modeling; Logic functions; Logic programming; Mathematical model; Object oriented modeling; Software engineering; Software standards;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on

Print_ISBN

0-7695-2222-X

Type

conf

DOI

10.1109/SEFM.2004.1347522

Filename

1347522