A semi-formal framework for describing interaction design spaces

Interactive system design is typically more successful if it is an iterative process involving collaboration between multi-disciplinary teams with different viewpoints. While some sub-teams may focus on the creative aspects of the user interface design and other sub-groups on the implementation of required functionality, all must ensure that they are working towards the same goal. They must also satisfy the requirements and needs of all stakeholders. Although many suggestions have been made as to how such design might be supported in a more formal way (such as by using a model-driven process), less focus has been given to managing the co-ordination of design sub-teams following a creative process. In this paper we propose a semi-formal framework to describe and to compare design spaces, and the external design representations within those spaces. The framework is based on ideas from interaction design and on formal refinement approaches. It suggests a distinction of design options into alternatives and variants to describe and guide processes of idea generation and convergence within, and between, different design sub-spaces and sub-groups. We provide a small example to illustrate our approach and to show how it can be implemented by using standard formal approaches alongside less formal design notations and human-computer interaction processes

A diagnostic framework for assessing public investment management

This paper provides a pragmatic and objective diagnostic approach to the assessment of public investment management systems for governments. Since weaknesses in public investment management can negate the core argument that additional fiscal space allocated to public investments could enhance future economic prospects, attention to the processes that govern public investment selection and management is critical. The paper begins with a description of eight key"must-have"features of a well-functioning public investment system: (1) investment guidance, project development, and preliminary screening; (2) formal project appraisal; (3) independent review of appraisal; (4) project selection and budgeting; (5) project implementation; (6) project adjustment; (7) facility operation; and (8) project evaluation. The emphasis is placed on the basic processes and controls (linked at appropriate stages to broader budget processes) that are likely to yield the greatest assurance of efficiency in public investment decisions. The approach does not seek to identify best practice, but rather to identify the"must have"institutional features that would address major risks and provide an effective systemic process for managing public investments. The authors also develop a diagnostic framework to assess the main stages of the public investment management cycle. In principle, the identification of core weaknesses will allow reforms to focus scarce managerial and technical resources where they will yield the greatest impact. In addition, the framework is intended to motivate governments to undertake periodic self-assessments of their public investment systems and design reforms to enhance the productivity of public investment.Investment and Investment Climate,Debt Markets,Public Sector Expenditure Policy,Housing&Human Habitats,Bankruptcy and Resolution of Financial Distress

Does the UTTO model of technology transfer fit public sector healthcare services?

Public sector healthcare services are both large users and innovators of health technologies. In the UK's National Health Service (NHS) initiatives have been developed to manage the process of technological innovation more effectively. This has two main aims, to maximize potential commercial returns from innovations developed within the NHS; and to improve levels of patient care through appropriate diffusion of innovations. The initiatives have been devised using approaches and processes already used in other public sector organizations, in particular, universities. Central to the approach taken by many universities is the setting up of a university technology transfer office (UTTO) to provide innovation management services. This paper assesses the extent to which the UTTO-based approach to technology transfer matches the needs of the NHS. Several significant factors are identified that suggest that the two sectors merit different approaches to innovation management. An agenda for further research into health service innovation management processes is suggested that emphasises issues including: the relative roles of formal and informal innovation processes; contingent variables affecting design of innovation processes; limitations of technology-push approaches to managing practice-based innovation; and cultural fit of innovation management models

Blockchain-based Governance, Risk Management, and Compliance for Fractional Ownership: Design and Implementation of A Decentralized Autonomous Agent System

Fractional ownership makes homeownership more affordable. But there are challenges in a fractional ownership real estate transaction (FORET) regarding governance, risk management and compliance (GRC) processes. Centralized GRC solutions are less effective in managing the tiered structure of communications in a FORET, which can lead to principal-agent problems such as information asymmetry, risk aversion, and moral hazard. In this research we investigate how these principal-agent problems in FORET could be mitigated. Using an agency theory perspective, we adopt a design science multimethodological research approach. We propose conceptual and system artefacts to support the design and implementation of a decentralized autonomous agent system. These artefacts deliver a formal problem representation structure related to centralized GRC in fractional ownership. We illustrate our solution with a system prototype and implementation. We evaluate the research outputs and compare them with existing GRC systems. This paper contributes to the understanding of GRC in supporting fractional ownership decision making

Managing design variety, process variety and engineering change: a case study of two capital good firms

