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.

Langerhans Cells Prime IL-17-Producing T Cells and Dampen Genital Cytotoxic Responses following Mucosal Immunization

Langerhans cells (LCs) are dendritic cells (DCs) localized in stratified epithelia, such as those overlaying skin, buccal mucosa, and vagina. The contribution of LCs to the promotion or control of immunity initiated at epithelial sites remains debated. We report in this paper that an immunogen comprising OVA linked to the B subunit of cholera toxin, used as delivery vector, was efficient to generate CTLs after vaginal immunization. Using Lang-EGFP mice, we evaluated the contribution of distinct DC subsets to the generation of CD4 and CD8 T cell responses. We demonstrate that the vaginal epithelium, unlike the skin epidermis, includes a minor population of LCs and a major subset of langerin(-) DCs. Intravaginally administered Ag is taken up by LCs and langerin(-) DCs and carried up to draining lymph nodes, where both subsets prime CD8 T cells, unlike blood-derived DCs, although with distinct capabilities. LCs prime CD8 T cells with a cytokine profile dominated by IL-17, whereas Lang(-) DCs induce IFN-gamma-producing T cells. Using Lang-DTR-EGFP mice to ensure a transient ablation of LCs, we found that these cells not only are dispensable for the generation of genital CTL responses but also downregulate these responses, by a mechanism that may involve IL-10 and IL-17 cytokines. This finding has implications for the development of mucosal vaccines and immunotherapeutic strategies designed for the targeting of DCs.

A programming model for BSP with partitioned synchronisation

A BSP superstep is a distributed computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through shared memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.

Isolation of monocytes from human peripheral blood using immuno-affinity expanded-bed adsorption

A novel technique for the separation of monocytes from human peripheral blood preparations has been developed. The technique is based on the use of expanded-bed adsorption and a solid perfluorocarbon derivatized with avidin or streptavidin for the indirect positive or negative capture of cells labeled with biotinylated monoclonal antibodies. The perfluorocarbon support was prepared and characterized and the contactor design and operating conditions, that enable cells to be selectively isolated, were investigated. Experiments consisted of applying an immunolabeled pulse of 1 x 10(8) peripheral blood mononuclear cells (PBMCs), isolated by density gradient centrifugation, directly onto a refrigerated expanded bed. The major cell types remaining were T-lymphocytes, B-lymphocytes, and monocytes. Monocytes could be positively adsorbed, following labeling with anti-CD14 mAb, with a clearance of up to 89% and a depletion factor of 7.6. They could also be

Integrin expression at the bone/biomaterial interface

The aim of this study was to visualize integrin expression by cells in interface tissue in relation to their ligands. Tissue samples were obtained from 25 patients undergoing revision of aseptically loose total joint replacements. Serial sections were immunolabeled for the integrins alpha (2)beta (1) alpha (v)beta (3), alpha (4)beta (1) alpha (L)beta (2) (CD11a), alpha (M)beta (2) (CD11b), and alpha (x)beta (2) (CD11c), and the ligands fibronectin, laminin, vitronectin, intercellular adhesion molecule-1, and vascular adhesion molecule-1. Most cells were found to express alpha (2)beta (1) most macrophages and giant cells expressed CD11b, and the majority of CD11a was found on perivascular T lymphocytes. From the small amount of alpha (4)beta (1) and vascular adhesion molecule-1 expression in the interface tissue and the combination of CD11a, CD11b, and intercellular adhesion molecule-1 expression, it would seem that macrophages use beta (2) integrins to transmigrate. (C) 2001 John Wiley & Sons, Inc.

Effect of phytoestrogen and antioxidant supplementation on oxidative DNA damage assessed using the comet assay

Antioxidant species may act in vivo to decrease oxidative damage to DNA, protein and lipids thus reducing the risk of coronary heart disease and cancer. Phytoestrogens are plant compounds which are a major component of traditional Asian diets and which may be protective against certain hormone-dependent cancers (breast and prostate) and against coronary heart disease. They may also be able to function as antioxidants, scavenging potentially harmful free radicals. In this study, the effects of the isoflavonoids (a class of phytoestrogen) genistein and equol on hydrogen peroxide-mediated DNA damage in human lymphocytes were determined using alkaline single-cell gel electrophoresis (the comet assay). Treatment with hydrogen peroxide significantly increased the levels of DNA strand breaks. Pre-treatment of the cells with both genistein and equol offered protection against this damage at concentrations within the physiological range. This protection was greater than that offered by addition of the known antioxidant vitamins ascorbic acid and alpha -tocopherol, or the compounds 17 beta -oestradiol and Tamoxifen which have similar structures to isoflavonoids and are known to have weak antioxidant properties. These findings are consistent with the hypothesis that phytoestrogens can, under certain conditions, function as antioxidants and protect against oxidatively-induced DNA damage. (C) 2001 Elsevier Science B.V. All rights reserved.

