Abstract

We present the Argos graphical synchronous language for the description of reactive systems, and the Argonaute environment associated with it. Systems like communication protocols, real time process controllers or man/machine interfaces contain a reactive kernel. Its behaviour can be described in a convenient manner by an automaton , for formal validation purposes. But, in general, complex systems cannot be described directly as automata. The Statecharts [4,5] and Argos [7,8] are automata-based languages. The high level constructs of the language deal with states and transitions directly. A consequence of this choice is the graphical syntax, since the best representation of small automata is graphical. A consequence of this graphical syntax is the need for graphical constructs: the constructs of the language must allow the decomposition of a system into small parts that can be represented directly by automata, and they must be given a readable graphical syntax. 1 Introduction The term ...

Citations

516	On visual formalisms - Harel - 1988
224	LUSTRE: a declarative language for programming synchronous systems - Caspi, Pilaud, et al. - 1987
146	Statecharts: a visual approach to complex systems - Harel - 1987
131	The ESTEREL synchronous programming language - Berry, Gonthier - 1992
78	An Implementation of an Efficient Algorithm for Bisimulation Equivalence - Fernandez
42	On the development of reactive systems: logic and models of concurrent systems”, proc - Harel, Pnueli - 1985
17	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra - MARANINCHI - 1989
8	Argos : a Graphical Synchronous Language for the Description of Reactive Systems. Spectre Report C29 - Maraninchi - 1991