Glass-Box and Black-Box Views on Object-Oriented Specifications

Authors:
Michel Bidoit;Rolf Hennicker;Alexander Knapp;Hubert Baumeister
Affiliations:
CNRS & ENS de Cachan, France;Ludwig-Maximilians-Universität München, Germany;Ludwig-Maximilians-Universität München, Germany;Ludwig-Maximilians-Universität München, Germany
Venue:
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Year:
2004

Citing 0
Cited 5

An Algebraic Semantics for Contract-Based Software Components

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Service Specification and Matchmaking Using Description Logic

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Views on behaviour protocols and their semantic foundation

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Behaviour Protocols for Interacting Stateful Components

Electronic Notes in Theoretical Computer Science (ENTCS)
A modal interface theory with data constraints

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

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.