Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study
by Andrei V. Borshchev, Yuri G. Karpov, Victor V. Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko
Abstract:
We present a case study which demonstrates a methodology of using modeling language and simulation environment for reactive system design and analysis. We describe how a distributed algorithm can be modeled and investigated on the base of a compact set of careffilly selected concepts and methods offered by COVERS - an MS Windows-based object-oriented modeling and simulation tool. COVERS modeling language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and flinctions. Timed Transition Systems are used as a semantic model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single graphical environment. In the paper we overview our experience in using the tool for analysis of a distributed election algorithm which has been described elsewhere.
Keywords: software
Source:
A.V. Borshchev, Y.G. Karpov, V.V. Roudakov, A. Filippov, A. Sintotskij, S. Fedorenko, Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. In V. Malyshkin (ed.),
Parallel Computing Technologies: Proceedings of the 4th International Conference,
Lect. Notes in Comp. Sci., Vol. 1277, Springer, 1997, pp. 175-188