Modeling and verification of Industrial Microservice Architecture Based on Formal Methods

The microservice architecture has become the mainstream technology of industrial applications development in the Industrial Internet Platform. The test and verification of microservice architecture is the guarantee of industrial application credibility. By analyzing the microservice architecture of...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Chinese Automation Congress (Online) s. 3776 - 3780
Hlavní autoři: Meng, Xiangxi, Duan, Xiangyu, Tao, Wei, Luan, Yan, Zhang, Juanjuan, Wu, Donghan
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 22.10.2021
Témata:
Analytical models
Automation
Detection algorithms
Industrial Internet
Internet
microservice architecture
Microservice architectures
model checking
tree-modeling
ISSN:2688-0938
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The microservice architecture has become the mainstream technology of industrial applications development in the Industrial Internet Platform. The test and verification of microservice architecture is the guarantee of industrial application credibility. By analyzing the microservice architecture of industrial applications, this paper proposes an application interface tree model method, which is used to model and verify the microservice architecture. Application Interface Tree supports characterization of the attributes and interactions of microservices, on which the static and dynamic models of microservice architecture can be established respectively. The relationship between microservices and running environment can be expressed by static model, while the dynamic model reflects the interface invocation between microservices. The correctness of the interaction between the model interfaces can be defined by the state transition diagram. Then the correctness of the microservice architecture can be proved by the model detection algorithm. In this paper, an industrial application is modeled, and the Application Interface Tree Model is used for model detection. The results verify the effectiveness of this method.
ISSN:2688-0938
DOI:10.1109/CAC53003.2021.9727653