A language and a methodology for prototyping user interfaces for control systems
Jan 2009
The BATIC3S project5 proposes a methodology to proto-
type adaptive graphical user interfaces (GUI) for control systems. We
present a domain speci c language for the control systems domain, in-
cluding useful and understandable abstractions for domain experts. This
is coupled with a methodology for validation, veri cation and automatic
GUI prototype generation. The methodology is centered on metamodel-
based techniques and model transformations, and its foundations rely on
formal models. Our approach is based on the assumption that a GUI can
be induced from the characteristics of the system to control.
Human Machine Interaction
Springer-Verlag
Vasco Amaral, Bruno Barroca,
Matteo Risoldi,
Didier Buchs,
Gilles Falquet