In vitro isoflavone supplementation reduces hydrogen peroxide-induced DNA damage in sperm

Isoflavones are plant compounds, proposed to have health benefits in a variety of human diseases, including coronary heart disease and endocrine-responsive cancers. Their physiological effects include possible antioxidant activity, therefore suggesting a role for isoflavones in the prevention of male infertility. The aim of this study was to test the antioxidant effects of the isoflavones genistein and equol on sperm DNA integrity, assessed in vitro after hydrogen peroxide-mediated damage, using the cornet assay. Pre-treatment with genistein or equol at doses of 0.01-100 mumol/l significantly protected sperm DNA against oxidative damage. Both ascorbic acid (10-600 mumol/l) and alpha-tocopherol (1-100 mumol/l) also protected. Compared with ascorbic acid and alpha-tocopherol, added at physiological concentrations, genistein was the most potent antioxidant, followed by equol, ascorbic acid, and alpha-tocopherol. Genistein and equol added in combination were more protective than when added singly. Based on these preliminary data, which are similar to those observed previously in lymphocytes, these compounds may have a role to play in antioxidant protection against male infertility.

Enhanced lymphocyte interferon (IFN)-γ responses in a PTEN mutation-negative Cowden disease kindred.

Identification of immune modifiers of inherited cancer syndromes may provide a rationale for preventive therapy. Cowden disease (CD) is a genetically heterogeneous inherited cancer syndrome that arises predominantly from germline phosphatase and tensin homologue deleted on chromosome 10 (PTEN) mutation and increased phosphoinositide 3-kinase/mammalian target of rapamycin (PI3K/mTOR) signalling. However, many patients with classic CD diagnostic features are mutation-negative for PTEN (PTEN M-Neg). Interferon (IFN)-gamma can modulate the PI3K/mTOR pathway, but its association with PTEN M-Neg CD remains unclear. This study assessed IFN-gamma secretion by multi-colour flow cytometry in a CD kindred that was mutation-negative for PTEN and other known susceptibility genes. Because IFN-gamma responses may be regulated by killer cell immunoglobulin-like receptors (KIR) and respective human leucocyte antigen (HLA) ligands, KIR/HLA genotypes were also assessed. Activating treatments induced greater IFN-gamma secretion in PTEN M-Neg CD peripheral blood lymphocytes versus healthy controls. Increased frequency of activating KIR genes, potentially activating KIR/HLA compound genotypes and reduced frequency of inhibitory genotypes, were found in the PTEN M-Neg CD kindred. Differences of IFN-gamma secretion were observed among PTEN M-Neg CD patients with distinct KIR/HLA compound genotypes. Taken together, these findings show enhanced lymphocyte secretion of IFN-gamma that may influence the PI3K/mTOR CD causal molecular pathway in a PTEN mutation-negative CD kindred.

Tissue microarray study for classification of breast tumors

Clinical and pathological heterogeneity of breast cancer hinders selection of appropriate treatment for individual cases. Molecular profiling at gene or protein levels may elucidate the biological variance of tumors and provide a new classification system that correlates better with biological, clinical and prognostic parameters. We studied the immunohistochemical profile of a panel of seven important biomarkers using tumor tissue arrays. The tumor samples were then classified with a monothetic (binary variables) clustering algorithm. Two distinct groups of tumors are characterized by the estrogen receptor (ER) status and tumor grade (p = 0.0026). Four biomarkers, c-erbB2, Cox-2, p53 and VEGF, were significantly overexpressed in tumors with the ER-negative (ER-) phenotype. Eight subsets of tumors were further identified according to the expression status of VEGF, c-erbB2 and p53. The malignant potential of the ER-/VEGF+ subgroup was associated with the strong correlations of Cox-2 and c-erb132 with VEGF. Our results indicate that this molecular classification system, based on the statistical analysis of immunohistochemical profiling, is a useful approach for tumor grouping. Some of these subgroups have a relative genetic homogeneity that may allow further study of specific genetically-controlled metabolic pathways. This approach may hold great promise in rationalizing the application of different therapeutic strategies for different subgroups of breast tumors. (C) 2003 Elsevier Inc. All rights reserved.

Synovial membrane immunohistology in early untreated juvenile idiopathic arthritis: differences between clinical subgroups

