JUCS - Journal of Universal Computer Science 9(8): 891-909, doi: 10.3217/jucs-009-08-0891
Towards a Calculus of State-based Software Components
expand article infoLuís Soares Barbosa‡
‡ Universidade do Minho, Portugal

Corresponding author: Luís Barbosa ( lsb@di.uminho.pt )

© Luís Barbosa.
This article is freely available under the J.UCS Open Content License.
Citation: Barbosa LS (2003) Towards a Calculus of State-based Software Components. JUCS - Journal of Universal Computer Science 9(8): 891-909. https://doi.org/10.3217/jucs-009-08-0891
Open Access
Abstract
This paper introduces a calculus of state-based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to systems design.
Keywords
software components, coalgebra, semantics