COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool
by Andrei V. Borshchev, Yuri G. Karpov, Victor V. Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko
Abstract:
We consider a modeling language and a simulation environment based on objectoriented principles and aimed to help in the desigu of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and itinctions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation~analysis cycle within a single MS Windows-based graphical environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
Keywords: tutorials
Source:
A.V. Borshchev, Y.G. Karpov, V.V. Roudakov, A. Filippov, A. Sintotskij, S. Fedorenko, COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. In V. Malyshkin (ed.),
Parallel Computing Technologies: Proceedings of the 4th International Conference,
Lect. Notes in Comp. Sci., Vol. 1277, Springer, 1997, pp. 409-423
