The Design and evaluation of the specification framework for user interface design

This thesis presentsthe design and evaluation of an interface specification meta-language(ISML) that has been developed to explicitly support metaphor abstractions in a model-based, user interface design framework. The application of metaphor to user interface design is widely accepted within the HCI community, yet despite this, there exists relatively little formal support for user interface design practitioners. With the increasing range and power of user interface technologies made widely available comes the opportunity for the designof sophisticated, new forms of interactive environments. The inter-disciplinary nature of HCI offers many approaches to user interface design that include views on tasks, presentationand dialogue architectures and various domain models. Notations and tools that support these views vary equally, ranging from craft-based approachesthrough to computational or tool- based support and formal methods. Work in these areas depicts gradual cohesion of a number of these design views, but do not currently explicitly specify the application of metaphorical concepts in graphical user interface design. Towards addressing this omission, ISML was developed based on (and extending) some existing model- based user interface design concepts. Abstractions of metaphor and other interface design views are captured in the ISML framework using the extensible mark-up language(XML). A six-month case study, developing the `Urban Shout Cast' application is used to evaluate ISML. Two groups of four software engineers developed a networked, multi-user, virtual radio-broadcasting environment. A qualitative analysis examines both how each group developed metaphor designs within the ISML framework and also their perceptions of its utility and practicality. Subsequent analysis on the specification data from both groups reveals aspects of the project's design that ISML captured and those that were missed. Finally, the extent to which ISML can currently abstract the metaphors used in the case study is assessed through the development of a unified `meta-object' model. The results of the case study show that ISML is capable of expressing many of the features of each group's metaphor design, as well as highlighting important design considerations during development. Furthermore, it has been shown, in principle, how an underlying metaphor abstraction can be mapped to two different implementations. Evaluation of the case study also includes important design lessons: ISML metaphor models can be both very large and difficult to separate from other design views, some of which are either weakly expressed or unsupported. This suggests that the appropriate mappings between design abstractions cannot always be easily anticipated, and that understanding the use of model-based specifications in user interface design projects remains a challenge to the HCI community

The Adaptation Policy Paradox : the Implementation Deficit of Policies Framed as Climate Change Adaptation

The implementation of adaptation policies suffers from barriers and limits; even though adaptation is now set on the political agendas of developed and developing countries, surprisingly few examples of concrete policy realizations are found in comparative assessments. We investigate how the framings of adaptation as a policy problem can relate to tractability issues in implementation. We distinguish three framings of adaptation: climate change adaptation (CCA), climate variability adaptation (CVA), and vulnerability-centered adaptation (VCA) that imply conflicting interpretations of the collective problem to be solved and the goals to be attained through policy solutions. Through the methodology of comparative case studies, we conduct an empirical analysis of three implementation processes in India and Switzerland, and examine how adaptation framings translate into formal policy design and concrete policy realizations. We find that, regardless of the adaptive capacity of the country where implementation takes place, the CCA framing meets more tractability issues than the VCA framing. Therefore, we discuss the paradox that the innovative and additional CCA types of policies, advocated by the United Nations Framework Convention on Climate Change (UNFCCC), are more likely to face a deficit in implementation according to our analysis

Integrating universities with the built environment practice and the communities in disaster management education

Built environment (BE) practitioners have a key role to play in developing societal resilience to disasters. In doing so, various interactions are needed between BE disciplines and other stakeholders engaged with the disaster management process. Therefore universities conducting courses on disaster management need to consider the needs of these stakeholders in their programme design and delivery. This requires building partnerships between universities, BE practice and other stakeholders engaged in disaster management who are referred to as ‘community’ in this research. Previous research has highlighted the lack of integration between practice, community and university (PCU) in contributing to the societal resilience to disasters and therefore it is very important to strengthen the integration between PCU. Development of such partnerships is a complex task and it is important to identify how PCU integration can take place and how the effectiveness of such inte-gration can be measured. Accordingly, the aim of this paper is to present the initial PCU framework developed as part of an EU funded project, aimed at developing a professional doctorate for disaster resilience in the built environment. The method-ology adopted for this research comprises of a literature review and brainstorming. The paper presents several mechanisms to integrate universities with the BE practice and communities in developing meaningful partnerships in the proposed profession-al doctorate, some of which include, collaborative programme design, delivery, re-search and supervision

A New Framework for RFID Privacy

Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID privacy in a rigorous and precise manner. Our framework is based on a zero-knowledge (ZK) formulation [7, 5] and incorporates the notions of adaptive completeness and mutual authentication. We provide meticulous justification of the new framework and contrast it with existing ones in the literature. In particular, we prove that our framework is stronger than the ind-privacy model of [14], which answers an open question posed in [14] for developing stronger RFID privacy models. Along the way we also try to clarify certain confusions and rectify several defects in the existing frameworks. Based on the protocol of [16], we propose an efficient RFID mutual authentication protocol and analyze its security and privacy. The methodology used in our analysis is of independent interest and can be applied to analyze other RFID protocols within the new framework

Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration