‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Wed 25 Mar 2020 14:30 - 15:00 at Auditorium - Engineering Correctness

Microservices architectures allow for short deployment cycles and immediate effects but offer no safety mechanisms when service contracts need to be changed. Maintaining the soundness of microservice architectures is an error-prone task that is only accessible to the most disciplined development teams. We present a microservice management system that statically verifies service interfaces and supports the seamless evolution of compatible interfaces. We define a compatibility relation that captures real evolution patterns and embodies known good practices on the evolution of interfaces. Namely, we allow for the addition, removal, and renaming of data fields of a producer module without breaking or needing to upgrade consumer services. The evolution of interfaces is supported by runtime generated proxy components that dynamically adapt data exchanged between services to match with the statically checked service code. The model was instantiated in a core language whose semantics is defined by a labeled transition system and a type system that prevents breaking changes from being deployed. Standard soundness results for the core language entail the existence of adapters, hence the absence of adaptation errors and the correctness of the management model. This adaptive approach allows for gradual deployment of modules, without halting the whole system and avoiding losing or misinterpreting data exchanged between system nodes. Experimental data shows that an average of 69% of deployments that would require adaptation and recompilation are safe under our approach.

Wed 25 Mar

programming-2020-papers
14:00 - 15:30: Research Papers - Engineering Correctness at Auditorium
programming-2020-papers14:00 - 14:30
Research paper
Toni MattisHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
programming-2020-papers14:30 - 15:00
Research paper
João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa, Paulo FerreiraOutSystems SA, Hugo LourençoOutSystems SA, Carla FerreiraUniversidade Nova Lisboa, Lucio FerraoOutSystems
Link to publication DOI Pre-print
programming-2020-papers15:00 - 15:30
Research paper
Gene CoopermanNortheastern University, Martin QuinsonÉcole Normale Supérieure Rennes
Link to publication DOI Pre-print