Many capital good firms deliver products that are not strictly one-off, but instead share a certain degree of similarity with other deliveries. In the delivery of the product, they aim to balance stability and variety in their product design and processes. The issue of engineering change plays an important in how they manage to do so. Our aim is to gain more understanding into how capital good firms manage engineering change, design variety and process variety, and into the role of the product delivery strategies they thereby use. Product delivery strategies are defined as the type of engineering work that is done independent of an order and the specification freedom the customer has in the remaining part of the design. Based on the within-case and cross-case analysis of two capital good firms several mechanisms for managing engineering change, design variety and process variety are distilled. It was found that there exist different ways of (1) managing generic design information, (2) isolating large engineering changes, (3) managing process variety, (4) designing and executing engineering change processes. Together with different product delivery strategies these mechanisms can be placed within an archetypes framework of engineering change management. On one side of the spectrum capital good firms operate according to open product delivery strategies, have some practices in place to investigate design reuse potential, isolate discontinuous engineering changes into the first deliveries of the product, employ ‘probe and learn’ process management principles in order to allow evolving insights to be accurately executed and have informal engineering change processes. On the other side of the spectrum capital good firms operate according to a closed product delivery strategy, focus on prevention of engineering changes based on design standards, need no isolation mechanisms for discontinuous engineering changes, have formal process management practices in place and make use of closed and formal engineering change procedures. The framework should help managers to (1) analyze existing configurations of product delivery strategies, product and process designs and engineering change management and (2) reconfigure any of these elements according to a ‘misfit’ derived from the framework. Since this is one of the few in-depth empirical studies into engineering change management in the capital good sector, our work adds to the understanding on the various ways in which engineering change can be dealt with

Ex post evaluation of the management and implementation of cohesion policy 2000-06 (ERDF)

This report has been drafted by the European Policies Research Centre (University of Strathclyde) as part of an ex post evaluation of the management and implementation systems for Cohesion policy, 2000-06, which has been commissioned by DG REGIO and which is being managed by EPRC and Metis (Vienna) under European Commission contract no: 2007.CE.16.0.AT.034. The report provides an overview of the main features of management and implementation systems across the EU25 in the 2000-06 period (2004-06 for the EU10) and has been drafted by Professor John Bachtler, Laura Polverari and Frederike Gross, with assistance from Dr Sara Davies and Ruth Downes. The research is based on studies of individual countries undertaken by EPRC together with national experts from each of the EU25 Member States. The authors are grateful for helpful comments from the DG REGIO Evaluation Unit and Geographical Units, in particular Anna Burylo, Veronica Gaffey and Kai Stryczynski. Any errors or omissions remain the responsibility of the authors

Understanding informal volunteer behavior for fast and resilient disaster recovery: An application of entrepreneurial effectuation theory

Purpose. Examine and understand how an informal volunteer’s goals and actions develop from the moment they first learn about a disaster. Design/methodology/approach. We examine informal volunteerism (the activities of people who work outside of formal emergency and disaster management arrangements) through the theoretical lens of entrepreneurial effectuation to explain informal volunteer behavior and cognition and gain insight on how they develop their disaster relief ventures. Findings. We find that informal volunteers follow an effectual logic, relying on available means to take advantage of opportunities as they are recognized or created. Application of effectuation vs causation processes depended on whether the informal volunteers were categorized as traditional, emergent or extended volunteers. Practical implications. Informal volunteers’ disregard for the Affordable Loss Principle task governments and disaster relief organizations with the important challenge of managing and assuring the safety and well-being of informal volunteers. Their entrepreneurial behavior also invites the establishment of formal processes to counsel and guide informal volunteers, helping them fill out the necessary paperwork and funding applications to develop their efforts. Social implications. Through their experimentation and flexibility, informal volunteers accelerate disaster recovery, recognizing opportunities, working around bureaucracy and other roadblocks that hinder the efforts of established organizations. They also demonstrate entrepreneurial behavior that helps revitalize and jumpstart the local economy, making for stronger and more resilient communities Originality/value. This study borrows from Effectuation Theory from the entrepreneurship field in order to bring a much needed theoretical lens to the topic and greatly assists informal volunteerism research, moving from past efforts that simply define and categorize the concept

A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System

Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-adaptive system is able to adapt autonomously to internal dynamics and changing conditions in the environment to achieve particular quality goals. Our particular interest is in decentralized self-adaptive systems, in which central control of adaptation is not an option. One important challenge in self-adaptive systems, in particular those with decentralized control of adaptation, is to provide guarantees about the intended runtime qualities. In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. We use the Uppaal tool to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432