GSBL: An Algebraic Specification Language Based on Inheritance

@inproceedings{Clerici1988GSBLAA,
  title={GSBL: An Algebraic Specification Language Based on Inheritance},
  author={Silvia Clerici and Fernando Orejas},
  booktitle={ECOOP},
  year={1988}
}
At the specification level, inheritance can be defined as subtyping by means of order sorted specifications [GM85]. Subtyping is, obviously, a very important notion, allowing not only to work with a non rigid type structure, but also providing an adequate basis for error handling in algebraic specifications. However, in our opinion, subtyping and order sorted specifications do not play the same role as inheritance in program design. In this paper, we will present a hierarchical organization for… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Integrating UML and algebraic specification techniques

VIEW 1 EXCERPT
CITES METHODS

Structuring and Modularity

  • Fernando Orejas
  • Computer Science
  • Algebraic Foundations of Systems Specification
  • 1999
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

Master of Science Thesis

  • Peeter Pruuden Opiskelijankatu
  • 1997

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Fundamentals of Algebraic Specification 2

Order-sorted algebra I: partial and overloaded operators, errors and inheritance

  • J. A. Goguen, J. Meseguer
  • SRI Int.,
  • 1985

A Semantics of Multiple Inheritance

Algebraic constraints for specifications and canonical form results

  • J.W.E.G. Thatcher
  • Institut fiir Software und Theoretische Informatik, T.U. Berlin Bericht Nr
  • 1982

A new semantics for Clear

  • D. Sannella
  • Report CSR -
  • 1981