On the use of LOTOS to describe graphical interaction

Conference Paper
Publication Date:
1992
abstract:
This paper discusses a formal specification of a model of a graphical interaction object by using the LOTOS notation and the possible results that we can obtain from this approach. With this model the relationship between the input and output functionality can be addressed. A User Interface System, which manages dialogues between the user and the application, may be described as a composition of instances of graphical interacting objects.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
User Interface System; Formal Methods; Interactive Systems; Graphic Input Models
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/394961
Full Text:
Book title:
People and Computers VII