Run-time model evaluation for requirements model-driven self-adaptation

A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. © 2012 IEEE.

Self-explanation in adaptive systems

The behaviour of self adaptive systems can be emergent. The difficulty in predicting the system's behaviour means that there is scope for the system to surprise its customers and its developers. Because its behaviour is emergent, a self-adaptive system needs to garner confidence in its customers and it needs to resolve any surprise on the part of the developer during testing and mainteinance. We believe that these two functions can only be achieved if a self-adaptive system is also capable of self-explanation. We argue a self-adaptive system's behaviour needs to be explained in terms of satisfaction of its requirements. Since self-adaptive system requirements may themselves be emergent, a means needs to be found to explain the current behaviour of the system and the reasons that brought that behaviour about. We propose the use of goal-based models during runtime to offer self-explanation of how a system is meeting its requirements, and why the means of meeting these were chosen. We discuss the results of early experiments in self-explanation, and set out future work. © 2012 C.E.S.A.M.E.S.

Foreword:2nd workshop requirements@run.time

The 2nd edition of the Workshop requirements@run.time was held at the 19th International Conference on Requirements Engineering (RE 2011) in the city of Trento, Italy on the 30th of August 2011. It was organized by Nelly Bencomo, Emmanuel Letier, Jon Whittle, Anthony Finkelstein, and Kris Welsh. This foreword presents a digest of the discussions and presentations that took place during the workshop. © 2011 IEEE.

Run-time resolution of uncertainty

Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context. © 2011 IEEE.

Tracing requirements for adaptive systems using claims

The complexity of environments faced by dynamically adaptive systems (DAS) means that the RE process will often be iterative with analysts revisiting the system specifications based on new environmental understanding product of experiences with experimental deployments, or even after final deployments. An ability to trace backwards to an identified environmental assumption, and to trace forwards to find the areas of a DAS's specification that are affected by changes in environmental understanding aids in supporting this necessarily iterative RE process. This paper demonstrates how claims can be used as markers for areas of uncertainty in a DAS specification. The paper demonstrates backward tracing using claims to identify faulty environmental understanding, and forward tracing to allow generation of new behaviour in the form of policy adaptations and models for transitioning the running system. © 2011 ACM.

Self-explanation in adaptive systems based on runtime goal-based models

The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. We believe that these two functions can only be achieved if a self-adaptive system is also capable of self-explanation. We argue a self-adaptive system’s behaviour needs to be explained in terms of satisfaction of its requirements. Since self-adaptive system requirements may themselves be emergent, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.

Organised for inward investment? Development agencies, local government, and firms in the inward investment process

Inward investment promotion and aftercare remain central aspects of local economic development for English Regional Development Agencies, Scottish and Welsh development bodies, and local authorities in Britain. In many cases, partnership and consultation mechanisms have become integral to attracting inward investment and providing aftercare. Inward investment is thus an important area in which to explore interinstitutional relations between agents operating along diverse spatial boundaries and with different responsibilities. In this paper we analyse the local and regional institutional structures and relations characterising the inward investment process in Britain using new survey data from local authorities, regional bodies, and inward investors. We find that promotional activities have clearly defined structures which are chiefly led by the regional level. Aftercare is characterised by more collaborative arrangements involving both regional bodies and local government. However, many bodies are little used, with competition and tension between partners remaining frequent within English regions, regardless of recent institutional changes designed to reduce such problems. In Scotland and Wales, however, their national institutions are not only widely used, but they create high levels of satisfaction from firms. Hence, England has yet to respond to the effective challenges of Scotland and Wales. The analysis also highlights the limited importance of all national, regional, and local public institutions in attracting inward investors and their subsequent aftercare. The critical inputs to business decisions appear to be driven chiefly by more general supply-side conditions (for example, general skills versus local public packages) and the general attractions of a particular location.

The process of coping in King-Kopetzky Syndrome

Our object was to describe the process of coping in King-Kopetzky syndrome and hypothesise how the process is mediated. We used a qualitative study using open-ended interviews. The data were gathered purposefully from 19 cases in the first phase of the study. Accounts were then compared deductively with six accounts from a previous interview-based study. Maximum contrast was sought in cases and in experience of clinical interventions. Participants were recruited from Hearing Therapy services in Bath and North East Somerset Primary Care Trust and The Welsh Hearing Institute. Interviews were conducted in participants’ homes or clinic setting. Coping was determined by the concept that the individual developed about their hearing difficulties. The process of conceptualizing involves reconciling the symptoms experienced with the information obtained from clinicians. The process is mediated by the context in which hearing difficulties occur and the interventions that are received. Forming a coherent concept of hearing difficulties facilitates coping. Clinicians can assist this process by giving patients with King-Kopetzky Syndrome an explanation of the condition.

