On refinement of generic state-based software components

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. ProceedingsThis paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs