State-based Components Made Generic
- Citation:
- Barbosa LS, Oliveira JN. 2003. State-based Components Made Generic. Electronic Notes in Theoretical Computer Science. 82:39-56.
Abstract:
Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.
Citation Key:
gensubmDOI:
10.1016/S1571-0661(04)80631-5
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.