Abstract
In the last few years, the traditional concept of user interface has been changing significantly. The development of new surprising devices supporting new amazing interaction mechanisms have changed the way in which people interact with computers. In this environment of strong technological growth, the increasing use of different displays managed by several users has improved user interaction. Combining fixed displays with wearable devices allows interaction and collaboration between users when they work together in a common task. Traditional user interfaces are evolving towards “distributed” user interfaces according to the new technological advances, allowing one or more interaction elements distributed among many different platforms in order to support interaction with one or more users. This paper offers a formal view of distributed user interfaces (DUI) as a mean to understand better their essentials properties and to establish the bases for formally proving properties as correctness and coherency. The proposal has been applied to a case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bowen, J., Reeves, S.: Using formal models to design user interfaces: a case study. In: Proceedings of the BCS-HCI ’07, pp. 159–166. Swinton (2007)
Chi, U.: Formal specification of user interfaces: a comparison and evaluation of four axiomatic approaches. IEEE Trans. Software Eng. 11, 671–685 (1985)
Vanderdonckt, J.: Distributed user interfaces: how to distribute user interface elements across users, platforms, and environments. In: International Conference Interaccion. (2010) (Valencia, 7-10 September 2010), J.L. Garrido, F. Paterno, J. Panach, K. Benghazi, N. Aquino (Eds.), AIPO, Valencia, 2010, pp. 3–14
Calvary, G., Coutaz, G., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A unifying reference framework for multi-target user interfaces. Interact. Comput. 15(3), 289–308 (2003)
Demeure, A., Calvary, G., Jean-Sebastien, S., Vanderdonckt, J.: A reference model for distributed user interfaces. In Proceedings of the 4th international workshop on Task models and diagrams Task models diagrams user interface des. (TAMODIA ‘05). ACM, New York, NY, USA, 79–86 (2005)
Demeure, A., Sottet, S., Calvary, G., Coutaz, G., Ganneau, J., Vanderdonckt, J.: The 4c reference model for distributed user interfaces. In: Proceedings of 4th International Conference on Autonomic and Autonomous Systems ICAS 2008, pp. 61–69. Gosier (2008)
Reichart, D.: A.: task models as basis for requirements engineering and software execution. In: Proceedings of TAMODIA 2003, pp. 51–58. ACM Press, New York (2004)
Gallud, J.A., Villanueva, P.G., Tesoriero, R., Sebastian, G., Molina, S., Navarrete, A.: Gesture-based interaction: Concept map and application scenarios. In: Proceedings of The 3rd International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services. CENTRIC 2010, pp. 28–33. IEEE, Los Alamitos (2010)
Villanueva, P.G., Tesoriero, R., Gallud, J.A.: Multi-pointer and collaborative system for mobile devices. In: Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services. MobileHCI ’10, pp. 435–438. ACM, New York (2010)
Vanderhulst, G.: Dynamic distributed user interfaces: Supporting mobile interaction spaces (2005) Phd. Thesis. Universiteit Hassell (Belgium)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Peñalver, A., López-Espín, J.J., Gallud, J.A., Lazcorreta, E., Botella, F. (2011). Distributed User Interfaces: Specification of Essential Properties. In: Gallud, J., Tesoriero, R., Penichet, V. (eds) Distributed User Interfaces. Human-Computer Interaction Series. Springer, London. https://doi.org/10.1007/978-1-4471-2271-5_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2271-5_2
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2270-8
Online ISBN: 978-1-4471-2271-5
eBook Packages: Computer ScienceComputer Science (R0)