Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Identification of different specificity requirements between SGK1 and PKB alpha

NDRG1 is phosphorylated by SGK1 (but not PKB) in vivo at three residues each contained within three nonapeptide repeats. Here, we demonstrate that this nonapeptide, like the NDRG1 protein, is phosphorylated by SGK1, but not by PKBalpha or RSK1 in vitro. The inability of PKBa and RSK1 to phosphorylate the nonapeptide was traced to residues n + 1, n + 2 and n - 4 (where n is the phosphorylation site). Changing them from Ser, Glu and Ser to Phe, Ala and Pro, respectively, transformed the nonapeptide into an excellent substrate for PKBalpha and RSK1. Our results identify a specific substrate for SGK1 and may facilitate detection of additional physiological substrates for this enzyme. (C) 2005 Federation of European Biochemical Societies. Published by Elsevier B.V. All rights reserved.

Data mining approach identifies research priorities and data requirements for resolving the red algal tree of life

Background. The assembly of the tree of life has seen significant progress in recent years but algae and protists have been largely overlooked in this effort. Many groups of algae and protists have ancient roots and it is unclear how much data will be required to resolve their phylogenetic relationships for incorporation in the tree of life. The red algae, a group of primary photosynthetic eukaryotes of more than a billion years old, provide the earliest fossil evidence for eukaryotic multicellularity and sexual reproduction. Despite this evolutionary significance, their phylogenetic relationships are understudied. This study aims to infer a comprehensive red algal tree of life at the family level from a supermatrix containing data mined from GenBank. We aim to locate remaining regions of low support in the topology, evaluate their causes and estimate the amount of data required to resolve them. Results. Phylogenetic analysis of a supermatrix of 14 loci and 98 red algal families yielded the most complete red algal tree of life to date. Visualization of statistical support showed the presence of five poorly supported regions. Causes for low support were identified with statistics about the age of the region, data availability and node density, showing that poor support has different origins in different parts of the tree. Parametric simulation experiments yielded optimistic estimates of how much data will be needed to resolve the poorly supported regions (ca. 103 to ca. 104 nucleotides for the different regions). Nonparametric simulations gave a markedly more pessimistic image, some regions requiring more than 2.8 105 nucleotides or not achieving the desired level of support at all. The discrepancies between parametric and nonparametric simulations are discussed in light of our dataset and known attributes of both approaches. Conclusions. Our study takes the red algae one step closer to meaningful inclusion in the tree of life. In addition to the recovery of stable relationships, the recognition of five regions in need of further study is a significant outcome of this work. Based on our analyses of current availability and future requirements of data, we make clear recommendations for forthcoming research.

Managing Software Requirements Changes Based On Negotiation-Style Revision

For any proposed software project, when the software requirements specification has been established, requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development. Then it is necessary to provide effective and flexible requirements changes management. In this paper, we present an approach to managing requirements changes based on Booth’s negotiation-style framework for belief revision. Informally, we consider the current requirements specification as a belief set about the system-to-be. The request of requirements change is viewed as new information about the same system-to-be. Then the process of executing the requirements change is a process of revising beliefs about the system-to-be. We design a family of belief negotiation models appropriate for different processes of requirements revision, including the setting of the request of requirements change being fully accepted, the setting of the current requirements specification being fully preserved, and that of the current specification and the request of requirements change reaching a compromise. In particular, the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.

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 inter-individual 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.

Estimation of survival rate and extinction probability for stage-structured populations with overlapping life stages

The development of methods providing reliable estimates of demographic parameters (e. g., survival rates, fecundity) for wild populations is essential to better understand the ecology and conservation requirements of individual species. A number of methods exist for estimating the demographics of stage-structured populations, but inherent mathematical complexity often limits their uptake by conservation practitioners. Estimating survival rates for pond-breeding amphibians is further complicated by their complex migratory and reproductive behaviours, often resulting in nonobservable states and successive cohorts of eggs and tadpoles. Here we used comprehensive data on 11 distinct breeding toad populations (Bufo calamita) to clarify and assess the suitability of a relatively simple method [the Kiritani-Nakasuji-Manly (KNM) method] to estimate the survival rates of stage-structured populations with overlapping life stages. The study shows that the KNM method is robust and provides realistic estimates of amphibian egg and larval survival rates for species in which breeding can occur as a single pulse or over a period of several weeks. The study also provides estimates of fecundity for seven distinct toad populations and indicates that it is essential to use reliable estimates of fecundity to limit the risk of under- or overestimating the survival rates when using the KNM method. Survival and fecundity rates for B. calamita populations were then used to define population matrices and make a limited exploration of their growth and viability. The findings of the study recently led to the implementation of practical conservation measures at the sites where populations were most vulnerable to extinction. © 2010 The Society of Population Ecology and Springer.

The Diffusion of Risks in Public Private Partnership Contracts

Purpose The UK government argues that the benefits of public private partnership (PPP) in delivering public infrastructure stem from: transferring risks to the private sector within a structure in which financiers put their own capital at risk; and, the performance based payment mechanism, reinforced by the due diligence requirements imposed by the lenders financing the projects (HM Treasury, 2010). Prior studies of risk in PPPs have investigated ‘what’ risks are allocated and to ‘whom’, that is to the public or the private sector. The purpose of this study is to examine ‘how’ and ‘why’ PPP risks are diffused by their financiers. Design/methodology/approach This study focuses on the financial structure of PPPs and on their financiers. Empirical evidence comes from interviews conducted with equity and debt financiers. Findings The findings show that the financial structure of the deals generates risk aversion in both debt and equity financiers and that the need to attract affordable finance leads to risk diffusion through a network of companies using various means that include contractual mitigation through insurance, performance support guarantees, interest rate swaps and inflation hedges. Because of the complexity this process generates, both procurers and suppliers need expensive expert advice. The risk aversion and diffusion and the consequent need for advice add cost to the projects impacting on the government’s economic argument for risk transfer. Limitations and implications The empirical work covers the private finance initiative (PFI) type of PPP arrangements and therefore the risk diffusion mechanisms may not be generalisable to other forms of PPP, especially those that do not involve the use of high leverage or private finance. Moreover, the scope of this research is limited to exploring the diffusion of risk in the private sector. Further research is needed on how risk is diffused in other settings and on the value for money implication of risk diffusion in PPP contracts. Originality/value The expectation inherent in PPP is that the private sector will better manage those risks allocated to it and because private capital is at risk, financiers will perform due diligence with the ultimate outcome that only viable projects will proceed. This paper presents empirical evidence that raises questions about these expectations. Key words: public private partnership, risk management, diffusion, private finance initiative, financiers

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.