A formal support to business and architectural design for service-oriented systems

Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria

A novel methodology for the assessment or wave energy opions at early stages

276 p.El aumento de la proporción de generación de electricidad a partir de fuentes renovables es clave para garantizar un sistema energético totalmente descarbonizado y luchar contra el cambio climático. La energía undimotriz es un recurso abundante pero, al mismo tiempo, es la menos desarrollada de todas las tecnologías renovables. El marco de evaluación común desarrollado en la tesis se basa en principios sólidos de ingeniería de sistemas y abarca el contexto externo, los requisitos del sistema y los criterios de evaluación. Se puede aplicar a diferentes niveles de madurez tecnológica y capta los aspectos cualitativos relacionados con las expectativas de las partes interesadas. El enfoque novedoso guía las decisiones de diseño a lo largo del proceso de desarrollo para la gestión adecuada del riesgo y la incertidumbre, y facilita la selección y evaluación comparativa de la tecnología undimotriz a diferentes niveles de madurez de manera controlada. Los métodos propuestos en esta investigación brindan información valiosa para enfocar los esfuerzos de innovación en aquellas áreas que tienen la mayor influencia en el desempeño de la tecnología. La incorporación de estrategias de innovación eficaces en el desarrollo de la energía undimotriz ayuda a gestionar la complejidad del sistema y canalizar la innovación hacia mejoras útiles.Tecnali

Unreliable numbers: error and harm induced by bad design can be reduced by better design

Number entry is a ubiquitous activity and is often performed in safety- and mission-critical procedures, such as healthcare, science, finance, aviation and in many other areas. We show that Monte Carlo methods can quickly and easily compare the reliability of different number entry systems. A surprising finding is that many common, widely used systems are defective, and induce unnecessary human error. We show that Monte Carlo methods enable designers to explore the implications of normal and unexpected operator behaviour, and to design systems to be more resilient to use error. We demonstrate novel designs with improved resilience, implying that the common problems identified and the errors they induce are avoidable

Safer User Interfaces: A Case Study in Improving Number Entry

Numbers are used in critical applications, including finance, healthcare, aviation, and of course in every aspect of computing. User interfaces for number entry in many devices (calculators, spreadsheets, infusion pumps, mobile phones, etc.) have bugs and design defects that induce unnecessary use errors that compromise their dependability. Focusing on Arabic key interfaces, which use digit keys 0-9-· usually augmented with correction keys, this paper introduces a method for formalising and managing design problems. Since number entry and devices such as calculators have been the subject of extensive user interface research since at least the 1980s, the diverse design defects uncovered imply that user evaluation methodologies are insufficient for critical applications. Likewise, formal methods are not being applied effectively. User interfaces are not trivial and more attention should be paid to their correct design and implementation. The paper includes many recommendations for designing safer number entry user interfaces

Text and artefacts for creating a "World of Investment Decision-Making" : an empirical study into investment procedures

The investment procedure prescribes the stages and tests through which all investment projects must pass before being accepted or not. It governs the conditions of acceptability and constitutes a powerful device of a priori control. In this paper, we intend to understand how investment procedures enable grand ideals regarding investment to be institutionalised. In particular, over and above the assumed effectiveness and rationale of these procedures, we identify the mechanisms through which these procedures construct social roles. In this respect, this research goes beyond the procedures’ technical functions and focuses on the very form of procedures. Indeed, the form of a procedure presents two features: it is written, generally consigned to a “manual”; and it relies on “cognitive artefacts” (Norman, 1991) or “technologies of the intellect” (Goody, 1977) such as lists, tables and formulae like Discounted Cash Flow. This paper shows how this specific form takes effect during the process of institutionalisation, through which grand investment ideals (e.g. competitiveness, value creation) are transformed into concrete devices and into roles (Miller, 1991). Thanks to an enquiry conducted in 2003 and 2004, investment procedures in six large companies in a French context are analysed. It is argued that (1) the formalisation of the objectives of the procedures, as well as the definitions of investment through typologies shape the actors’ boundaries of action; (2) valuation methods based on the domination of economic-mathematical formula favour short-term over long-term reflection; (3) the setting of decision-making thresholds formalise individuals’ tasks and responsibilities. Therefore, the very form of procedures shape each phase of the institutionalisation process as defined by Hasselbladh and Kallinikos (2000) and contribute to creates a singular world – that of investment decisions.procedure; investment; written text; artefacts; technologies of the intellect; institutionalisation

