Translating model simulators to analysis models

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-78743-3_6Proceedings of 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008.We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets.Work sponsored by the Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06

Gastric Helicobacter infection induces iron deficiency in the INS-GAS mouse

There is increasing evidence from clinical and population studies for a role of H. pylori infection in the aetiology of iron deficiency. Rodent models of Helicobacter infection are helpful for investigating any causal links and mechanisms of iron deficiency in the host. The aim of this study was to investigate the effects of gastric Helicobacter infection on iron deficiency and host iron metabolism/transport gene expression in hypergastrinemic INS-GAS mice. INS-GAS mice were infected with Helicobacter felis for 3, 6 and 9 months. At post mortem, blood was taken for assessment of iron status and gastric mucosa for pathology, immunohistology and analysis of gene expression. Chronic Helicobacter infection of INS- GAS mice resulted in decreased serum iron, transferrin saturation and hypoferritinemia and increased Total iron binding capacity (TIBC). Decreased serum iron concentrations were associated with a concomitant reduction in the number of parietal cells, strengthening the association between hypochlorhydria and gastric Helicobacter-induced iron deficiency. Infection with H. felis for nine months was associated with decreased gastric expression of iron metabolism regulators hepcidin, Bmp4 and Bmp6 but increased expression of Ferroportin 1, the iron efflux protein, iron absorption genes such as Divalent metal transporter 1, Transferrin receptor 1 and also Lcn2 a siderophore-binding protein. The INS-GAS mouse is therefore a useful model for studying Helicobacter-induced iron deficiency. Furthermore, the marked changes in expression of gastric iron transporters following Helicobacter infection may be relevant to the more rapid development of carcinogenesis in the Helicobacter infected INS-GAS model

Netazepide inhibits expression of Pappalysin 2 in type-1 gastric neuroendocrine tumors

Background & Aims: In patients with autoimmune atrophic gastritis and achlorhydria, hypergastrinemia is associated with the development of type 1 gastric neuroendocrine tumors (gNETs). Twelve months of treatment with netazepide (YF476), an antagonist of the cholecystokinin B receptor (CCKBR or CCK2R), eradicated some type 1 gNETs in patients. We investigated the mechanisms by which netazepide induced gNET regression using gene expression profiling. Methods: We obtained serum samples and gastric corpus biopsy specimens from 8 patients with hypergastrinemia and type 1 gNETs enrolled in a phase 2 trial of netazepide. Control samples were obtained from 10 patients without gastric cancer. We used amplified and biotinylated sense-strand DNA targets from total RNA and Affymetrix (Thermofisher Scientific, UK) Human Gene 2.0 ST microarrays to identify differentially expressed genes in stomach tissues from patients with type 1 gNETs before, during, and after netazepide treatment. Findings were validated in a human AGS GR gastric adenocarcinoma cell line that stably expresses human CCK2R, primary mouse gastroids, transgenic hypergastrinemic INS-GAS mice, and patient samples. Results: Levels of pappalysin 2 (PAPPA2) messenger RNA were reduced significantly in gNET tissues from patients receiving netazepide therapy compared with tissues collected before therapy. PAPPA2 is a metalloproteinase that increases the bioavailability of insulin-like growth factor (IGF) by cleaving IGF binding proteins (IGFBPs). PAPPA2 expression was increased in the gastric corpus of patients with type 1 gNETs, and immunohistochemistry showed localization in the same vicinity as CCK2R-expressing enterochromaffin-like cells. Up-regulation of PAPPA2 also was found in the stomachs of INS-GAS mice. Gastrin increased PAPPA2 expression with time and in a dose-dependent manner in gastric AGS GR cells and mouse gastroids by activating CCK2R. Knockdown of PAPPA2 in AGS GR cells with small interfering RNAs significantly decreased their migratory response and tissue remodeling in response to gastrin. Gastrin altered the expression and cleavage of IGFBP3 and IGFBP5. Conclusions: In an analysis of human gNETS and mice, we found that gastrin up-regulates the expression of gastric PAPPA2. Increased PAPPA2 alters IGF bioavailability, cell migration, and tissue remodeling, which are involved in type 1 gNET development. These effects are inhibited by netazepide

