This paper analyzes some characteristics of Visual Interactive Systems to guarantee non ambiguous and safe interaction to end users. To this aim, a formal model of Visual Interactive Systems is provided, based on the concept of virtual entity that is here refined and linked to the program that generates a virtual entity. We also discuss virtual entities that satisfy some given properties and study the relationships between such virtual entities and their generating programs. Such relationships are useful to establish when a Visual Interactive System proves to be non ambiguous, visible and viable with the aim to adequately support end users during the interaction.
Collaborating through Computers: the Software Shaping Workshop Approach
COSTABILE, Maria;LANZILOTTI, ROSA;PICCINNO, ANTONIO
2006-01-01
Abstract
This paper analyzes some characteristics of Visual Interactive Systems to guarantee non ambiguous and safe interaction to end users. To this aim, a formal model of Visual Interactive Systems is provided, based on the concept of virtual entity that is here refined and linked to the program that generates a virtual entity. We also discuss virtual entities that satisfy some given properties and study the relationships between such virtual entities and their generating programs. Such relationships are useful to establish when a Visual Interactive System proves to be non ambiguous, visible and viable with the aim to adequately support end users during the interaction.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
