DocumentCode :
912968
Title :
A formal specification of appearance and behaviour of visual environments
Author :
Paternó, Fabio
Author_Institution :
CNUCE, CNR, Pisa, Italy
Volume :
8
Issue :
3
fYear :
1993
fDate :
5/1/1993 12:00:00 AM
Firstpage :
154
Lastpage :
164
Abstract :
The problem of a formal specification of visual languages has been addressed in several works. Most of these approaches only describe the correct placement of graphic objects on a screen. Icons are not, however, static elements. They behave dynamically in order to interact with the user, other icons and application processes. In order to make a complete specification of icons, it is important to have a formal approach which can describe the graphical status and the reactive behaviour depending on the generated events. A combination of process and data algebra for this purpose is proposed. This approach was applied to describe a visual environment developed by a set of common interaction techniques
Keywords :
formal specification; graphical user interfaces; visual languages; data algebra; formal specification; icons; process algebra; visual environment; visual languages;
fLanguage :
English
Journal_Title :
Software Engineering Journal
Publisher :
iet
ISSN :
0268-6961
Type :
jour
Filename :
219433
Link To Document :
بازگشت