Blog
About

116
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Runtime User Interface Design and Adaptation

      , ,

      People and Computers XXIII Celebrating People and Technology (HCI)

      Computers XXIII Celebrating People and Technology

      1 - 5 September 2009

      user interface description, situation calculus, runtime adaptation

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Article: not found

          Teallach: a model-based user interface development environment for object databases

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            User interface modeling in UMLi

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Formal refinement of informal GUI design artefacts

               J Bowen,  S REEVES,  J. BOWEN (2006)
                Bookmark

                Author and article information

                Contributors
                Conference
                September 2009
                September 2009
                : 463-470
                Affiliations
                School of Computing and

                Mathematical Sciences

                Liverpool John Moores University

                Liverpool, UK

                +44 151 231 2271
                School of Computing and

                Mathematical Sciences

                Liverpool John Moores University

                Liverpool, UK

                +44 151 231 2280
                School of Computing and

                Mathematical Sciences

                Liverpool John Moores University

                Liverpool, UK

                +44 151 231 2489
                Article
                10.14236/ewic/HCI2009.58
                © David England et al. Published by BCS Learning and Development Ltd. People and Computers XXIII Celebrating People and Technology, Churchill College Cambridge, UK

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                People and Computers XXIII Celebrating People and Technology
                HCI
                Churchill College Cambridge, UK
                1 - 5 September 2009
                Electronic Workshops in Computing (eWiC)
                Computers XXIII Celebrating People and Technology
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article