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.
On the use of LOTOS to describe graphical interaction
Faconti G
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_453858-doc_174658.pdf
accesso aperto
Descrizione: On the use of LOTOS to describe graphical interaction
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.69 MB
Formato
Adobe PDF
|
3.69 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
