| Abstract [eng] |
Aggregates are systems of automata containing continuous and discrete components. Aggregate systems are good for specification and simulation of reactive systems including communication protocols, also as for some kind of hybrid systems. The aggregate model is a good basis for designing tools for specification, simulation, verification, testing, etc. The tools may use specification languages of different sorts: procedural, logical or object-oriented, but for definition of semantics for any of them we need the formally defined aggregate model. In this paper we present a formal definition of aggregates based on the notion of trace. The earlier definitions were sufficiently strict for design of simulation tools, but were not detailed enough for other purposes, particularly, for verification. The presented aggregate model is also slightly more general and flexible than the one used before. |
