Specifying the geometric machine visual language

@inproceedings{Reiser2003SpecifyingTG,
  title={Specifying the geometric machine visual language},
  author={Renata Hax Sander Reiser and Ant{\^o}nio Carlos da Rocha Costa and Graçaliz Pereira Dimuro and Marcos B. Cardoso},
  booktitle={HCC},
  year={2003}
}
This paper summarizes an experiment in the formal specification of the visual language for the Geometric Machine model [3], denoted by GMVL. The specification follows the approach proposed in the GENGED project, of the T. U. Berlin [1]. In the GMLV, supported by a visual alphabet and a visual grammar, a process constructor is represented by a graph transformation related to a rule application in the the visual grammar. The syntactical levels includes an abstract syntax, related to the logical… CONTINUE READING