Automatic analysis of complex interactions in microservice systems

DOI10.1155/2020/2128793zbMath1435.68192OpenAlexW3014654115MaRDI QIDQ2175983

Zhihong Liang, Hao Chen, Bi Huang, Fei Dai, Zhenping Qiang, Leiguang Wang

Publication date: 30 April 2020

Published in: Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2020/2128793

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• On deciding synchronizability for asynchronously communicating systems
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Synchronizability for Verification of Asynchronously Communicating Systems
• Deciding choreography realizability
• Counterexample Guided Synthesis of Monitors for Realizability Enforcement

This page was built for publication: Automatic analysis of complex interactions in microservice systems