Abstract-This paper syftar till att införliva begreppet självanpassning i samband med flerpartssessioner, genom att fokusera på frågan om att säkerställa korrekthet för dynamiska anpassningar. En formell ram presenteras centrerad kring dessa huvudingredienser: globala typer, monitorer och global stat. En global typ representerar den övergripande kommunikationskoreografin. Dess prognoser är monitorerna, som sätter upp protokollen för deltagarna. Sammanslutningen av en övervakare med en kompatibel process inkarnerar en enda deltagare. Det är koreografin som uppdateras på runtime, som svar på förändrade förhållanden i den globala staten. Övervakar resulterar i att vara självanpassade i den meningen att de reagerar på dessa förändringar genom att modifiera sig själva, för att föreskriva nya beteenden för deltagarna.
I Ref föreslås till exempel en formell ram för självanpassning i samband med koreografier.
Self-Adaptive Monitors for Multiparty Sessions
{'venue': '2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing', 'journal': '2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing', 'mag_field_of_study': ['Computer Science']}