Title :
Techniques for the formal definition of the G-LOTOS syntax
Author :
Bolognesi, Tommaso ; Latella, Diego
Author_Institution :
CNR CNUCE, Pisa, Italy
Abstract :
Some approaches for formally defining the graphical syntax of LOTOS, called G-LOTOS, are discussed. An extended grammar approach is contrasted with one based on an abstract syntax for LOTOS; the usefulness of definite clause grammars is also considered. The advantages and disadvantages of the different approaches are evaluated
Keywords :
computational linguistics; computer graphics; grammars; graph theory; specification languages; user interfaces; G-LOTOS syntax; definite clause grammars; extended grammar approach; formal definition; graphical syntax; Algebra; Collaborative work; Graphics; Law; Legal factors; Out of order;
Conference_Titel :
Visual Languages, 1989., IEEE Workshop on
Conference_Location :
Rome
Print_ISBN :
0-8186-2002-1
DOI :
10.1109/WVL.1989.77040