Specifying the Behavior of UML Collaborations Using Object-Z

UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. Among them, we have collaborations, that serve to realise use cases, a powerful abstraction concept. The behaviour part of a collaboration is rendered using collaboration diagrams. However, the lack of formalisation compromises the precision of the specification. By using formal description techniques, such as Object-Z, we can reason about the requirements and identify ambiguities and inconsistencies earlier in the development process. In general, we can say that formalisation helps obtaining a more reliable system. Our aim is to formalise collaborations Object-Z class schemas. This is accomplished by proposing an integrated formal process

Establishing Design Principles for Augmented Reality for Older Adults

Augmented Reality (AR) is growing rapidly and becoming a more mature and robust technology, which combines virtual information with the real environment in real-time. This becomes significant in ensuring the acceptance and success of Augmented Reality systems. With the growing number of older mobile phone users, evidence shows the possible trends associated with using AR systems to support older adults in terms of transportation, home activities, rehabilitation training and entertainment. However, there is a lack of research on a theoretical framework or AR design principles that could support designers when developing suitable AR applications for specific groups (e.g. older adults). This PhD research mainly focuses on the possibility of developing and applying AR design principles to provide various possible design alternatives in order to address the relevant AR-related issues focusing on older adults. This research firstly identified the architecture of Augmented Reality to understand the definition of AR using a range of previous AR examples. Secondly, AR design principles (version 1) were identified after describing the AR features and analysing the AR design recommendations. Thirdly, this research refined the AR design principles (version 2) by conducting two half-day focus groups with AR prototypes and related scenarios for older adults. The final version of the AR design principles (version 3) for older adults was established. These are: Instantaneous Augmentation, Layer-focus Augmentation, Modality-focus Augmentation, Accurate Augmentation and Hidden Reality. Ultimately, all of these design principles were applied to AR applications and examined in practice using two focus groups. Additionally, as part of the process of AR principle development, a number of AR issues were identified and categorised in terms of User, Device, Augmentation, Real Content, Interaction and Physical World, based on the pre-established AR architecture. These AR issues and design principles may help AR designers to explore quality design alternatives, which could potentially benefit older adults

Ubiquitous Integration and Temporal Synchronisation (UbilTS) framework : a solution for building complex multimodal data capture and interactive systems

Contemporary Data Capture and Interactive Systems (DCIS) systems are tied in with various technical complexities such as multimodal data types, diverse hardware and software components, time synchronisation issues and distributed deployment configurations. Building these systems is inherently difficult and requires addressing of these complexities before the intended and purposeful functionalities can be attained. The technical issues are often common and similar among diverse applications. This thesis presents the Ubiquitous Integration and Temporal Synchronisation (UbiITS) framework, a generic solution to address the technical complexities in building DCISs. The proposed solution is an abstract software framework that can be extended and customised to any application requirements. UbiITS includes all fundamental software components, techniques, system level layer abstractions and reference architecture as a collection to enable the systematic construction of complex DCISs. This work details four case studies to showcase the versatility and extensibility of UbiITS framework’s functionalities and demonstrate how it was employed to successfully solve a range of technical requirements. In each case UbiITS operated as the core element of each application. Additionally, these case studies are novel systems by themselves in each of their domains. Longstanding technical issues such as flexibly integrating and interoperating multimodal tools, precise time synchronisation, etc., were resolved in each application by employing UbiITS. The framework enabled establishing a functional system infrastructure in these cases, essentially opening up new lines of research in each discipline where these research approaches would not have been possible without the infrastructure provided by the framework. The thesis further presents a sample implementation of the framework on a device firmware exhibiting its capability to be directly implemented on a hardware platform. Summary metrics are also produced to establish the complexity, reusability, extendibility, implementation and maintainability characteristics of the framework.Engineering and Physical Sciences Research Council (EPSRC) grants - EP/F02553X/1, 114433 and 11394