Abstract: Objective Juvenile idiopathic arthritis (JIA) consists of a heterogeneous group of inflammatory disorders, within which there are a number of clinical subgroups. Diagnosis and assignment to a particular subgroup can be problematical and more concise methods of subgroup classification are required. This study of the synovial membrane characterises the immunohistochemical features in early untreated, newly diagnosed JIA and compares findings with disease subgroup at 2 years.

Methods: 42 patients with newly diagnosed untreated JIA underwent synovial biopsy before the administration of steroids or disease-modifying antirheumatic drugs. Patients were classified as either polyarticular, persistent oligoarticular or extended-to-be oligoarticular. The location and semiquantitative analysis of T-cell subsets, B cells, macrophages and blood vessels were determined using immunohistochemistry.

Results: Synovial hyperplasia varied significantly between the three groups
(p<0.0001). There was a significant difference in the CD3 T-cell population between the three groups (p=0.004) and between the extended-to-be and persistent group (p=0.032). CD4 expression was significantly higher in the poly and extended-to-be oligo groups (p=0.002), again the extended-to-be group had more CD4 T cells than the persistent group (p=0.008). B-cell infiltrates were more marked in the polyarticular group and were significantly higher in the extended-to-be group compared with the persistent group (p=0.005). Vascularisation was more pronounced in the polyarticular and extended-to-be oligoarticular groups, the extended-to-be group had significantly more vascularisation than the persistent group (p=0.0002).

Conclusions: There are significant differences in the histomorphometric features of synovial tissue between patient subgroups. Immunohistological examination of synovial membrane biopsies may provide further insight into early disease processes in JIA.

A Syntax-based approach to measuring the degree of inconsistency for belief bases

Measuring the degree of inconsistency of a belief base is an important issue in many real world applications. It has been increasingly recognized that deriving syntax sensitive inconsistency measures for a belief base from its minimal inconsistent subsets is a natural way forward. Most of the current proposals along this line do not take the impact of the size of each minimal inconsistent subset into account. However, as illustrated by the well-known Lottery Paradox, as the size of a minimal inconsistent subset increases, the degree of its inconsistency decreases. Another lack in current studies in this area is about the role of free formulas of a belief base in measuring the degree of inconsistency. This has not yet been characterized well. Adding free formulas to a belief base can enlarge the set of consistent subsets of that base. However, consistent subsets of a belief base also have an impact on the syntax sensitive normalized measures of the degree of inconsistency, the reason for this is that each consistent subset can be considered as a distinctive plausible perspective reflected by that belief base,whilst eachminimal inconsistent subset projects a distinctive viewof the inconsistency. To address these two issues,we propose a normalized framework formeasuring the degree of inconsistency of a belief base which unifies the impact of both consistent subsets and minimal inconsistent subsets. We also show that this normalized framework satisfies all the properties deemed necessary by common consent to characterize an intuitively satisfactory measure of the degree of inconsistency for belief bases. Finally, we use a simple but explanatory example in equirements engineering to illustrate the application of the normalized framework.

Cell-to-Cell Interactions and Signals Involved in the Reconstitution of Peripheral CD8(+) T-CM and T-EM Cell Pools

We here describe novel aspects of CD8(+) and CD4(+) T cell subset interactions that may be clinically relevant and provide new tools for regulating the reconstitution of the peripheral CD8(+) T cell pools in immune-deficient states. We show that the reconstitution capacity of transferred isolated naive CD8(+) T cells and their differentiation of effector functions is limited, but both dramatically increase upon the co-transfer of CD4(+) T cells. This helper effect is complex and determined by multiple factors. It was directly correlated to the number of helper cells, required the continuous presence of the CD4(+) T cells, dependent on host antigen-presenting cells (APCs) expressing CD40 and on the formation of CD4/CD8/APC cell clusters. By comparing the recovery of (CD44(+)CD62L(high)) T-CM and (CD44(+)CD62L(low)) T-EM CD8(+) T cells, we found that the accumulation of TCM and TEM subsets is differentially regulated. T-CM-cell accumulation depended mainly on type I interferons, interleukin (IL)-6, and IL-15, but was independent of CD4(+) T-cell help. In contrast, TEM-cell expansion was mainly determined by CD4(+) T-cell help and dependent on the expression of IL-2R beta by CD8 cells, on IL-2 produced by CD4(+) T-cells, on IL-15 and to a minor extent on IL-6.

Langerin(+) Dermal Dendritic Cells Are Critical for CD8(+) T Cell Activation and IgH gamma-1 Class Switching in Response to Gene Gun Vaccines

