Show simple item record

dc.contributor.authorCarmona Vargas, Josep
dc.contributor.authorBeek, Maurice ter
dc.contributor.authorHennicker, Rolf
dc.contributor.authorKleijn, Jetty
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2019-01-31T08:08:08Z
dc.date.available2019-01-31T08:08:08Z
dc.date.issued2017
dc.identifier.citationCarmona, J. [et al.]. Communication requirements for team automata. A: International Conference on Coordination Models and Languages. "Coordination Models and Languages, 19th IFIP WG 6.1 International Conference, COORDINATION 2017: Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017: Neuchâtel, Switzerland, June 19-22, 2017: proceedings". Berlín: Springer, 2017, p. 256-277.
dc.identifier.isbn978-3-319-59746-1
dc.identifier.urihttp://hdl.handle.net/2117/127951
dc.description.abstractCompatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate compatibility in the context of systems consisting of reactive components which may communicate through the synchronised execution of common actions. We model such systems in the team automata framework, which does not impose any a priori restrictions on the synchronisation policy followed to combine the components. We identify a family of representative synchronisation types based on the number of sending and receiving components participating in synchronisations. Then, we provide a generic procedure to derive, for each synchronisation type, requirements for receptiveness and for responsiveness of team automata that prevent that outputs are not accepted and inputs are not provided, respectively. Due to the genericity of our approach w.r.t. synchronisation policies, we can capture compatibility notions for various multi-component system models known from the literature.
dc.format.extent22 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshObject-oriented programming (Computer science)
dc.subject.lcshMachine theory
dc.subject.otherOutput action
dc.subject.otherExternal action
dc.subject.otherInternal action
dc.subject.otherInput action
dc.subject.otherCommunication requirement
dc.titleCommunication requirements for team automata
dc.typeConference report
dc.subject.lemacProgramació orientada a l'objecte (Informàtica)
dc.subject.lemacMàquines, Teoria de
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/978-3-319-59746-1_14
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/978-3-319-59746-1_14
dc.rights.accessOpen Access
local.identifier.drac23568134
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2013-46181-C2-1-R
local.citation.authorCarmona, J.; Beek, M.; Hennicker, R.; Kleijn, J.
local.citation.contributorInternational Conference on Coordination Models and Languages
local.citation.pubplaceBerlín
local.citation.publicationNameCoordination Models and Languages, 19th IFIP WG 6.1 International Conference, COORDINATION 2017: Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017: Neuchâtel, Switzerland, June 19-22, 2017: proceedings
local.citation.startingPage256
local.citation.endingPage277


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder