Coordination of ECA Rules by Verification and Control

International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers

Three-dimensional conformation at the H19/Igf2 locus supports a model of enhancer tracking

Insight into how the mammalian genome is structured in vivo is key to understanding transcriptional regulation. This is especially true in complex domains in which genes are coordinately regulated by long-range interactions between cis-regulatory elements. The regulation of the H19/Igf2 imprinted region depends on the presence of several cis-acting sequences, including a methylation-sensitive insulator between Igf2 and H19 and shared enhancers downstream of H19. Each parental allele has a distinct expression pattern. We used chromosome conformation capture to assay the native three-dimensional organization of the H19/Igf2 locus on each parental copy. Furthermore, we compared wild-type chromosomes to several mutations that affect the insulator. Our results show that promoters and enhancers reproducibly co-localize at transcriptionally active genes, i.e. the endodermal enhancers contact the maternal H19 and the paternal Igf2 genes. The active insulator blocks traffic of the enhancers along the chromosome, restricting them to the H19 promoter. Conversely, the methylated inactive insulator allows the enhancers to contact the upstream regions, including Igf2. Mutations that either remove or inhibit insulator activity allow unrestricted access of the enhancers to the whole region. A mutation that allows establishment of an enhancer-blocker on the normally inactive paternal copy diminishes the contact of the enhancer with the Igf2 gene. Based on our results, we propose that physical proximity of cis-acting DNA elements is vital for their activity in vivo. We suggest that enhancers track along the chromosome until they find a suitable promoter sequence to interact with and that insulator elements block further tracking of enhancers

Distinct Methylation Changes at the IGF2-H19 Locus in Congenital Growth Disorders and Cancer

Background: Differentially methylated regions (DMRs) are associated with many imprinted genes. In mice methylation at a DMR upstream of the H19 gene known as the Imprint Control region (IC1) is acquired in the male germline and influences the methylation status of DMRs 100 kb away in the adjacent Insulin-like growth factor 2 (Igf2) gene through long-range interactions. In humans, germline-derived or post-zygotically acquired imprinting defects at IC1 are associated with aberrant activation or repression of IGF2, resulting in the congenital growth disorders Beckwith-Wiedemann (BWS) and Silver-Russell (SRS) syndromes, respectively. In Wilms tumour and colorectal cancer, biallelic expression of IGF2 has been observed in association with loss of methylation at a DMR in IGF2. This DMR, known as DMR0, has been shown to be methylated on the silent maternal IGF2 allele presumably with a role in repression. The effect of IGF2 DMR0 methylation changes in the aetiology of BWS or SRS is unknown. Methodology/Principal Findings: We analysed the methylation status of the DMR0 in BWS, SRS and Wilms tumour patients by conventional bisulphite sequencing and pyrosequencing. We show here that, contrary to previous reports, the IGF2 DMR0 is actually methylated on the active paternal allele in peripheral blood and kidney. This is similar to the IC

Putative imprinted gene expression in uniparental bovine embryo models

Altered patterns of gene expression and the imprinted status of genes have a profound effect on cell physiology and can markedly alter embryonic and fetal development. Failure to maintain correct imprinting patterns can lead to abnormal growth and behavioural problems, or to early pregnancy loss. Recently, it has been reported that the Igf2R and Grb10 genes are biallelically expressed in sheep blastocysts, but monoallelically expressed at Day 21 of development. The present study investigated the imprinting status of 17 genes in in vivo, parthenogenetic and androgenetic bovine blastocysts in order to determine the prevalence of this unique phenomenon. Specifically, the putatively imprinted genes Ata3, Impact, L3Mbtl, Magel2, Mkrn3, Peg3, Snrpn, Ube3a and Zac1 were investigated for the first time in bovine in vitro fertilised embryos. Ata3 was the only gene not detected. The results of the present study revealed that all genes, except Xist, failed to display monoallelic expression patterns in bovine embryos and support recent results reported for ovine embryos. Collectively, the data suggest that monoallelic expression may not be required for most imprinted genes during preimplantation development, especially in ruminants. The research also suggests that monoallelic expression of genes may develop in a gene- and time-dependent manner

