|
Abstract : |
This paper focuses on observability issues in the framework of loose algebraic specifications. It is well known that some correct realizations of an algebraic specification do not satisfy all the axioms of the specification. They remain correct provided that the differences between the properties of the realization and the properties required by the specification are not "observable". We compare various observational approaches developed so far. We point out their respective advantages and limitations. Expressive power is our main criterion for the discussion., |
