Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33859
Título: | Towards a calculus of state-based software components |
Autor(es): | Barbosa, L. S. |
Palavras-chave: | Software components Coalgebra Semantics |
Data: | 2003 |
Editora: | Springer |
Revista: | Journal of universal computer science |
Resumo(s): | 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/33859 |
ISSN: | 0948-695X 0948-6968 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |