Featured Team Automata

Detalhes bibliográficos
Autor(a) principal: Beek, Maurice H. ter
Data de Publicação: 2021
Outros Autores: Cledou, Guillermina, Hennicker, Rolf, Proenca, José
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.22/20914
Resumo: We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types. A featured team automaton concisely describes a family of concrete product models for specific configurations determined by feature selection. We focus on the analysis of communication-safety properties, but doing so product-wise quickly becomes impractical. Therefore, we investigate how to lift notions of receptiveness (no message loss) to the level of family models. We show that featured (weak) receptiveness of featured team automata characterises (weak) receptiveness for all product instantiations. A prototypical tool supports the developed theory.
id RCAP_9e7dbaed7fc0bafa051f9ed189e6a842
oai_identifier_str oai:recipp.ipp.pt:10400.22/20914
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Featured Team Automata210803We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types. A featured team automaton concisely describes a family of concrete product models for specific configurations determined by feature selection. We focus on the analysis of communication-safety properties, but doing so product-wise quickly becomes impractical. Therefore, we investigate how to lift notions of receptiveness (no message loss) to the level of family models. We show that featured (weak) receptiveness of featured team automata characterises (weak) receptiveness for all product instantiations. A prototypical tool supports the developed theory.Ter Beek received funding from the MIUR PRIN2017 FTXR7S project ITMaTTerS (Methods and Tools for Trust worthy Smart Systems). Cledou and Proença received funding from the ERDF_European Regiona lDevelopment Fund through the Operational Programme for Competitiveness and Internationalisation_ COMPETE 2020 Programme (project DaVinci, POCI-01-0145-FEDER-029946) and by National Funds through the Portuguese funding agency, FCT_Fundação para a Ciência e a Tecnologia. Proença also received National Funds through FCT/MCTES, within the CISTER Research Unit(UIDP/UIDB/04234/2020); by the Norte Portugal Regional OperationalProgramme_NORTE2020 (project REASSURE, NORTE-01- 0145-FEDER-028550) under the Portugal 2020 Partnership Agreement, through ERDF the FCT; and European Funds through the ECSEL Joint Undertaking(JU) under grant agreement No 876852 (project VALU3S).Repositório Científico do Instituto Politécnico do PortoBeek, Maurice H. terCledou, GuillerminaHennicker, RolfProenca, José2022-10-11T13:52:42Z2021-11-232021-11-23T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.22/20914eng10.1007/978-3-030-90870-6_26info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-03-13T13:10:00Zoai:recipp.ipp.pt:10400.22/20914Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:37:55.589376Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Featured Team Automata
210803
title Featured Team Automata
spellingShingle Featured Team Automata
Beek, Maurice H. ter
title_short Featured Team Automata
title_full Featured Team Automata
title_fullStr Featured Team Automata
title_full_unstemmed Featured Team Automata
title_sort Featured Team Automata
author Beek, Maurice H. ter
author_facet Beek, Maurice H. ter
Cledou, Guillermina
Hennicker, Rolf
Proenca, José
author_role author
author2 Cledou, Guillermina
Hennicker, Rolf
Proenca, José
author2_role author
author
author
dc.contributor.none.fl_str_mv Repositório Científico do Instituto Politécnico do Porto
dc.contributor.author.fl_str_mv Beek, Maurice H. ter
Cledou, Guillermina
Hennicker, Rolf
Proenca, José
description We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types. A featured team automaton concisely describes a family of concrete product models for specific configurations determined by feature selection. We focus on the analysis of communication-safety properties, but doing so product-wise quickly becomes impractical. Therefore, we investigate how to lift notions of receptiveness (no message loss) to the level of family models. We show that featured (weak) receptiveness of featured team automata characterises (weak) receptiveness for all product instantiations. A prototypical tool supports the developed theory.
publishDate 2021
dc.date.none.fl_str_mv 2021-11-23
2021-11-23T00:00:00Z
2022-10-11T13:52:42Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.22/20914
url http://hdl.handle.net/10400.22/20914
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1007/978-3-030-90870-6_26
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.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799131469057097728

Registros relacionados