Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

Web crippling behaviour of cold-formed steel channel sections with offset web holes subjected to interior-two-flange loading

Cold-formed steel sections are often used as wall studs or floor joists; such sections often include web holes for ease of installation of the services. Cold-formed steel design codes, however, do not consider the effect of such web holes. In this paper, a combination of experimental tests and non-linear elasto-plastic finite element analyses are used to investigate the effect of such holes on web crippling under interior-two-flange (ITF) loading conditions; the cases of both flange fastened and flange unfastened are considered. A good agreement between the experimental tests and finite element analyses was obtained. The finite element model was then used for the purposes of a parametric study on the effect of different sizes and position of holes in the web. It was demonstrated that the main factors influencing the web crippling strength are the ratio of the hole depth to the depth of the web, and the ratio of the distance from the edge of the bearing to the flat depth of web. Design recommendations in the form of web crippling strength reduction factors are proposed, that are conservative to both the experimental and finite element results.

Scaling of Food-Web Properties with Diversity and Complexity Across Ecosystems

Trophic scaling models describe how topological food-web properties such as the number of predator prey links scale with species richness of the community. Early models predicted that either the link density (i.e. the number of links per species) or the connectance (i.e. the linkage probability between any pair of species) is constant across communities. More recent analyses, however, suggest that both these scaling models have to be rejected, and we discuss several hypotheses that aim to explain the scale dependence of these complexity parameters. Based on a recent, highly resolved food-web compilation, we analysed the scaling behaviour of 16 topological parameters and found significant power law scaling relationships with diversity (i.e. species richness) and complexity (i.e. connectance) for most of them. These results illustrate the lack of universal constants in food-web ecology as a function of diversity or complexity. Nonetheless, our power law scaling relationships suggest that fundamental processes determine food-web topology, and subsequent analyses demonstrated that ecosystem-specific differences in these relationships were of minor importance. As such, these newly described scaling relationships provide robust and testable cornerstones for future structural food-web models.

Temporal Variability in Predator-Prey Relationships of a Forest Floor Food Web

Connectance webs represent the standard data description in food web ecology, but their usefulness is often limited in understanding the patterns and processes within ecosystems. Increasingly, efforts have been made to incorporate additional, biologically meaningful, data into food web descriptions, including the construction of food webs using data describing the body size and abundance of each species. Here, data from a terrestrial forest floor food web, sampled seasonally over a 1-year period, were analysed to investigate (i) how stable the body size abundance and predator prey relationships of an ecosystem are through time and (ii) whether there are system-specific differences in body size abundance and predator prey relationships between ecosystem types.

Manipulating Interaction Strengths and the Consequences for Trivariate Patterns in a Marine Food Web

We are experiencing a global extinction crisis as a result of climate change and human-induced alteration of natural habitats, with large predators at high trophic levels in food webs being particularly vulnerable. Unfortunately, there is a scarcity of food web data that can be used to assess how species extinctions alter the structure and stability of temporally and spatially replicated networks. We established a series of large experimental mesocosms in a shallow subtidal benthic marine system and constructed food webs for each replicate. After 6 months of community assembly, we removed large predators from the core communities of 20 experimental food webs, based on the strength of their trophic interactions, and monitored the changes in the networks' structure and stability over an 8-month period. Our analyses revealed the importance of allometric relationships and size-structuring in natural communities as a means of preserving food web structure and sustainability, despite significant changes in the diversity, stability and productivity of the system.

Interaction strength, food web topology and the relative importance of species in food webs

P>1. We established complex marine communities, consisting of over 100 species, in large subtidal experimental mesocosms. We measured the strength of direct interactions and the net strength of direct and indirect interactions between the species in those communities, using a combination of theoretical and empirical approaches.

Macroecological patterns and niche structure in a new marine food web

The integration of detailed information on feeding interactions with measures of abundance and body mass of individuals provides a powerful platform for understanding ecosystem organisation. Metabolism and, by proxy, body mass constrain the flux, turnover and storage of energy and biomass in food webs. Here, we present the first food web data for Lough Hyne, a species rich Irish Sea Lough. Through the application of individual-and size-based analysis of the abundance-body mass relationship, we tested predictions derived from the metabolic theory of ecology. We found that individual body mass constrained the flux of biomass and determined its distribution within the food web. Body mass was also an important determinant of diet width and niche overlap, and predator diets were nested hierarchically, such that diet width increased with body mass. We applied a novel measure of predator-prey biomass flux which revealed that most interactions in Lough Hyne were weak, whereas only a few were strong. Further, the patterning of interaction strength between prey sharing a common predator revealed that strong interactions were nearly always coupled with weak interactions. Our findings illustrate that important insights into the organisation, structure and stability of ecosystems can be achieved through the theoretical exploration of detailed empirical data.

Altered stress stimulation of inward rectifier potassium channels in Andersen-Tawil syndrome

