A perspective on component refinement

A perspective on component refinement (preprint)
L. S. Barbosa. In F. S. de Boer, M. Bonsangue, S. Graf, and W.-P. de Roever, editors, FMCO'04 Revised Lectures, Springer Lect. Notes in Comp. Sci., 3657, pp 23--48, November, 2004.

Abstract

This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).