On the use of LOTOS to describe graphical interaction

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
User Interface System; Formal Methods; Interactive Systems; Graphic Input Models
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/394961
Link al Full Text:
Titolo del libro:
People and Computers VII