Emotional responses to King-Kopetzky syndrome:a qualitative study

The objective of the study was to identify the effects of King-Kopetzky syndrome on emotional well-being and the effects of emotional well-being on the condition itself. The study was designed as a qualitative study using semi-structured interviews, using six patients with long-standing hearing problems and exposure to a range of interventions. Participants were recruited from Audiology and Hearing Therapy Services, Bath and the Welsh Hearing Institute, Cardiff. Interviews were conducted in participants' homes and work places. King-Kopetzky syndrome was perceived to result in a change in level of anxiety, distress and depression. The determining factor in whether the change was positive (e.g. reduction in anxiety, distress or depression) or negative (e.g. increase in anxiety, distress or depression) was the person's interpretation of the experience of not hearing. This process of interpretation was based on feeling different towards other people, the relationship with the communicant person, and the confidence to employ strategies and the types of strategies chosen. Participants associated an increase in distress, anxiety or depression with an increase in mishearing or not hearing, and a reduction in hearing difficulties with a reduction in anxiety, distress and depression. It is hypothesised that emotional response to King-Kopetzky syndrome affects the degree of hearing difficulty experienced. Interventions aimed at the process of interpretation may be a means of empowering individuals in managing their own hearing difficulties.

Profit, productivity and price performance changes in the water and sewerage industry:an empirical application for England and Wales

This paper aims to analyse the impact of regulation in the financial performance of the Water and Sewerage companies (WaSCs) in England and Wales over the period 1991–2008. In doing so, a panel index approach is applied across WaSCs over time to decompose unit-specific index number-based profitability growth as a function of the profitability, productivity and price performance growth achieved by benchmark firms, and the catch up to the benchmark firm achieved by less productive firms. The results indicated that after 2000 there is a steady decline in average price performance, while productivity improves resulting in a relatively stable economic profitability. It is suggested that the English and Welsh water regulator is now more focused on passing productivity benefits to consumers, and maintaining stable profitability than it was in earlier regulatory periods. This technique is of great interest for regulators to evaluate the effectiveness of regulation and companies to identify the determinants of profit change and improve future performance, even if sample sizes are limited.

Language policy and governmentality in businesses in Wales:a continuum of empowerment and regulation

In this paper, I examine how language policy acts as a means of both empowering the Welsh language and theminority language worker and as a means of exerting power over them. For this purpose, the study focuses on a particular site: private sector businesses in Wales. Therein, I trace two major discursive processes: first, the Welsh Government’s national language policy documents that promote corporate bilingualism and bilingual employees as value-added resources; second, the practice and discourse of company managers who sustain or appropriate such promotional discourses for creating and promoting their own organisational values. By drawing on concepts from governmentality, critical language policy and discourse studies, I show that promoting bilingualism in business is characterised by local and global governmentalities. These not only bring about critical shifts in valuing language as symbolic entities attached to ethnonational concerns or as promotional objects that bring material gain. Language governmentalities also appear to shape new forms of ‘languaging’ the minority language worker as selfgoverning, and yet, governed subjects who are ultimately made responsible for ‘owning’ Welsh.

Expanding the biomass resource:sustainable oil production via fast pyrolysis of low input high diversity biomass and the potential integration of thermochemical and biological conversion routes

Waste biomass is generated during the conservation management of semi-natural habitats, and represents an unused resource and potential bioenergy feedstock that does not compete with food production. Thermogravimetric analysis was used to characterise a representative range of biomass generated during conservation management in Wales. Of the biomass types assessed, those dominated by rush (Juncus effuses) and bracken (Pteridium aquilinum) exhibited the highest and lowest volatile compositions respectively and were selected for bench scale conversion via fast pyrolysis. Each biomass type was ensiled and a sub-sample of silage was washed and pressed. Demineralization of conservation biomass through washing and pressing was associated with higher oil yields following fast pyrolysis. The oil yields were within the published range established for the dedicated energy crops miscanthus and willow. In order to examine the potential a multiple output energy system was developed with gross power production estimates following valorisation of the press fluid, char and oil. If used in multi fuel industrial burners the char and oil alone would displace 3.9 × 105 tonnes per year of No. 2 light oil using Welsh biomass from conservation management. Bioenergy and product development using these feedstocks could simultaneously support biodiversity management and displace fossil fuels, thereby reducing GHG emissions. Gross power generation predictions show good potential.