A key aspect when aggregating business processes and web services is to assure transactional properties of process executions. Since transactions in this context may require long periods of time to complete, traditional mechanisms for guaranteeing atomicity are not always appropriate. Generally the concept of long running transactions relies on a weaker notion of atomicity based on compensations. For this reason, programming languages for service composition cannot leave out two key aspects: compensations, i.e. ad hoc activities that can undo the effects of a process that fails to complete, and transactional boundaries to delimit the scope of a transactional flow. This paper presents a hierarchy of transactional calculi with increasing expressiveness. We start from a very small language in which activities can only be composed sequentially. Then, we progressively introduce parallel composition, nesting, programmable compensations and exception handling. A running example illustrates the main features of each calculus in the hierarchy

Prevalence of anti-hepatitis E virus (HEV) antibodies is highly variable in developed countries, which seems partly due to differences in assay sensitivity. Using validated sensitive assays, we tested 313 blood donors attending a hospital transfusion unit in central Italy in January and February 2014 for anti-HEV IgG and IgM and HEV RNA. Data on HEV exposure were collected from all donors. Overall anti-HEV IgG prevalence was 49% (153/313). Eating raw dried pig-liver sausage was the only independent predictor of HEV infection (adjusted prevalence rate ratio = 2.14; 95% confidence interval: 1.23-3.74). Three donors were positive for either anti-HEV IgM (n = 2; 0.6%) or HEV RNA (n = 2; 0.6%); they were completely asymptomatic, without alanine aminotransferase (ALT) abnormalities. Of the two HEV RNA-positive donors (both harbouring genotype 3), one was anti-HEV IgG- and IgM-positive, the other was anti-HEV IgG- and IgM-negative. The third donor was positive for anti-HEV IgG and IgM but HEV RNA-negative. HEV infection is therefore hyperendemic among blood donors (80% men 18-64 years-old) from central Italy and associated with local dietary habits. Nearly 1% of donors have acute or recent infection, implying potential transmission to blood recipients. Neither ALT nor anti-HEV IgM testing seems useful to prevent transfusion-transmitted HEV infection.

Abstract. A quite flourishing research thread in the recent literature on componentbased systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hiding and inaction, plus their duals, and it was shown how they can be freely composed in series and in parallel to model sophisticated "glues". In this paper we explore the expressiveness of stateful connectors obtained by adding one-place buffers or unbounded buffers to the stateless connectors. The main results are: i) we show how different classes of connectors exactly correspond to suitable classes of Petri nets equipped with compositional interfaces, called nets with boundaries; ii) we show that the difference between strong and weak semantics in stateful connectors is reflected in the semantics of nets with boundaries by moving from the classic step semantics (strong case) to a novel banking semantics (weak case), where a step can be executed by taking some "debit" tokens to be given back during the same step; iii) we show that the corresponding bisimilarities are congruences (w.r.t. composition of connectors in series and in parallel); iv) we show that suitable monoidality laws, like those arising when representing stateful connectors in the tile model, can nicely capture concurrency (in the sense of step semantics) aspects; and v) as a side result, we provide a basic algebra, with a finite set of symbols, out of which we can compose all P/T nets with boundaries, fulfilling a long standing quest.

Since its introduction, more than a decade ago, rewriting logic has attracted the interest of both theorists and practitioners, who have contributed in showing its generality as a semantic and logical framework and also as a programming paradigm. The experimentation conducted in these years has suggested that some significant extensions to the original definition of the logic would be very useful in practice. In particular, the Maude system now supports subsorting and conditions in the equational logic for data, and also frozen arguments to block undesired nested rewritings; moreover, it allows equality and membership assertions in rule conditions. In this paper, we give a detailed presentation of the inference rules, model theory, and completeness of such generalized rewrite theories

No abstract

No abstract

BackgroundOver the past 20 years, Hepatitis A notifications in Italy have been in decline. Since the beginning of 2013 however, Italy has been experiencing a foodborne hepatitis A outbreak caused by genotype IA, involving hundreds of cases. Consumption of frozen mixed berries was deemed the potential vehicle of infection.We aimed to investigate the spread of hepatitis A virus (HAV) in Italy through the monitoring of urban sewages collected at Wastewater Treatment Plants (WTPs) and a subsequent comparison of environmental surveillance data with data from the clinical surveillance performed during the epidemic.MethodsThe study covered 15 months, from July 2012 to September 2013, comprising the outbreak and the preceding six months. Environmental surveillance consisted of the analysis of urban sewage samples collected at 19 WTPs in seven of the Italian regions most affected by the epidemic. HAV isolates were detected and typed using a nested RT-PCR targeting the VP1/2A junction. Parallel clinical surveillance was performed by the sentinel surveillance system for acute viral hepatitis (SEIEVA) and by the ministerial Central Task Force on Hepatitis A, established with the purpose of determining the source of the outbreak and adopting appropriate outbreak control strategies.ResultsA total of 38/157 wastewater samples (24.2%) were positive for HAV, 16 collected in 2012 and 22 in 2013. Several HAV strains were detected, including the IA variant implicated in the outbreak and isolated from clinical cases over the same period. The vast majority of sequences belonged to genotype IB. Interestingly however, although these included variants related to strains that had been involved in past Italian epidemics, none were detected in recent clinical samples, probably due to underreporting or asymptomatic circulation. Conversely, a number of sequences were identified in clinical samples that were not found in wastewaters.ConclusionsThe percentage of sewage samples detected as HAV-positive in this study are consistent with the classification of Italy as a country with low/intermediate endemicity. A combined environmental/clinical surveillance is able to provide a more complete picture of the spread of HAV and of the genotypes circulating in the population, allowing a better understanding of changes in disease trends.Electronic supplementary materialThe online version of this article (doi:10.1186/1471-2334-14-419) contains supplementary material, which is available to authorized users.

BackgroundFoodborne Hepatitis A Virus (HAV) outbreaks are being recognized as an emerging public health problem in industrialized countries. In 2013 three foodborne HAV outbreaks occurred in Europe and one in USA. During the largest of the three European outbreaks, most cases occurred in Italy (>1,200 cases as of March 31, 2014). A national Task Force was established at the beginning of the outbreak by the Ministry of Health. Mixed frozen berries were early demonstrated to be the source of infection by the identity of viral sequences in patients and in food. In the present study the molecular characterization of HAV isolates from 355 Italian cases is reported.MethodsMolecular characterization was carried out by PCR/sequencing (VP1/2A region), comparison with reference strains and phylogenetic analysis.ResultsA unique strain was responsible for most characterized cases (235/355, 66.1%). Molecular data had a key role in tracing this outbreak, allowing 110 out of the 235 outbreak cases (46.8%) to be recognized in absence of any other link. The data also showed background circulation of further unrelated strains, both autochthonous and travel related, whose sequence comparison highlighted minor outbreaks and small clusters, most of them unrecognized on the basis of epidemiological data. Phylogenetic analysis showed most isolates from travel related cases clustering with reference strains originating from the same geographical area of travel.ConclusionsIn conclusion, the study documents, in a real outbreak context, the crucial role of molecular analysis in investigating an old but re-emerging pathogen. Improving the molecular knowledge of HAV strains, both autochthonous and circulating in countries from which potentially contaminated foods are imported, will become increasingly important to control outbreaks by supporting trace back activities, aiming to identify the geographical source(s) of contaminated food, as well as public health interventions.