Synchronous Estelle: A Language for Specifying Distributed Control Systems
Miguel Riesco, Javier Tuya, Oliverio González
In: International Workshop on the Formal Description Technique Estelle, Evry,
France, pp. 237-244, 1998
Distributed systems are getting more and more popular in every field of
computing. This is also true for reactive systems. Traditional techniques for
developing reactive systems are not very suitable for developing distributed
reactive systems, because they are based on synchrony hipothesis, and it can
not be hold in a distributed system. It is necesary to develop new techniques
to theal with distributed reactive systems. In this paper we propose to join
the features of two techniques used to specify systems: Stelle and StateCharts.
The firs one is very suitable for distributed systems, meanwhile the second one
is broadly used for specifying reactive systems.
Index - Testing
- Personal Page