Mostra el registre d'ítem simple
Conditions for compatibility of components: The case of masters and slaves
dc.contributor.author | Beek, Maurice ter |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Kleijn, Jetty |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-01-27T12:09:50Z |
dc.date.available | 2017-10-05T00:30:23Z |
dc.date.issued | 2016 |
dc.identifier.citation | Beek, M., Carmona, J., Kleijn, J. Conditions for compatibility of components: The case of masters and slaves. A: International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. "Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings". Corfu: Springer, 2016, p. 784-805. |
dc.identifier.isbn | 978-3-319-47166-2 |
dc.identifier.uri | http://hdl.handle.net/2117/100199 |
dc.description.abstract | We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide spectrum of synchronisation policies to combine components into higher-level systems. We investigate the correct-by-construction engineering of such systems of systems from the point of view of correct communications between the components (no message loss or deadlocks due to indefinite waiting). This leads to a proposal for a generic definition of compatibility of components relative to the adopted synchronisation policy. This definition appears to be particularly appropriate for so-called master-slave synchronisations by which input actions (for `slaves') are driven by output actions (from `masters'). |
dc.format.extent | 22 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Machine theory |
dc.subject.other | Automata theory |
dc.subject.other | Program verification |
dc.subject.other | Compatibility |
dc.subject.other | Reactive components |
dc.subject.other | Multicomponent systems |
dc.subject.other | Team automata |
dc.subject.other | Correctby |
dc.subject.other | Construction engineering |
dc.subject.other | Correct communications |
dc.subject.other | Synchronisation policy |
dc.subject.other | Master-slave synchronisations |
dc.title | Conditions for compatibility of components: The case of masters and slaves |
dc.type | Conference report |
dc.subject.lemac | Màquines, Teoria de |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/978-3-319-47166-2_55 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55 |
dc.rights.access | Open Access |
local.identifier.drac | 19266867 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Beek, M.; Carmona, J.; Kleijn, J. |
local.citation.contributor | International Symposium of Leveraging Applications of Formal Methods, Verification and Validation |
local.citation.pubplace | Corfu |
local.citation.publicationName | Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings |
local.citation.startingPage | 784 |
local.citation.endingPage | 805 |