Towards requirements aware systems:run-time resolution of design-time assumptions

In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies.

Requirements reflection:requirements as runtime entities

Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is mainly applied either to the software architecture or its implementation. We know of no approach that fully supports requirements reflection- that is, making requirements available as runtime objects. Although there is a body of literature on requirements monitoring, such work typically generates runtime artefacts from requirements and so the requirements themselves are not directly accessible at runtime. In this paper, we define requirements reflection and a set of research challenges. Requirements reflection is important because software systems of the future will be self-managing and will need to adapt continuously to changing environmental conditions. We argue requirements reflection can support such self-adaptive systems by making requirements first-class runtime entities, thus endowing software systems with the ability to reason about, understand, explain and modify requirements at runtime. © 2010 ACM.

A language for self-adaptive system requirements

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Such systems are now commonly built in domains as diverse as enterprise computing, automotive control systems, and environmental monitoring systems. To date, however, there has been limited attention paid to how to engineer requirements for such systems. As a result, selfadaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present some initial thoughts on a new requirements language for selfadaptive systems and illustrate it using examples from the services domain. © 2008 IEEE.

How the web of things challenges requirements engineering

As a subset of the Internet of Things (IoT), the Web of Things (WoT) shares many characteristics with wireless sensor and actuator networks (WSANs) and ubiquitous computing systems (Ubicomp). Yet to a far greater degree than the IoT, WSANs or Ubicomp, the WoT will integrate physical and information objects, necessitating a means to model and reason about a range of context types that have hitherto received little or no attention from the RE community. RE practice is only now developing the means to support WSANs and Ubicomp system development, including faltering first steps in the representation of context. We argue that these techniques will need to be developed further, with a particular focus on rich context types, if RE is to support WoT application development. © 2012 Springer-Verlag.

A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty

Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty. © 2009 Springer Berlin Heidelberg.

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.

Satisfying requirements for pervasive service compositions

Pervasive environments are characterised by highly heterogeneous services and mobile devices with dynamic availability. Approaches such as that proposed by the Connect project provide means to enable such systems to be discovered and composed, through mediation where necessary. As services appear and disappear, the set of feasible compositions changes. In such a pervasive environment, a designer encounters two related challenges: what goals it is reasonable to pursue in the current context and how to use the services presently available to achieve his goals. This paper proposes an approach to design service compositions, facilitating an interactive process to find the trade-off between the possible and the desirable. Following our approach, the system finds at runtime, where possible, compositions related to the developer's requirements. This process can realise the intent the developer specifies at design time, taking into account the services available at runtime, without a prohibitive level of pre-specification, inappropriate for such dynamic environments. © 2012 ACM.

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.

Foreword:first workshop requirements@run.time

The first edition of the Workshop requirements@run.time was held at the Eighteenth International Conference on Requirements Engineering (RE 2010) in the city of Sydney, NSW, Australia on the 28th of September 2010. It was organized by Pete Sawyer, Jon Whittle, Nelly Bencomo, Daniel Berry, and Anthony Finkelstein. This foreword presents a digest of the presentations and discussions that took place during the workshop. © 2010 IEEE.

Semantic annotation for knowledge management:requirements and a survey of the state of the art

While much of a company's knowledge can be found in text repositories, current content management systems have limited capabilities for structuring and interpreting documents. In the emerging Semantic Web, search, interpretation and aggregation can be addressed by ontology-based semantic mark-up. In this paper, we examine semantic annotation, identify a number of requirements, and review the current generation of semantic annotation systems. This analysis shows that, while there is still some way to go before semantic annotation tools will be able to address fully all the knowledge management needs, research in the area is active and making good progress.

The development and application of an interactive material requirements planning model

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Influence of ABCB1 polymorphisms and haplotypes on tacrolimus nephrotoxicity and dosage requirements in children with liver transplant