Gastrin-induced miR-222 promotes gastric tumor development by suppressing p27kip1

Background and aims Elevated circulating concentrations of the hormone gastrin contribute to the development of gastric adenocarcinoma and types-1 and 2 gastric neuroendocrine tumors (NETs). MicroRNAs (miRNAs) are small non-coding RNAs that post-transcriptionally regulate proteins which in turn influence various biological processes. We hypothesised that gastrin induces the expression of specific gastric miRNAs within CCK2 receptor (CCK2R) expressing cells and that these mediate functionally important actions of gastrin.Results Gastrin increased miR-222 expression in AGSGR cells, with maximum changes observed at 10 nM G17 for 24 h. Signalling occurred via CCK2R and the PKC and PI3K pathways. miR-222 expression was increased in the serum and gastric corpus mucosa of hypergastrinemic INS-GAS mice and hypergastrinemic patients with autoimmune atrophic gastritis and type 1 gastric NETs; it decreased in patients following treatment with the CCK2R antagonist netazepide (YF476). Gastrin-induced miR-222 overexpression resulted in reduced expression and cytoplasmic mislocalisation of p27kip1, which in turn caused actin remodelling and increased migration in AGSGR cells. Materials and methods miRNA PCR arrays were used to identify changes in miRNA expression following G17 treatment of human gastric adenocarcinoma cells stably transfected with CCK2R (AGSGR). miR-222 was further investigated using primer assays and samples from hypergastrinemic mice and humans. Chemically synthesised mimics and inhibitors were used to assess cellular phenotypical changes associated with miR-222 dysregulation.Conclusions These data indicate a novel mechanism contributing to gastrin-associated gastric tumor development. miR-222 may also be a promising biomarker for monitoring gastrin induced premalignant changes in the stomach

KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons

Cholecystokinin-expressing interneurons (CCK-INs) mediate behavior state-dependent inhibition in cortical circuits and themselves receive strong GABAergic input. However, it remains unclear to what extent GABAB receptors (GABABRs) contribute to their inhibitory control. Using immunoelectron microscopy, we found that CCK-INs in the rat hippocampus possessed high levels of dendritic GABABRs and KCTD12 auxiliary proteins, whereas postsynaptic effector Kir3 channels were present at lower levels. Consistently, whole-cell recordings revealed slow GABABR-mediated inhibitory postsynaptic currents (IPSCs) in most CCK-INs. In spite of the higher surface density of GABABRs in CCK-INs than in CA1 principal cells, the amplitudes of IPSCs were comparable, suggesting that the expression of Kir3 channels is the limiting factor for the GABABR currents in these INs. Morphological analysis showed that CCK-INs were diverse, comprising perisomatic-targeting basket cells (BCs), as well as dendrite-targeting (DT) interneurons, including a previously undescribed DT type. GABABR-mediated IPSCs in CCK-INs were large in BCs, but small in DT subtypes. In response to prolonged activation, GABABR-mediated currents displayed strong desensitization, which was absent in KCTD12-deficient mice. This study highlights that GABABRs differentially control CCK-IN subtypes, and the kinetics and desensitization of GABABR-mediated currents are modulated by KCTD12 proteins

Tomographic Probability Representation for States of Charge moving in Varying Field

The coherent and Fock states of a charge moving in varying homogeneous magnetic field are studied in the tomographic probability representation of quantum mechanics. The states are expressed in terms of quantum tomograms. The coherent states tomograms are shown to be described by normal distributions with varying dispersions and means. The Fock state tomograms are given in the form of probability distributions described by multivariable Hermite polynomials with time-dependent arguments.Comment: 12 pages, submitted to "Optics and Spectroscopy