Components as coalgebras: The refinement dimension

Citation:
Meng S, Barbosa LS.  2005.  Components as coalgebras: The refinement dimension. Theoretical Computer Science. 351:276-294.

Abstract:

This paper characterizes refinement of state-based software components modeled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as astrong monad. This provides a basis to reason about (and transform) state-based software designs. In particular it is shown how refinement can be applied to the development of the inequational subset of a calculus of generic software components.

Citation Key:

MB05

DOI:

10.1016/j.tcs.2005.09.072

PreviewAttachmentSize
mb05_1.pdf350.29 KB