Write a Blog >>
ECSA 2020
Mon 14 - Fri 18 September 2020 L'Aquila, Italy

Software systems are evolved over time to enhance various qualities of the software system by adopting new technologies and principles. The architecture design is usually required to be migrated from one architectural style to another to support this adoption, while the key functionalities still need to be preserved. This paper presents a formal approach that supports architectural migration. Our approach automates refactoring the architectural design to support the exploitation of emerging technologies such as microservices and blockchain. With our approach, the refactored architectural design can be verified to ensure that the essential functional requirements are still preserved, and the design has complied with the behavioural constraints of new architectural styles. We have evaluated the accuracy and performance of our approach. The results prove that it performs reasonably well.

Wed 16 Sep
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:00: S1: MicroservicesPaper Presentations / Research Papers at ECSA 2020 Teams Channel
Chair(s): Javier CamaraUniversity of York, Ilias GerostathopoulosVrije Universiteit Amsterdam

Virtualization support: Roberta Capuano

10:00 - 10:20
Research Papers
Nacha ChondamrongkulSchool of Computer Science, the University of Auckland, Jing SunSchool of Computer Science, the University of Auckland, Ian WarrenSchool of Computer Science, the University of Auckland
10:20 - 10:40
Research Papers
João Francisco AlmeidaUniversidade de Lisboa, António Rito SilvaIST, University of Lisbon
10:40 - 11:00
Research Papers
Evangelos NtentosUniversity of Vienna, Uwe ZdunUniversity of Vienna, Konstantinos PlakidasUniversity of Vienna, Sebastian MeixnerSiemens AG Österreich, Sebastian GeigerSiemens AG Österreich