XSED – XML-Based Description of Status–Event Components and Systems

  • Alan Dix
  • Jair Leite
  • Adrian Friday
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4940)


Most user interfaces and ubiquitous systems are built around event-based paradigms. Previous work has argued that interfaces, especially those heavily depending on context or continuous data from sensors, should also give attention to status phenomena – that is continuously available signals and state. Focusing on both status and event phenomena has advantages in terms of adequacy of description and efficiency of execution. This paper describes a collection of XML-based specification notations (called XSED) for describing, implementing and optimising systems that take account of this dual status–event nature of the real world. These notations cover individual components, system configuration, and separated temporal annotations. Our work also presents a implementation to generate Status-Event Components that can run in a stand-alone test environment. They can also be wrapped into a Java Bean to interoperate with other software infrastructure, particularly the ECT platform.


Status–event analysis reflective dialogue notation ubiquitous computing infrastructure XML temporal properties 


  1. 1.
    Dix, A.: Status and events: static and dynamic properties of interactive systems. In: Proc. of the Eurographics Seminar: Formal Methods in Computer Graphics. Marina di Carrara, Italy (1991)Google Scholar
  2. 2.
    Dix, A., Abowd, G.: Modelling status and event behaviour of interactive systems. Software Engineering Journal 11(6), 334–346 (1996)CrossRefGoogle Scholar
  3. 3.
    Greenhalgh, C., Izadi, S., Mathrick, J., Humble, J., Taylor, I.: A Toolkit to Support Rapid Construction of Ubicomp Environments. In: Proceedings of UbiSys 2004 - System Support for Ubiquitous Computing Workshop, Nottingham, UK (2004),
  4. 4.
    Flintham, M., Benford, S., Anastasi, R., Hemmings, T., Crabtree, A., Greenhalgh, C., Tandavanitj, N., Adams, M., Row-Farr, J.: Where on-line meets on the streets: experiences with mobile mixed reality games. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 05 - 10, 2003, pp. 569–576. ACM Press, New York (2003)Google Scholar
  5. 5.
    Dix, A., Abowd, G.: Delays and Temporal Incoherence Due to Mediated Status-Status Mappings (part of report on Workshop on Temporal Aspects of Usability, Glasgow, 1995). SIGCHI Bulletin 28(2), 47–49 (1996)CrossRefGoogle Scholar
  6. 6.
    Wûthrich, C.: An analysis and model of 3D interaction methods and devices for virtual reality. In: Duke, D., Puerta, A. (eds.) DSV-IS 1999, pp. 18–29. Springer, Heidelberg (1999)Google Scholar
  7. 7.
    Massink, M., Duke, D., Smith, S.: Towards hybrid interface specification for virtual environments. In: Duke, D., Puerta, A. (eds.) DSV-IS 1999, pp. 30–51. Springer, Heidelberg (1999)Google Scholar
  8. 8.
    Willans, J.S., Harrison, M.D.: Verifying the behaviour of virtual environment world objects. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 65–77. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Grossman, R., et al. (eds.): HS 1991 and HS 1992. LNCS, vol. 736. Springer, Heidelberg (1993)Google Scholar
  10. 10.
    Dix, A.: Finding Out -event discovery using status-event analysis. In: Formal Aspects of Human Computer Interaction – FAHCI 1998, Sheffield (1998)Google Scholar
  11. 11.
    Dix, A., Beale, R., Wood, A.: Architectures to make Simple Visualisations using Simple Systems. In: Proc. of Advanced Visual Interfaces - AVI 2000, pp. 51–60. ACM Press, New York (2000)Google Scholar
  12. 12.
    Goodger, B., Hickson, I., Hyatt, D., Waterson, C.: XML User Interface Language (XUL) 1.0. (2001) (December 2006),
  13. 13.
    Nicol, G.: XTND - XML Transition Network Definition. W3C Note (November 21, 2000),
  14. 14.
    Abowd, G., Allen, R., Garlan, D.: Using style to understand descriptions of software architecture. In: Notkin, D. (ed.) Proceedings of the 1st ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, United States, December 08 - 10, 1993, pp. 9–20. ACM Press, New York (1993)Google Scholar
  15. 15.
    Ramduny, D., Dix, A.: Impedance Matching: When You Need to Know What. In: Faulkner, X., Finlay, J., Détienne, F. (eds.) HCI 2002, pp. 121–137. Springer, Heidelberg (2002)Google Scholar
  16. 16.
    Bacon, J., Moody, K., Bates, J., Chaoying, M., McNeil, A., Seidel, O., Spiteri, M.: Generic support for distributed applications. IEEE Computer 33(3), 68–76 (2000)CrossRefGoogle Scholar
  17. 17.
    Aguilera, M.K., Strom, R.E., Sturman, D.C., Astley, M., Chandra, T.D.: Matching events in a content-based subscription system. In: Proc. 18th Annual ACM Symposium on Principles of Distributed Computing (PODC 1999), pp. 53–61. ACM Press, New York (1999)CrossRefGoogle Scholar
  18. 18.
    Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 255–263 (1985)CrossRefzbMATHGoogle Scholar
  19. 19.
    Picco, G.P., Murphy, A.L., Roman, G.: LIME: Linda meets mobility. In: Proceedings of the 21st international Conference on Software Engineering, Los Angeles, California, United States, May 16 - 22, 1999, pp. 368–377. IEEE Computer Society Press, Los Alamitos (1999)Google Scholar
  20. 20.
    Wade, S.P.W.: An Investigation into the use of the Tuple Space Paradigm in Mobile Computing Environments, PhD Thesis, Lancaster University (1999)Google Scholar
  21. 21.
    Ponnekanti, S.R., Johanson, B., Kiciman, E., Fox, A.: Portability, extensibility and robustness in iROS. In: 1st IEEE Pervasive Computing and Communications Conference (PerCom 2003), 23-26 March 2003, pp. 11–19 (2003)Google Scholar
  22. 22.
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Centrum voor Wiskunde en Informatica. Advances in Computers, vol. 46. CWI Press (1998)Google Scholar
  23. 23.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Alan Dix
    • 1
  • Jair Leite
    • 2
  • Adrian Friday
    • 1
  1. 1.Computing DepartmentLancaster UniversityUK
  2. 2.Departamento de Informática e Matemática AplicadaUniversidade Federal do Rio Grande do Norte, Lagoa NovaNatalBrazil

Personalised recommendations