Abstrakt. Även om begreppet "smaker" presenteras på många olika sätt, är begreppet "interaktionör" som en abstrakt karaktärisering av en interaktiv komponent välkänd när det gäller formella modelleringsmetoder för interaktiva system. Detta dokument ersätter den traditionella, hierarkiska, "tree-liknande" sammansättningen av växelriktare i specifikationen av komplexa interaktiva system genom deras exogena samordning genom allmänna programvarukontakter som säkerställer flödet av data och möter synkroniseringsbegränsningar. Dokumentets tekniska bidrag är tvåfaldigt. Först definieras en modal logik för att uttrycka beteendeegenskaper hos både växelriktare och anslutningsdon. Logiken är ny i den meningen att dess metoder indexeras av fragment av åtgärder för att tillgodose handlingssamverkan. Därefter används denna logik i specifikationen av både interaktions- och samordningsskikt som iscensätter deras sammankoppling.
Exogen samordning som underliggande Reo förespråkas också i REF, där en modal logik föreslås specifikt för anslutningar.
A coordination model for interactive components
{'venue': 'in Proc. FSEN 2009, F. Arbab and M. Sirjani, Eds. LNCS 5961, 2010', 'journal': None, 'mag_field_of_study': ['Computer Science']}