Title :
SR-task grammars: a formal specification of human computer interaction for interactive visual languages
Author :
Cassino, Rosanna ; Tortora, Genny ; Tucci, Maurizio ; Vitiello, Giuliana
Author_Institution :
Dipt. di Matematica e Informatica, Univ. di Salerno, Italy
Abstract :
The paper describes a formal model to specify the syntax and semantics of interactive visual languages by SR-task grammars. The proposed approach provides language designers with a new type of grammars based on the formalism of symbol-relation grammars, where a new form of production rules allows to directly specify the interactive behavior of the visual environments described. Therefore, the language designer only has to define the development of a visual scenario depending on occurring events, and the changes of the state of a scene is regarded as the application of a rewriting rule.
Keywords :
formal specification; graph grammars; graphical user interfaces; human computer interaction; interactive systems; rewriting systems; visual languages; SR-task grammar; formal model; formal specification; graphical user interface; human computer interaction; interactive behavior; interactive visual language; language designer; production rules; rewriting rule; semantics specification; symbol-relation grammar; syntax specification; visual environment; Application software; Computer languages; Formal specifications; Graphical user interfaces; Human computer interaction; Interactive systems; Layout; Production systems; Runtime; Strontium;
Conference_Titel :
Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on
Print_ISBN :
0-7803-8225-0
DOI :
10.1109/HCC.2003.1260228
