Towards a Calculus of State-based Software Components
| dc.creator | Barbosa,Luís | |
| dc.date | 2003 | |
| dc.date.accessioned | 2024-02-06T12:52:32Z | |
| dc.date.available | 2024-02-06T12:52:32Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-009-08-0891 | |
| dc.identifier | https://lib.jucs.org/article/28090/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8389 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 9(8): 891-909 | |
| dc.subject | software components | |
| dc.subject | coalgebra | |
| dc.subject | semantics | |
| dc.title | Towards a Calculus of State-based Software Components | |
| dc.type | Research Article |