WHAT IS ALREADY KNOWN ABOUT THIS SUBJECT • Currently tacrolimus is the mainstay of immunosuppression for most children undergoing liver transplantation (LT). • The clinical use of this agent, however, is complicated by its various adverse effects (mainly nephrotoxicity), its narrow therapeutic-index and considerable pharmacokinetic variability. • The low and variable oral bioavailability of tacrolimus is thought to result from the action of the multidrug efflux-pump P-glycoprotein, encoded by the ABCB1 gene. WHAT THIS STUDY ADDS • A significant association between ABCB1 genetic polymorphisms and tacrolimus-associated nephrotoxicity in paediatric patients following LT is reported for the first time. Genotyping such polymorphisms may have the potential to individualize better initial tacrolimus therapy and enhance drug safety. • The long-term effect of ABCB1 polymorphisms on tacrolimus trough concentrations were investigated up to 5 years post-transplantation. A significant effect of intestinal P-glycoprotein genotypes on tacrolimus pharmacokinetics was found at 3 and 4 years post-transplantation suggesting that the effect is maintained long term. AIMS - The aim of this study was to investigate the influence of genetic polymorphisms in ABCB1 on the incidence of nephrotoxicity and tacrolimus dosage-requirements in paediatric patients following liver transplantation. METHODS - Fifty-one paediatric liver transplant recipients receiving tacrolimus were genotyped for ABCB1 C1236>T, G2677>T and C3435>T polymorphisms. Dose-adjusted tacrolimus trough concentrations and estimated glomerular filtration rates (EGFR) indicative of renal toxicity were determined and correlated with the corresponding genotypes. RESULTS - The present study revealed a higher incidence of the ABCB1 variant-alleles examined among patients with renal dysfunction (≥30% reduction in EGFR) at 6 months post-transplantation (1236T allele: 63.3% vs 37.5% in controls, P= 0.019; 2677T allele: 63.3% vs. 35.9%, p = 0.012; 3435T allele: 60% vs. 39.1%, P= 0.057). Carriers of the G2677->T variant allele also had a significant reduction (%) in EGFR at 12 months post-transplant (mean difference = 22.6%; P= 0.031). Haplotype analysis showed a significant association between T-T-T haplotypes and an increased incidence of nephrotoxicity at 6 months post-transplantation (haplotype-frequency = 52.9% in nephrotoxic patients vs 29.4% in controls; P= 0.029). Furthermore, G2677->T and C3435->T polymorphisms and T-T-T haplotypes were significantly correlated with higher tacrolimus dose-adjusted pre-dose concentrations at various time points examined long after drug initiation. CONCLUSIONS - These findings suggest that ABCB1 polymorphisms in the native intestine significantly influence tacrolimus dosage-requirement in the stable phase after transplantation. In addition, ABCB1 polymorphisms in paediatric liver transplant recipients may predispose them to nephrotoxicity over the first year post-transplantation. Genotyping future transplant recipients for ABCB1 polymorphisms, therefore, could have the potential to individualize better tacrolimus immunosuppressive therapy and enhance drug safety.

Impact of ATP-binding cassette, subfamily B, member 1 pharmacogenetics on tacrolimus-associated nephrotoxicity and dosage requirements in paediatric patients with liver transplant

Importance of the field: Tacrolimus is the most commonly used immunosuppressive agent following solid-organ transplantation in children. Its clinical use, however, is complicated by side effects (mainly nephrotoxicity), narrow therapeutic index and pharmacokinetic variability which can result in an increased risk of treatment failure or toxicity. Studies examining interindividual differences in the expression of the ABCB1 (ATP-binding cassette, subfamily B, member 1) gene (which encodes the drug transporter, P-gp) and its genetic polymorphisms have attempted to elucidate variations in tacrolimus response and disposition in children. Areas covered in this review: This review explores pharmacogenetic knowledge developed over the last decade regarding the impact of ABCB1 polymorphisms on tacrolimus toxicity and dosage requirements in children. What the reader will gain: A better understanding of the role of ABCB1 genetic polymorphisms (and corresponding haplotypes) and ABCB1 expression levels in various tissues and organs on tacrolimus outcomes in children with liver transplant. Take home message: Pharmacogenetics offers significant potential for optimising tacrolimus use. ABCB1 donor genotypes and ABCB1 expression level in the intestine and leukocytes may be useful in dosage selection. Large prospective studies are, however, required to further explore the potential of genetic testing in identifying children who are at risk of toxicity and to better individualise tacrolimus therapy.

Identifying the ICT challenges of the agri-food sector to define the architectural requirements for a future internet core platform

This paper discussed the specific challenges of the agri-food sector in the light of research carried out in the Smart-AgriFod project. Using questionnaires and focus groups, our research identified as number of business needs and drivers which enable the identification of suitable Future Internet technologies across the three sub-domains of Smart Farming, Smart Agri-logistics, and Smart Food Awareness. The universal need for information access and the importance of standards to enable this lead us to propose an integrated scenario for end to end information access from farm to fork. We conclude by discussing wider implications of such developments especially for climate change and urbanisation.

Buyer profiles:an empirical investigation of changing organizational requirements

Many authors have commented that the profile of the industrial buyer must change if purchasing is to adapt the increasingly dynamic and complex contexts in which firms operate. This exploratory, empirical study examined and compared the trait profiles of current top performers and of 'ideal' buyers for the future. This approach links buyer traits with perceived managerial satisfaction with role performance. Based on cluster analysis, we present a taxonomy of five 'ideal' types of buyer. We propose that future research should seek to match the identified trait clusters with a typology of purchasing contexts. © 2001 Elsevier Science Ltd.