Towards a Calculus of State-based Software Components

  title={Towards a Calculus of State-based Software Components},
  author={Lu{\'i}s Soares Barbosa},
  journal={J. UCS},
This paper introduces a calculus of state-based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
51 Extracted Citations
10 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 10 references

A×C ×B and m : (A×B)× (C ×D) −→ (A×C)× (B ×D)) with monad unit, multiplication and strength. Such laws are thoroughly dealt with in [Barbosa, 2001] under the designation of context lemmas

  • A×B×C
  • Given f : I −→ BJ and g : J −→ BO, their Kleisli…
  • 2001

Component-based programming under different paradigms

  • Wadler, Weihe, P. 1999 Wadler, K. Weihe
  • Technical report, Report on the Dagstuhl Seminar
  • 1999

An introduction to software architecture

  • Garlan, Shaw, D. 1993 Garlan, M. Shaw
  • Advances in Software Engineering and Knowledge…
  • 1993

About Charity

  • Cockett, Fukushima, R. 1992 Cockett, T. Fukushima
  • Yellow Series Report No. 92/480/18,
  • 1992

Similar Papers

Loading similar papers…