Title :
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
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;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347522
