Det är ABSTRACT. Skådespelarsamordning bepansrad med ett lämpligt protokollbeskrivningsspråk har varit ett akut problem i aktörernas gemenskap. Vi studerar tillämpligheten av multipart session type (MPST) protokoll för verifiering av skådespelare program. Vi införlivar sessioner med aktörer genom att införa minimala tillägg till modellen såsom begreppet skådespelare roller och protokoll brevlådor. Ramverket använder Scribbe, som är ett protokollbeskrivningsspråk baserat på flera partisessionstyper. Vår programmeringsmodell stöder aktörsliknande syntax- och körtidsverifieringsmekanism som garanterar kommunikationssäkerheten för de deltagande enheterna. En aktör kan implementera flera roller på ett liknande sätt som ett objekt kan implementera flera gränssnitt. Flera roller möjliggör samverkan mellan valutor i en enda aktör. Vi demonstrerar vårt ramverk genom att designa och implementera ett sessionsskådespelarbibliotek i Python och dess runtime verifikationsmekanism. Riktmärkena visar att körtidens kontroller leder till försumbara omkostnader. Vi utvärderar tillämpligheten av vårt verifieringsramverk för att specificera aktörsinteraktioner genom att implementera tolv exempel från en aktörs referensdräkt.
Neykova och Yoshida REF inriktar sig på att uttrycka protokollen för aktörssamordning.
Multiparty Session Actors
{'venue': 'Logical Methods in Computer Science, Volume 13, Issue 1 (March 29, 2017) lmcs:3227', 'journal': None, 'mag_field_of_study': ['Computer Science']}