A graphic language based on timing diagrams

Christian Antoine, Bernard Le Goff et Jean-Éric Pin



Résumé : Nous présentons un nouveau langage graphique qui peut servir, par exemple, à mdéliser des VLSI ou des systèmes de contrôle. Ses primitives sont basées sur des chronogrammes standard, ce qui est un avantage certain sur d'autres formalismes car les concepteurs peuvent le maitriser rapidement. La sémantique est rigoureusement définie dans le formalisme de la théorie des automates sur les mots infinis. En utilisant ce formalisme, nous donnons une borne supérieure assez précise sur la complexité expressive de notre langage graphique en termes d'une mesure issue de la théorie des langages, le niveau de concaténation.

Abstract : We present a new graphic language which can serve, for instance, as models for VLSI and control systems. Its primitives are based on standard timing diagrams, and this is a great advantage over other formalisms since designers can rapidly master it. The semantics is rigorously defined in the formalism of the theory of automata on infinite words. Using this formalism, we are able to give a rather precise upper-bound on the expressive power of our graphic language in terms of a language theoretic measure, the concatenation level.

PostScript gzipped file, PDF file


Valid HTML 4.01!