The Human in the Loop: User Participation in Self-Adaptive Software

Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.

tRNA anticodon loop modifications ensure protein homeostasis and cell morphogenesis in yeast

Using budding yeast, we investigated a negative interaction network among genes for tRNA modifications previously implicated in anticodon-codon interaction: 5-methoxy-carbonyl-methyl-2-thio-uridine (mcm5s2U34: ELP3, URM1), pseudouridine (Ψ38/39: DEG1) and cyclic N6-threonyl-carbamoyl-adenosine (ct6A37: TCD1). In line with functional cross talk between these modifications, we find that combined removal of either ct6A37 or Ψ38/39 and mcm5U34 or s2U34 results in morphologically altered cells with synthetic growth defects. Phenotypic suppression by tRNA overexpression suggests that these defects are caused by malfunction of tRNALysUUU or tRNAGlnUUG, respectively. Indeed, mRNA translation and synthesis of the Gln-rich prion Rnq1 are severely impaired in the absence of Ψ38/39 and mcm5U34 or s2U34, and this defect can be rescued by overexpression of tRNAGlnUUG. Surprisingly, we find that combined modification defects in the anticodon loops of different tRNAs induce similar cell polarity- and nuclear segregation defects that are accompanied by increased aggregation of cellular proteins. Since conditional expression of an artificial aggregation-prone protein triggered similar cytological aberrancies, protein aggregation is likely responsible for loss of morphogenesis and cytokinesis control in mutants with inappropriate tRNA anticodon loop modifications.