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.

'Like walking on eggshells': Service user views and expectations of the child protection system

This paper reports on a study of service users' views on Irish child protection services. Qualitative interviews were conducted with 67 service users, including young people between 13 and 23. The findings showed that despite refocusing and public service management reforms, service users still experience involvement with the services as intimidating and stressful and while they acknowledged opportunities to participate in the child protection process, they found the experience to be very difficult. Their definition of ‘needs’ was somewhat at odds with that suggested in official documentation, and they viewed the execution of a child protection plan more as a coercive requirement to comply with ‘tasks’ set by workers than a conjoint effort to enhance their children's welfare. As in previous studies, the data showed how the development of good relationships between workers and service users could compensate for the harsher aspects of involvement with child protection. In addition, this study demonstrated a high level of discernment on the part of service users, highlighting their expectation of quality standards in respect of courtesy, respect, accountability, transparency and practitioner expertise.

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.

User perspective on palliative care services: experiences of middle-aged partners bereaved through cancer known to social work services in Northern Ireland

This qualitative research study explores experiences of partners bereaved through cancer, who were resident in an urban area of Northern Ireland and who had been service users of the social work services. Data were collected in 2004 from 10 individuals who participated in semi-structured interviews. Emergent themes were identified using thematic content analysis and findings analysed under four categories: cancer journey; impact of bereavement; process of adjustment and change; and experience of support services. Opportunities to facilitate communication were not always maximised, often resulting in poor bereavement outcomes. Although hospices undertook bereavement risk assessment, participants were unaware of its use and queried its accuracy without service user involvement. The most cited informal support was family and friends, although such help was time-limited. Service user feedback regarding social workers was generally positive; however, there was a lack of knowledge about their role in palliative care. Post-bereavement adjustment was influenced by the quality of social networks, the responsibilities of lone parenthood, and challenges to life values and core beliefs. A framework for palliative care social work has been recommended based on research findings.

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.

Anisotropic seismic inversion using a multigrid Monte Carlo approach

We propose a new approach for the inversion of anisotropic P-wave data based on Monte Carlo methods combined with a multigrid approach. Simulated annealing facilitates objective minimization of the functional characterizing the misfit between observed and predicted traveltimes, as controlled by the Thomsen anisotropy parameters (epsilon, delta). Cycling between finer and coarser grids enhances the computational efficiency of the inversion process, thus accelerating the convergence of the solution while acting as a regularization technique of the inverse problem. Multigrid perturbation samples the probability density function without the requirements for the user to adjust tuning parameters. This increases the probability that the preferred global, rather than a poor local, minimum is attained. Undertaking multigrid refinement and Monte Carlo search in parallel produces more robust convergence than does the initially more intuitive approach of completing them sequentially. We demonstrate the usefulness of the new multigrid Monte Carlo (MGMC) scheme by applying it to (a) synthetic, noise-contaminated data reflecting an isotropic subsurface of constant slowness, horizontally layered geologic media and discrete subsurface anomalies; and (b) a crosshole seismic data set acquired by previous authors at the Reskajeage test site in Cornwall, UK. Inverted distributions of slowness (s) and the Thomson anisotropy parameters (epsilon, delta) compare favourably with those obtained previously using a popular matrix-based method. Reconstruction of the Thomsen epsilon parameter is particularly robust compared to that of slowness and the Thomsen delta parameter, even in the face of complex subsurface anomalies. The Thomsen epsilon and delta parameters have enhanced sensitivities to bulk-fabric and fracture-based anisotropies in the TI medium at Reskajeage. Because reconstruction of slowness (s) is intimately linked to that epsilon and delta in the MGMC scheme, inverted images of phase velocity reflect the integrated effects of these two modes of anisotropy. The new MGMC technique thus promises to facilitate rapid inversion of crosshole P-wave data for seismic slownesses and the Thomsen anisotropy parameters, with minimal user input in the inversion process.

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.

The use of process simulation methods in support of organisational learning in availability contracting

Traditional business models in the aerospace industry are based on a conventional supplier to customer relationship based on the design, manufacture and subsequent delivery of the physical product. Service provision, from the manufacturer's perspective, is typically limited to the supply of procedural documentation and the provision of spare parts to the end user as the product passes through the latter stages of its intended lifecycle. Challenging economic and political conditions have resulted in end users re-structuring their core business activities, particularly in the defence sector. This has resulted in the need for original equipment manufacturers (OEMs) to integrate and manage support service activities in partnership with the customer to deliver platform availability. This improves the probability of commercial sustainability for the OEM through shared operational risks while reducing the cost of platform ownership for the customer. The need for OEMs to evolve their design, manufacture and supply strategies by focusing on customer requirements has revealed a need for reconstruction of traditional internal behaviours and design methodologies. Application of organisational learning is now a well recognised principle for innovative companies to achieve long term growth and sustained technical development, and hence, greater market command. It focuses on the process by which the organisation's knowledge and value base changes, leading to improved problem solving ability and capacity for action. From the perspective of availability contracting, knowledge and the processes by which it is generated, used and retained, become primary assets within the learning organisation. This paper will introduce the application of digital methods to asset management by demonstrating how the process of learning can benefit from a digital approach, how product and process design can be integrated within a virtual framework and finally how the approach can be applied in a service context.