Components as processes: an exercise in coalgebraic modeling

Bibliographic Details
Main Author: Barbosa, L. S.
Publication Date: 2000
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/36190
Summary: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
id RCAP_a9ead05762c0445e8e9ba69b7b930eda
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/36190
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Components as processes: an exercise in coalgebraic modelingSoftware componentCompositionCoalgebraScience & TechnologyIFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USASoftware components, arising, typically, in systems ’ analysis and design, are characterized by a public interface and a private encapsulated state. They persist (and evolve) in time, according to some behavioural patterns. This paper is an exercise in modeling such components as coalgebras for some kinds of endofunctors on , capturing both (interface) types and behavioural aspects. The construction of component categories, cofibred over the interface space, emerges by generalizing the usual notion of a coalgebra morphism. A collection of composition operators as well as a generic notion of bisimilarity, are discussed.SpringerKluwer Academic PublishersUniversidade do MinhoBarbosa, L. S.20002000-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/36190eng07923792331868-423810.1007/978-0-387-35520-7_20http://link.springer.com/chapter/10.1007%2F978-0-387-35520-7_20info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T04:18:02Zoai:repositorium.sdum.uminho.pt:1822/36190Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:44:48.393619Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Components as processes: an exercise in coalgebraic modeling
title Components as processes: an exercise in coalgebraic modeling
spellingShingle Components as processes: an exercise in coalgebraic modeling
Barbosa, L. S.
Software component
Composition
Coalgebra
Science & Technology
title_short Components as processes: an exercise in coalgebraic modeling
title_full Components as processes: an exercise in coalgebraic modeling
title_fullStr Components as processes: an exercise in coalgebraic modeling
title_full_unstemmed Components as processes: an exercise in coalgebraic modeling
title_sort Components as processes: an exercise in coalgebraic modeling
author Barbosa, L. S.
author_facet Barbosa, L. S.
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Barbosa, L. S.
dc.subject.por.fl_str_mv Software component
Composition
Coalgebra
Science & Technology
topic Software component
Composition
Coalgebra
Science & Technology
description IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
publishDate 2000
dc.date.none.fl_str_mv 2000
2000-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/36190
url http://hdl.handle.net/1822/36190
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0792379233
1868-4238
10.1007/978-0-387-35520-7_20
http://link.springer.com/chapter/10.1007%2F978-0-387-35520-7_20
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
Kluwer Academic Publishers
publisher.none.fl_str_mv Springer
Kluwer Academic Publishers
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833594858875387904

Similar Items