Visual Language Syntax and Semantics for Complex Reactive System

We describe the syntax and the semantics of a visual programming language for behavioral speciication of complex reactive systems. Like BNF grammar for specifying the syntax of the textual programming languages , we demonstrate how a visual language syntax can be deened by a rewrite rule language. These rules can act both as visual program generators as well as visual program parsers. At the same time, the visual program can be mapped to the same rewrite rule language for execution by existing logic program interpreters. In other words, the syntax and the operational semantics of our visual language can be described by the declarative semantics of a logic program. The executability of the visual program makes it a nice tool for modeling complex reactive systems.

[1]  D. Stott Parker,et al.  Narrowing grammar: a lazy functional logic formalism for language analysis , 1989 .

[2]  Douglas Stott Parker,et al.  Narrowing Grammar: Theory, Implementation, and Applications , 1992, J. Log. Program..

[3]  Paul Le Guernic,et al.  SIGNAL: A declarative language for synchronous programming of real-time systems , 1987, FPCA.

[4]  Genny Tortora,et al.  Relation grammars and their application to multi-dimensional languages , 1991, J. Vis. Lang. Comput..

[5]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[6]  Gérard Berry,et al.  Synchronous programming of reactive systems: an introduction to ESTEREL , 1988 .

[7]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.

[8]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[9]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[10]  Ka Keung Chan.  ACHE-finite state machine : modelling, execution and analysis , 1994 .

[11]  Louis Weitzman,et al.  Visual grammars and incremental parsing for interface languages , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.

[12]  Fernando Pereira,et al.  Definite clause grammars for language analysis , 1986 .

[13]  Takuya Katayama,et al.  Attributed State Machines For Behavior Specification of Reactive Systems , 1993, International Conference on Software Engineering and Knowledge Engineering.