Towards a Calculus of State-based Software Components

Citation:
Barbosa LS.  2003.  Towards a Calculus of State-based Software Components. Journal of Universal Computer Science. 9:891-909.

Abstract:

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 systems design.

Citation Key:

Bar03

DOI:

10.1.1.108.6863

PreviewAttachmentSize
barbosa_l_s.pdf200.54 KB