Components as coalgebras: The refinement dimension |
| |
Authors: | Sun Meng Luís S Barbosa |
| |
Affiliation: | 1. LMAM, School of Mathematical Science, Peking University, China;2. Department of Informatics, Minho University, Portugal |
| |
Abstract: | This paper characterises refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterisation 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. In particular, it is shown how refinement can be applied to the development of the inequational subset of a calculus of generic software components. |
| |
Keywords: | Software components Refinement Coalgebra |
本文献已被 ScienceDirect 等数据库收录! |
|