Publication
Featured Team Automata
| dc.contributor.author | Beek, Maurice H. ter | |
| dc.contributor.author | Cledou, Guillermina | |
| dc.contributor.author | Hennicker, Rolf | |
| dc.contributor.author | Proenca, José | |
| dc.date.accessioned | 2022-10-11T13:52:42Z | |
| dc.date.available | 2022-10-11T13:52:42Z | |
| dc.date.issued | 2021-11-23 | |
| dc.description.abstract | 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. | pt_PT |
| dc.description.sponsorship | 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). | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1007/978-3-030-90870-6_26 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/20914 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | MIUR PRIN2017 FTXR7S | pt_PT |
| dc.relation | POCI-01-0145-FEDER-029946 | pt_PT |
| dc.relation | UIDP/UIDB/04234/2020 | pt_PT |
| dc.relation | NORTE-01- 0145-FEDER-028550 | pt_PT |
| dc.relation | Verification and Validation of Automated Systems' Safety and Security | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
| dc.title | Featured Team Automata | pt_PT |
| dc.title.alternative | 210803 | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Verification and Validation of Automated Systems' Safety and Security | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/876852/EU | |
| oaire.citation.title | International Symposium on Formal Methods | |
| oaire.fundingStream | H2020 | |
| person.familyName | Proenca | |
| person.givenName | Jose | |
| person.identifier.ciencia-id | 2412-FE81-2767 | |
| person.identifier.orcid | 0000-0003-0971-8919 | |
| person.identifier.rid | K-4256-2016 | |
| person.identifier.scopus-author-id | 24067286500 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isAuthorOfPublication | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isAuthorOfPublication.latestForDiscovery | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isProjectOfPublication | 1b3082bd-64c8-41d8-9f32-bb7f4b0d7bde | |
| relation.isProjectOfPublication.latestForDiscovery | 1b3082bd-64c8-41d8-9f32-bb7f4b0d7bde |