A Perspective on Component Refinement

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 ase an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).

• Type: Conference
• Year: 2004
• Where: FMCO
• Authors: Luís Soares Barbosa
• Keywords: Classical Data Refinement, FMCO 2004, Formal Methods, Possible Behaviour Models, State-based Software Components