Design-Time to Run-Time Verification of Microservices Based Applications
Contributo in Atti di convegno
Data di Pubblicazione:
2018
Citazione:
Design-Time to Run-Time Verification of Microservices Based Applications / M. Camilli, C. Bellettini, L. Capra - In: Software Engineering and Formal Methods / [a cura di] A. Cerone, M. Roveri. - [s.l] : Springer International Publishing, 2018 Feb. - ISBN 9783319747804. - pp. 168-173 (( Intervento presentato al 15. convegno International Conference on Software Engineering and Formal Methods (SEFM) tenutosi a Trento nel 2017.
Abstract:
Microservice based architectures have started to gain in popularity and are often adopted in the implementation of modern cloud, IoT, and large-scale distributed applications. Software life cycles, in this context, are characterized by short iterations, where several updates and new functionalities are continuously integrated many times a day. This paradigm shift calls for new formal approaches to systematic verification and testing of applications in production infrastructures. We introduce an approach to continuous, design- to run-time verification, of microservice based applications. This paper describes our envisioned approach, the current stage of this ongoing work, and the challenges ahead.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Microservices; cloud applications; formal verification; formal methods @ runtime; Petri nets
Elenco autori:
M. Camilli, C. Bellettini, L. Capra
Link alla scheda completa:
Titolo del libro:
Software Engineering and Formal Methods