The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification-building operation (observational abstraction) are studied. We begin with a definition of observational equivalence which is adequate to handle reachable algebras only, and show how to extend it to cope with unreachable algebras and also how it may be generalised to make sense under an arbitrary institution. Behavioural equivalence is treated as an important special case of observational equivalence, and its central role in program development is shown by means of an example.
|Title of host publication||Mathematical Foundations of Software Development|
|Editors||Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher|
|Number of pages||15|
|Publication status||Published - 1985|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|