XIML: a common representation for interaction data
Proceedings of the 7th international conference on Intelligent user interfaces
User Interface Modeling in UMLi
IEEE Software
SUPPLE: automatically generating user interfaces
Proceedings of the 9th international conference on Intelligent user interfaces
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Adjustable Deliberation of Self-Managing Systems
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
An "intent-oriented" approach for Multi-Device User Interface Design
AINA '06 Proceedings of the 20th International Conference on Advanced Information Networking and Applications - Volume 02
Formal Refinement of Informal GUI Design Artefacts
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Intelligent context-sensitive interactions on desktop and the web
Proceedings of the international workshop in conjunction with AVI 2006 on Context in advanced interfaces
Addressing the Signal Grounding Problem for Autonomic Systems
ICAS '06 Proceedings of the International Conference on Autonomic and Autonomous Systems
Reality-based interaction: a framework for post-WIMP interfaces
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Wisdom: a UML based architecture for interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Adaptive eye-gaze-guided interfaces: design & performance evaluation
CHI '11 Extended Abstracts on Human Factors in Computing Systems
A category theory approach to HCI
BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference
| Hi-index | 0.00 |
In this paper, a method of generating appropriate user interfaces at runtime is investigated. It is proposed to use the established formalism of Situation Calculus to describe and specify user interfaces. It is shown how specific features of the formalism provide many desirable properties in the design and specification of user interfaces that are adaptable to context and composed at runtime. The formalism provides a provably correct deployment, whilst giving a means of deliberation on the optimum configuration that is directly compiled through a developed Neptune scripting language. The major features of the formalism and programming language are described together with an illustration of how this has been used in an implemented e-health case study for decision support with partner institutions in breast cancer care. It is shown how pluggable decision models may be introduced and system adaptation to clinician context achieved, whilst system integrity is maintained.