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