The C-type lectin langerin/CD207 was originally discovered as a specific marker for epidermal Langerhans cells (LC). Recently, additional and distinct subsets of langerin(+) dendritic cells (DC) have been identified in lymph nodes and peripheral tissues of mice. Although the role of LC for immune activation or modulation is now being discussed controversially, other langerin(+) DC appear crucial for protective immunity in a growing set of infection and vaccination models. In knock-in mice that express the human diphtheria toxin receptor under control of the langerin promoter, injection of diphtheria toxin ablates LC for several weeks whereas other langerin(+) DC subsets are replenished within just a few days. Thus, by careful timing of diphtheria toxin injections selective states of deficiency in either LC only or all langerin(+) cells can be established. Taking advantage of this system, we found that, unlike selective LC deficiency, ablation of all langerin(+) DC abrogated the activation of IFN-gamma producing and cytolytic CD8(+) T cells after gene gun vaccination. Moreover, we identified migratory langerin(+) dermal DC as the subset that directly activated CD8(+) T cells in lymph nodes. Langerin(+) DC were also critical for IgG1 but not IgG2a Ab induction, suggesting differential polarization of CD4(+) T helper cells by langerin(+) or langerin-negative DC, respectively. In contrast, protein vaccines administered with various adjuvants induced IgG1 independently of langerin(+) DC. Taken together, these findings reflect a highly specialized division of labor between different DC subsets both with respect to Ag encounter as well as downstream processes of immune activation. The Journal of Immunology, 2011, 186: 1377-1383.

Measuring the blame of each formula for inconsistent prioritized knowledge bases.

It is increasingly recognized that identifying the degree of blame or responsibility of each formula for inconsistency of a knowledge base (i.e. a set of formulas) is useful for making rational decisions to resolve inconsistency in that knowledge base. Most current techniques for measuring the blame of each formula with regard to an inconsistent knowledge base focus on classical knowledge bases only. Proposals for measuring the blames of formulas with regard to an inconsistent prioritized knowledge base have not yet been given much consideration. However, the notion of priority is important in inconsistency-tolerant reasoning. This article investigates this issue and presents a family of measurements for the degree of blame of each formula in an inconsistent prioritized knowledge base by using the minimal inconsistent subsets of that knowledge base. First of all, we present a set of intuitive postulates as general criteria to characterize rational measurements for the blames of formulas of an inconsistent prioritized knowledge base. Then we present a family of measurements for the blame of each formula in an inconsistent prioritized knowledge base under the guidance of the principle of proportionality, one of the intuitive postulates. We also demonstrate that each of these measurements possesses the properties that it ought to have. Finally, we use a simple but explanatory example in requirements engineering to illustrate the application of these measurements. Compared to the related works, the postulates presented in this article consider the special characteristics of minimal inconsistent subsets as well as the priority levels of formulas. This makes them more appropriate to characterizing the inconsistency measures defined from minimal inconsistent subsets for prioritized knowledge bases as well as classical knowledge bases. Correspondingly, the measures guided by these postulates can intuitively capture the inconsistency for prioritized knowledge bases.

In vivo tropism of attenuated and pathogenic measles virus expressing green fluorescent protein in macaques

The global increase in measles vaccination has resulted in a significant reduction of measles mortality. The standard route of administration for the live-attenuated measles virus (MV) vaccine is subcutaneous injection, although alternative needle-free routes, including aerosol delivery, are under investigation. In vitro, attenuated MV has a much wider tropism than clinical isolates, as it can use both CD46 and CD150 as cellular receptors. To compare the in vivo tropism of attenuated and pathogenic MV, we infected cynomolgus macaques with pathogenic or attenuated recombinant MV expressing enhanced green fluorescent protein (GFP) (strains IC323 and Edmonston, respectively) via the intratracheal or aerosol route. Surprisingly, viral loads and cellular tropism in the lungs were similar for the two viruses regardless of the route of administration, and CD11c-positive cells were identified as the major target population. However, only the pathogenic MV caused significant viremia, which resulted in massive virus replication in B and T lymphocytes in lymphoid tissues and viral dissemination to the skin and the submucosa of respiratory epithelia. Attenuated MV was rarely detected in lymphoid tissues, and when it was, only in isolated infected cells. Following aerosol inhalation, attenuated MV was detected at early time points in the upper respiratory tract, suggesting local virus replication. This contrasts with pathogenic MV, which invaded the upper respiratory tract only after the onset of viremia. This study shows that despite in vitro differences, attenuated and pathogenic MV show highly similar in vivo tropism in the lungs. However, systemic spread of attenuated MV is restricted.