Inward rectifier potassium channels of the Kir2 subfamily are important determinants of the electrical activity of brain and muscle cells. Genetic mutations in Kir2.1 associate with Andersen-Tawil syndrome (ATS), a familial disorder leading to stress-triggered periodic paralysis and ventricular arrhythmia. To identify the molecular mechanisms of this stress trigger, we analyze Kir channel function and localization electrophysiologically and by time-resolved confocal microscopy. Furthermore, we employ a mathematical model of muscular membrane potential. We identify a novel corticoid signaling pathway that, when activated by glucocorticoids, leads to enrichment of Kir2 channels in the plasma membranes of mammalian cell lines and isolated cardiac and skeletal muscle cells. We further demonstrate that activation of this pathway can either partly restore (40% of cases) or further impair (20% of cases) the function of mutant ATS channels, depending on the particular Kir2.1 mutation. This means that glucocorticoid treatment might either alleviate or deteriorate symptoms of ATS depending on the patient's individual Kir2.1 genotype. Thus, our findings provide a possible explanation for the contradictory effects of glucocorticoid treatment on symptoms in patients with ATS and may open new pathways for the design of personalized medicines in ATS therapy. © FASEB.

Development of an allele-specific real-time PCR assay for discrimination and quantification of p63 R279H mutation in EEC syndrome

The ectrodactyly-ectodermal dysplasiaclefting syndrome is a rare autosomal dominant disorder caused by heterozygous mutations in the p63 gene, a transcription factor belonging to the p53 family. The majority of cases of ectrodactyly-ectodermal dysplasia syndrome are caused by de novo mutations and are therefore sporadic in approximately 60% of patients. The substitution of arginine to histidine (R279H), due to a c.836G>A mutation in exon 7 of the p63 gene, represents 55% of the identified mutations and is considered a mutational hot spot. A quantitative and sensitive real-time PCR was performed to quantify both wild-type and R279H alleles in DNA extracted from peripheral blood and RNA from cultured epithelial cells. Standard curves were constructed for both wild-type and mutant probes. The sensitivity of the assay was determined by generating serial dilutions of the DNA isolated from heterozygous patients (50% of alleles mutated) with wild-type DNA, thus obtaining decreasing percentages of p63 R279H mutant allele (50%, 37.5%, 25%, 12.5%, 10%, 7.5%, 5%, 2.5%, and 0.0%). The assay detected up to 1% of the mutant p63. The high sensitivity of the assay is of particular relevance to prenatal diagnosis and counseling and to detect therapeutic effects of drug treatment or gene therapy aimed at reducing the amount of mutated p63. © 2012 American Society for Investigative Pathology and the Association for Molecular Pathology. Published by Elsevier Inc. All rights reserved.

Limbal stem cell deficiency and ocular phenotype in ectrodactyly-ectodermal dysplasia-clefting syndrome caused by p63 mutations

Objective: To describe the ocular phenotype in patients with ectrodactyly-ectodermal dysplasia-clefting (EEC) syndrome (MIM#604292) and to determine the pathogenic basis of visual morbidity. Design: Retrospective case series. Participants: Nineteen families (23 patients) affected by EEC syndrome from the United Kingdom, Ireland, and Italy. Methods: General medical examination to fulfill the diagnostic criteria for EEC syndrome and determine the phenotypic severity. Mutational analysis of p63 was performed by polymerase chain reaction-based bidirectional Sanger sequencing. All patients with EEC syndrome underwent a complete ophthalmic examination and ocular surface assessment. Limbal stem cell deficiency (LSCD) was diagnosed clinically on the basis of corneal conjunctivalization and anatomy of the limbal palisades of Vogt. Impression cytology using immunofluorescent antibodies was performed in 1 individual. Histologic and immunohistochemical analyses were performed on a corneal button and corneal pannus from 2 EEC patients. Main Outcome Measures: The EEC syndrome phenotypic severity (EEC score), best-corrected Snellen visual acuity (decimal fraction), slit-lamp biomicroscopy, tear function index, tear breakup time, LSCD, p63 DNA sequence variants, impression cytology, and corneal histopathology. Results: Eleven heterozygous missense mutations in the DNA binding domain of p63 were identified in all patients with EEC syndrome. All patients had ocular involvement and the commonest was an anomaly of the meibomian glands and lacrimal drainage system defects. The major cause of visual morbidity was progressive LSCD, which was detected in 61% (14/23). Limbal stem cell deficiency was related to advancing age and caused a progressive keratopathy, resulting in a dense vascularized corneal pannus, and eventually leading to visual impairment. Histologic analysis and impression cytology confirmed LSCD. Conclusions: Heterozygous p63 mutations cause the EEC syndrome and result in visual impairment owing to progressive LSCD. There was no relationship of limbal stem cell failure with the severity of EEC syndrome, as classified by the EEC score, or the underlying molecular defect in p63. Financial Disclosure(s): The authors have no proprietary or commercial interest in any of the materials discussed in this article. © 2012 American Academy of Ophthalmology.