Highly Influenced

# Towards a Calculus of State-based Software Components

@article{Barbosa2003TowardsAC, title={Towards a Calculus of State-based Software Components}, author={Lu{\'i}s Soares Barbosa}, journal={J. UCS}, year={2003}, volume={9}, pages={891-909} }

- Published 2003 in 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

#### Referenced Papers

##### Publications referenced by this paper.

Showing 1-10 of 10 references