Overexpression of Human and Fly Frataxins in Drosophila Provokes Deleterious Effects at Biochemical, Physiological and Developmental Levels

10 pages, 5 figures. 21779322[PubMed] PMCID: PMC3136927BACKGROUND: Friedreich's ataxia (FA), the most frequent form of inherited ataxias in the Caucasian population, is caused by a reduced expression of frataxin, a highly conserved protein. Model organisms have contributed greatly in the efforts to decipher the function of frataxin; however, the precise function of this protein remains elusive. Overexpression studies are a useful approach to investigate the mechanistic actions of frataxin; however, the existing literature reports contradictory results. To further investigate the effect of frataxin overexpression, we analyzed the consequences of overexpressing human (FXN) and fly (FH) frataxins in Drosophila. METHODOLOGY/PRINCIPAL FINDINGS: We obtained transgenic flies that overexpressed human or fly frataxins in a general pattern and in different tissues using the UAS-GAL4 system. For both frataxins, we observed deleterious effects at the biochemical, histological and behavioral levels. Oxidative stress is a relevant factor in the frataxin overexpression phenotypes. Systemic frataxin overexpression reduces Drosophila viability and impairs the normal embryonic development of muscle and the peripheral nervous system. A reduction in the level of aconitase activity and a decrease in the level of NDUF3 were also observed in the transgenic flies that overexpressed frataxin. Frataxin overexpression in the nervous system reduces life span, impairs locomotor ability and causes brain degeneration. Frataxin aggregation and a misfolding of this protein have been shown not to be the mechanism that is responsible for the phenotypes that have been observed. Nevertheless, the expression of human frataxin rescues the aconitase activity in the fh knockdown mutant. CONCLUSION/SIGNIFICANCE: Our results provide in vivo evidence of a functional equivalence for human and fly frataxins and indicate that the control of frataxin expression is important for treatments that aim to increase frataxin levels.This work was supported by grants from Fondo Investigaciones Sanitarias (ISCIII06- PI0677) and La Fundació la Marató TV3 (exp 101932) of Spain. JVL is supported by the European Friedreich's Ataxia Consortium for Translational Studies. SS is a recipient of a fellowship from Ministerio de Ciencia e Innovación of Spain.Peer reviewe

Genes flanking Xist in mouse and human are separated on the X chromosome in American marsupials

X inactivation, the transcriptional silencing of one of the two X chromosomes in female mammals, achieves dosage compensation of X-linked genes relative to XY males. In eutherian mammals X inactivation is regulated by the X-inactive specific transcript (Xist), a cis-acting non-coding RNA that triggers silencing of the chromosome from which it is transcribed. Marsupial mammals also undergo X inactivation but the mechanism is relatively poorly understood. We set out to analyse the X chromosome in Monodelphis domestica and Didelphis virginiana, focusing on characterizing the interval defined by the Chic1 and Slc16a2 genes that in eutherians flank the Xist locus. The synteny of this region is retained on chicken chromosome 4 where other loci belonging to the evolutionarily ancient stratum of the human X chromosome, the so-called X conserved region (XCR), are also located. We show that in both M. domestica and D. virginiana an evolutionary breakpoint has separated the Chic1 and Slc16a2 loci. Detailed analysis of opossum genomic sequences revealed linkage of Chic1 with the Lnx3 gene, recently proposed to be the evolutionary precursor of Xist, and Fip1, the evolutionary precursor of Tsx, a gene located immediately downstream of Xist in eutherians. We discuss these findings in relation to the evolution of Xist and X inactivation in mammals

Clinical and Functional Characterization of a Patient Carrying a Compound Heterozygous Pericentrin Mutation and a Heterozygous IGF1 Receptor Mutation

