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

fYear

2003

fDate

28-31 Oct. 2003

Firstpage

195

Lastpage

197

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on

Print_ISBN

0-7803-8225-0

Type

conf

DOI

10.1109/HCC.2003.1260228

Filename

1260228