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

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!