Intrauterine and postnatal longitudinal growth is controlled by a strong genetic component that regulates a complex network of endocrine factors integrating them with cellular proliferation, differentiation and apoptotic processes in target tissues, particularly the growth centers of the long bones. Here we report on a patient born small for gestational age (SGA) with severe, proportionate postnatal growth retardation, discreet signs of skeletal dysplasia, microcephaly and moyamoya disease. Initial genetic evaluation revealed a novel heterozygous IGF1R p.Leu1361Arg mutation affecting a highly conserved residue with the insulin-like growth factor type 1 receptor suggestive for a disturbance within the somatotropic axis. However, because the mutation did not co-segregate with the phenotype and functional characterization did not reveal an obvious impairment of the ligand depending major IGF1R signaling capabilities a second-site mutation was assumed. Mutational screening of components of the somatotropic axis, constituents of the IGF signaling system and factors involved in cellular proliferation, which are described or suggested to provoke syndromic dwarfism phenotypes, was performed. Two compound heterozygous PCNT mutations (p.[Arg585X];[Glu1774X]) were identified leading to the specification of the diagnosis to MOPD II. These investigations underline the need for careful assessment of all available information to derive a firm diagnosis from a sequence aberration

Impact of DNA methylation on trophoblast function

The influence of epigenetics is evident in many fields of medicine today. This is also true in placentology, where versatile epigenetic mechanisms that regulate expression of genes have shown to have important influence on trophoblast implantation and placentation. Such gene regulation can be established in different ways and on different molecular levels, the most common being the DNA methylation. DNA methylation has been shown today as an important predictive component in assessing clinical prognosis of certain malignant tumors; in addition, it opens up new possibilities for non-invasive prenatal diagnosis utilizing cell-free fetal DNA methods. By using a well known demethylating agent 5-azacytidine in pregnant rat model, we have been able to change gene expression and, consequently, the processes of trophoblast differentiation and placental development. In this review, we describe how changes in gene methylation effect trophoblast development and placentation and offer our perspective on use of trophoblast epigenetic research for better understanding of not only placenta development but cancer cell growth and invasion as well

A Non-Coding RNA Within the Rasgrf1 Locus in Mouse Is Imprinted and Regulated by Its Homologous Chromosome in Trans

BACKGROUND: Rasgrf1 is imprinted in mouse, displaying paternal allele specific expression in neonatal brain. Paternal expression is accompanied by paternal-specific DNA methylation at a differentially methylated domain (DMD) within the locus. The cis-acting elements necessary for Rasgrf1 imprinting are known. A series of tandem DNA repeats control methylation of the adjacent DMD, which is a methylation sensitive enhancer-blocking element. These two sequences constitute a binary switch that controls imprinting and represents the Imprinting Control Region (ICR). One paternally transmitted mutation, which helped define the ICR, induced paramutation, in trans, on the maternal allele. Like many imprinted genes, Rasgrf1 lies within an imprinted cluster. One of four noncoding transcripts in the cluster, AK015891, is known to be imprinted. METHODOLOGY/PRINCIPAL FINDINGS: Here we demonstrate that an additional noncoding RNA, AK029869, is imprinted and paternally expressed in brain throughout development. Intriguingly, any of several maternally inherited ICR mutations affected expression of the paternal AK029869 transcript in trans. Furthermore, we found that the ICR mutations exert different trans effects on AK029869 at different developmental times. CONCLUSIONS/SIGNIFICANCE: Few trans effects have been defined in mammals and, those that exist, do not show the great variation seen at the Rasgrf1 imprinted domain, either in terms of the large number of mutations that produce the effects or the range of phenotypes that emerge when they are seen. These results suggest that trans regulation of gene expression may be more common than originally appreciated and that where trans regulation occurs it can change dynamically during development

IFT Proteins Accumulate during Cell Division and Localize to the Cleavage Furrow in Chlamydomonas

Intraflagellar transport (IFT) proteins are well established as conserved mediators of flagellum/cilium assembly and disassembly. However, data has begun to accumulate in support of IFT protein involvement in other processes elsewhere in the cell. Here, we used synchronous cultures of Chlamydomonas to investigate the temporal patterns of accumulation and localization of IFT proteins during the cell cycle. Their mRNAs showed periodic expression that peaked during S and M phase (S/M). Unlike most proteins that are synthesized continuously during G1 phase, IFT27 and IFT46 levels were found to increase only during S/M phase. During cell division, IFT27, IFT46, IFT72, and IFT139 re-localized from the flagella and basal bodies to the cleavage furrow. IFT27 was further shown to be associated with membrane vesicles in this region. This localization pattern suggests a role for IFT in cell division