Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Generating an Action Notation Environment from Montages Descriptions

Summary: Generating an Action Notation Environment
from Montages Descriptions
Matthias Anlau 1, Philipp W. Kutter2,
Alfonso Pierantonio2, and Lothar Thiele2
1 GMD FIRST, D-10000 Berlin
2 Federal Institute of Technology, CH-8092 Zurich
fkutter, alfonso, thieleg@tik.ee.ethz.ch
Abstract. In the present paper, a methodology is presented which en-
ables the implementation of the Action Notation formalism based on a
formal and modular speci cation. As a result, an interpreter and de-
bugger is automatically generated which allows the visualization of an
Action Notation program execution and the inspection of all semantic
identities in terms of the given formal speci cation.
These results are based on several new concepts. At rst, a formal de-
scription of Action Notation is provided by means of Montages. Montages
are a semi-visual formalism for the speci cation of syntax and semantics
of programming languages. Moreover, the structuring of Action Notation
via facets is re ned and used to de ne a new speci cation architecture
that ensures the required modularity. The tool support for Montages


Source: Anlauff, Matthias - Kestrel Institute


Collections: Computer Technologies and Information Sciences