Design-Time to Run-Time Verification of Microservices Based Applications (Short Paper)

被引：6

作者：

Camilli, Matteo ^{[1
]}

Bellettini, Carlo ^{[1
]}

Capra, Lorenzo ^{[1
]}

机构：

[1] Univ Milan, Dept Comp Sci, Milan, Italy

来源：

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017 | 2018年 / 10729卷

关键词：

Microservices; Cloud applications; Formal verification; Formal methods @ runtime; Petri nets; PETRI NETS;

D O I：

10.1007/978-3-319-74781-1_12

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：168 / 173

页数：6

共 16 条

[1] MODEL-CHECKING IN DENSE REAL-TIME [J].

ALUR, R ;

COURCOUBETIS, C ;

DILL, D .

INFORMATION AND COMPUTATION, 1993, 104 (01) :2-34

[2]

[Anonymous], 2017, MICROSERVICES DEFINI

[3]

Bucchiarone A, 2014, LECT NOTES COMPUT SC, V8745, P62, DOI 10.1007/978-3-662-44879-3_5

[4] Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets [J].

Camilli, Matteo ;

Gargantini, Angelo ;

Scandurra, Patrizia ;

Bellettini, Carlo .

NASA FORMAL METHODS (NFM 2017), 2017, 10227 :115-130

[5]

Camilli M, 2015, 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), P303, DOI 10.1109/ISSRE.2015.7381823

[6] CTL Model Checking in the Cloud Using MapReduce [J].

Camilli, Matteo ;

Bellettini, Carlo ;

Capra, Lorenzo ;

Monga, Mattia .

16TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2014), 2014, :333-340

[7]

Camilli M, 2012, PROC INT CONF SOFTW, P1638, DOI 10.1109/ICSE.2012.6227217

[8]

Dragoni N., 2017, PRESENT ULTERIOR SOF, P195, DOI DOI 10.1007/978-3-319-67425-4_12

[9]

Erl T., 2005, Service-Oriented Architecture: Concepts, Technology, and Design

[10] A UNIFIED HIGH-LEVEL PETRI NET FORMALISM FOR TIME-CRITICAL SYSTEMS [J].

GHEZZI, C ;

MANDRIOLI, D ;

MORASCA, S ;

PEZZE, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (02) :160-172

← 1 2 →