Abstrakt. Kommunikationscentriska system är programvarusystem som byggs som sammansättningar av distribuerade artefakter som interagerar enligt fördefinierade kommunikationsprotokoll. Sessionsbaserad samstämmighet är ett typbaserat tillvägagångssätt för att säkerställa att kommunikationscentrerade system överensstämmer med sådana protokoll. I detta dokument presenteras en modell för sessionsbaserad samstämmighet med mekanismer för anpassning i körtid. Vår modell gör att vi kan specificera kommunikation-centrerade system vars session beteende kan uppdateras dynamiskt vid körtid. Vi förbättrar det tidigare arbetet genom att föreslå ett händelsebaserat tillvägagångssätt: anpassningsförfrågningar, som utfärdas av systemet självt eller av dess sammanhang, jämställs med händelser som kan utlösa anpassningsrutiner. Dessa rutiner utnyttjar typstyrda kontroller för att möjliggöra omkonfigurering av processer med aktiva protokoll. Vi utrustar vår modell med ett typsystem som säkerställer kommunikationssäkerhet och konsekventa egenskaper: medan säkerhet garanterar frånvaro av kommunikationsfel i drifttid, säkerställer överensstämmelse att uppdateringsåtgärder inte stör redan etablerade sessionsprotokoll. Vi tillhandahåller ljudresultat för binära och flerpartsprotokoll.
Ett händelsebaserat tillvägagångssätt föreslås i REF.
Event-based run-time adaptation in communication-centric systems
{'venue': 'Formal Aspects of Computing', 'journal': 'Formal Aspects of Computing', 'mag_field_of_study': ['Computer Science']}