%0 Book Section
%B Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
%D 2005
%T A Perspective on Component Refinement
%A Luis Soares Barbosa
%E F. Boer
%E M. Bonsangue
%E S. Graf
%E W. Roever
%I Springer
%P 23–48
%S Lecture Notes in Computer Science
%V 3657
%X <p>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).</p>