Visual Model Checking Distributed System

In order to ensure the correctness of module interaction between distributed systems in the analysis and design stages, this paper proposes a visual model checking method for distributed systems. The component diagram and sequence diagram are used to visually model the system and describe the intera... View More