MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

The upper Paleozoic miospore genus Spelaeotriletes Neves and Owens, 1966, and constituent Gondwanan species

The upper Paleozoic miospore genus Spelaeotriletes Neves and Owens, 1966 is reviewed as a morpho-taxonomic entity and vis-a-vis other similarly constructed (pseudosaccate) genera - Geminospora Balme, 1962, Grandispora Hoffmeister, Staplin, and Malloy, 1955, Rhabdosporites Richardson, 1960, and Retispora Staplin, 1960. Detailed studies of numerous, mainly topotype specimens of Spelaeotriletes ybertii (Marques-Toigo, 1970) Playford and Powis, 1979 from the Lower Permian of Uruguay result in its re-diagnosis, in conjunction with a survey of its exclusively Gondwanan occurrences, particularly in South American strata extending from the Upper Carboniferous (Westphalian) into the Lower Permian, and also in Australian strata of approximately equivalent age. The characteristics of other species of Spelaeotriletes reported from upper Paleozoic deposits of Gondwana are discussed, as are their temporal representations in various broad regions of the supercontinent (South America, North Africa, Australia). These species include two, perhaps three, that, like Spelaeotriletes triangulus/arenaceus, are known also from Euramerica - S. balteatus (Playford, 1963) Higgs, 1996, S. pretiosus (Playford, 1964) Utting, 1987, and possibly S. owensii Loboziak and Alpern, 1978. Other species, such as S. benghaziensis Loboziak and Clayton, 1988, S. giganteus Loboziak and Clayton, 1988, and S. vibrissus Playford and Satterthwait, 1988, have, on present knowledge, exclusively Gondwanan occurrences. S. queenslandensis Jones and Truswell. 1992, known only from Upper Carboniferous strata of northeastern Australia, is formally reassigned on sculptural grounds to Grandispora. Not unexpectedly in a paleogeographic perspective, North Africa and South America are more closely allied with each other than with Australia in terms of shared species of Spelaeotriletes. (C) 2001 Elsevier Science Ltd. All rights reserved.

X-linked neonatal diabetes mellitus, enteropathy and endocrinopathy syndrome is the human equivalent of mouse scurfy

To determine whether human X-linked neonatal diabetes mellitus, enteropathy and endocrinopathy syndrome (IPEX; MIM 304930) is the genetic equivalent of the scurfy (sf) mouse, we sequenced the human ortholog (FOXP3) of the gene mutated in scurfy mice (Foxp3), in IPEX patients. We found four non-polymorphic mutations. Each mutation affects the forkhead/winged-helix domain of the scurfin protein, indicating that the mutations may disrupt critical DNA interactions.

The chemistry and biological effects of malondialdehyde-acetaldehyde adducts

This article represents the proceedings of a workshop at the 2000 ISBRA Meeting in Yokohama, Japan. The chairs were Geoffrey M. Thiele and Simon Worrall. The presentations were (1) The chemistry of malondialdehyde-acetaldehyde (MAA) adducts, by Dean J. Tuma; (2) The formation and clearance of MAA adducts in ethanol-fed rats, by Simon Worrall; (3) Immune responses to MAA adducts may play a role in the development of alcoholic liver disease, by Lynell W. Klassen; (4) Unique biological responses to MAA-modifled proteins that may play a role in the development and/or progression of alcoholic liver disease, by Geoffrey M. Thiele; (5) MAA-adducted bovine serum albumin activates protein kinase C and stimulates interleukin-8 release in bovine bronchial epithelial cells, by Todd A. Wyatt; and (6) An enzyme immune assay for serum antiacetaldehyde adduct antibody using low-density lipoprotein-adduct and its significance in alcoholic liver injury and ALDH2 heterozygotes, by Naruhiko Nagata.

Elucidation of reaction scheme describing malondialdehyde-acetaldehyde-protein adduct formation

Malondialdehyde and acetaldehyde react together with proteins and form hybrid protein conjugates designated as MAA adducts, which have been detected in livers of ethanol-fed animals. Our previous studies have shown that MAA adducts are comprised of two distinct products. One adduct is composed of two molecules of malondialdehyde and one molecule of acetaldehyde and was identified as the 4-methpl-1,4-dihydropyridine-3,5-dicarbaldehyde derivative of an amino group (MHHDC adduct). The other adduct is a 1:1 adduct of malondialdehyde and acetaldehyde and was identified as the 2-formyl-3-(alkylamino)butanal derivative of an amino group (FAAB adduct). In this study, information on the mechanism of MAA adduct formation was obtained, focusing on whether the FAAB adduct serves as a precursor for the MDHDC adduct. Upon the basis of chemical analysis and NMR spectroscopy, two initial reaction steps appear to be a prerequisite for MDHDC formation. One step involves the reaction of one molecule of malondialdehyde and one of acetaldehyde with an amino group of a protein to form the FAAB product, while the other step involves the generation of a malondialdehyde-enamine. It appears that generation of the MDHDC adduct requires the FAAB moiety to be transferred to the nitrogen of the MDA-enamine. For efficient reaction of FAAB with the enamine to take place, additional experiments indicated that these two intermediates likely must be in positions on the protein of close proximity to each other. Further studies showed that the incubation of liver proteins from ethanol-fed rats with MDA resulted in a marked generation of MDHDC adducts, indicating the presence of a pool of FAAB adducts in the liver of ethanol-fed animals. Overall, these findings show that MDHDC-protein adduct formation occurs via the reaction of the FAAB moiety with a malondialdehyde-enamine, and further suggest that a similar mechanism may be operative in vivo in the liver during prolonged ethanol consumption.

Skin flaps

Skin flaps are useful where a lesion cannot be removed by simple excision without excessive tension being placed on the wound or surrounding tissues may be distorted. The H-flap and the island advancement flap are described. (non-author abstract)

X-ray scattering studies of mixed langmuir monolayers and Langmuir-Blodgett films of a noncentrosymmetric porphyrin with cadmium arachidate

The structures of mixed Langmuir (floating) monolayers and Langmuir-Blodgett (LB) films of a phenanthroline-porphyrin with cadmium arachidate (PhenPor + CdAr) have been investigated by synchrotron X-ray grazing incidence diffraction (GIXD) and specular X-ray reflectivity (SXR). GIXD measurements of the floating monolayers showed only one peak, arising from the CdAr domains in the films, at a scattering angle of 21.5 degrees. This is consistent with a hexagonal structure (alpha = 4.77 Angstrom). The correlation length in these domains is 250 Angstrom. GMD measurements of the LB films, however, show two sets of diffraction features: one arises from CdAr domains with a rectangular in-plane structure (alpha = 7.44 Angstrom and b = 4.90 Angstrom) and a correlation length of 85 Angstrom; the other is from porphyrin domains with an oblique in-plane structure (alpha (p) 15.2 Angstrom, b(p) = 8.86 Angstrom, and gamma (p) = 80 degrees) and a correlation length of 105 Angstrom. These dimensions are consistent with the surface pressure-area isotherm measurements and indicate that the two components are immiscible. The thickness of the bilayer is 57 Angstrom, and there is no correlation between the bilayers. Introduction of a trigger compound does not alter the structure of the films but slightly increases the bilayer thickness. The SXR measurements of the floating monolayers also support the suggested immiscibility of the two components in the films.

Molecular Lego (R): non-centrosymmetric alignment within interdigitating layers

(E)-N-Hexadecyl-4-[2-(4-octadecyloxynaphthyl) ethenyl] quinolinium bromide, which has a wide-bodied chromophore and terminal n-alkyl groups, adopts a U-shape when spread at the air-water interface but a stretched conformation when compressed to ca. 35 mN m(-1). The high-pressure phase has a narrow stability range prior to collapse but may be extended from 40 to 60 mN m(-1) by co-spreading the dye in a 1 : 1 ratio with docosanoic acid. The mixed Langmuir-Blodgett (LB) film has a monolayer thickness of 4.6 +/- 0.2 nm which decreases to 2.5 +/- 0.1 nm layer(-1) in the bulk, the reduction arising from an interdigitating layer arrangement, both top and bottom. It is the first example of LB-Lego(R) and, in addition, represents the only fully interdigitating structure with non-centrosymmetrically aligned chromophores. They are tilted 38 degrees from the substrate normal. The second-harmonic intensity increases quadratically with the number of layers, i.e. as I-(N)(2 omega) = (I(1)N2)-N-2 omega, with a second-order susceptibility of chi ((2))(zzz) = 30 pm V-1 at 1064 nm for refractive indices of n(omega) = 1.55 and n(2 omega) = 1.73, d = 2.5 nm layer(-1) and phi = 38 degrees. Angle resolved X-ray photoelectron spectra (XPS) of these films provide no evidence of the bromide counterion, which suggests that it is replaced by OH 2 or HCO3-, which occur naturally in the aqueous subphase, or C21H43COO- from the co-deposited fatty acid. This probably applies to all cationic dyes deposited by the LB technique.

First report of the cyanotoxins cylindrospermopsin and deoxycylindrospermopsin from Raphidiopsis curvata (Cyantobacteria)

A strain of Raphidiopsis (Cyanobacteria) isolated from a fish pond in Wuhan, P. R. China was examined for its taxonomy and production of the alkaloidal hepatotoxins cylindrospermopsin (CYN) and deoxy-cylindrospermopsin (deoxy-CYN). Strain HB1 was identified as R. curvata Fritsch et Rich based on morphological examination of the laboratory culture. HB1 produced mainly deoxy-CYN at a concentration of 1.3 mg(.)g(-1) (dry ut cells) by HPLC and HPLC-MS/MS. CYN was also detected in trace amounts (0.56 mug(.)g(-1)). A mouse bioassay did not show lethal toxicity when tested at doses up to 1500 mg dry weight cells(.)kg(-1) body weight within 96 h, demonstrating that production of primarily deoxy CYN does not lead to significant mouse toxicity by strain BB I. The presence of deoxy-CYN and CYN in R curvata suggests that Raphidiopsis belongs to the Nostocaceae, but this requires confirmation by molecular systematic studies. Production of these cyanotoxins by Raphidiopsis adds another genus, in addition to Cylindrospemopsis, Aphanizomenon, and Umezakia, now known to produce this group of hepatotoxic cyanotoxins. This is also the first report from China of a CYN and deoxy-CYN producing cyanobacterium.

MRI based diffusion and perfusion predictive model to estimate stroke evolution

In this study we present a novel automated strategy for predicting infarct evolution, based on MR diffusion and perfusion images acquired in the acute stage of stroke. The validity of this methodology was tested on novel patient data including data acquired from an independent stroke clinic. Regions-of-interest (ROIs) defining the initial diffusion lesion and tissue with abnormal hemodynamic function as defined by the mean transit time (MTT) abnormality were automatically extracted from DWI/PI maps. Quantitative measures of cerebral blood flow (CBF) and volume (CBV) along with ratio measures defined relative to the contralateral hemisphere (r(a)CBF and r(a)CBV) were calculated for the MTT ROIs. A parametric normal classifier algorithm incorporating these measures was used to predict infarct growth. The mean r(a)CBF and r(a)CBV values for eventually infarcted MTT tissue were 0.70 +/-0.19 and 1.20 +/-0.36. For recovered tissue the mean values were 0.99 +/-0.25 and 1.87 +/-0.71, respectively. There was a significant difference between these two regions for both measures (P

Cloning and gastrointestinal expression of rat hephaestin: relationship to other iron transport proteins

The membrane-bound ceruloplasmin homolog hephaestin plays a critical role in intestinal iron absorption. The aims of this study were to clone the rat hephaestin gene and to examine its expression in the gastrointestinal tract in relation to other genes encoding iron transport proteins. The rat hephaestin gene was isolated from intestinal mRNA and was found to encode a protein 96% identical to mouse hephaestin. Analysis by ribonuclease protection assay and Western blotting showed that hephaestin was expressed at high levels throughout the small intestine and colon. Immunofluorescence localized the hephaestin protein to the mature villus enterocytes with little or no expression in the crypts. Variations in iron status had a small but nonsignificant effect on hephaestin expression in the duodenum. The high sequence conservation between rat and mouse hephaestin is consistent with this protein playing a central role in intestinal iron absorption, although its precise function remains to be determined.

Increased susceptibility to streptozotocin-induced beta-cell apoptosis and delayed autoimmune diabetes in alkylpurine-DNA-N-glycosylase-deficient mice

Type I diabetes is thought to occur as a result of the loss of insulin-producing pancreatic beta cells by an environmentally triggered autoimmune reaction. In rodent models of diabetes, streptozotocin (STZ), a genotoxic methylating agent that is targeted to the beta cells, is used to trigger the initial cell death. High single doses of STZ cause extensive beta -cell necrosis, while multiple low doses induce limited apoptosis, which elicits an autoimmune reaction that eliminates the remaining cells. We now show that in mice lacking the DNA repair enzyme alkylpurine-DNA-N-glycosylase (APNG), beta -cell necrosis was markedly attenuated after a single dose of STZ. This is most probably due to the reduction in the frequency of base excision repair-induced strand breaks and the consequent activation of poly(ADP-ribose) polymerase (PARP), which results in catastrophic ATP depletion and cell necrosis. Indeed, PARP activity was not induced in A-PNG(-/-) islet cells following treatment with STZ in vitro. However, 48 h after STZ treatment, there was a peak of apoptosis in the beta cells of APNG(-/-) mice. Apoptosis was not observed in PARP-inhibited APNG(+/+) mice, suggesting that apoptotic pathways are activated in the absence of significant numbers of DNA strand breaks. Interestingly, STZ-treated APNG(-/-) mice succumbed to diabetes 8 months after treatment, in contrast to previous work with PARP inhibitors, where a high incidence of beta -cell tumors was observed. In the multiple-low-dose model, STZ induced diabetes in both APNG(-/-) and APNG(-/-) mice; however, the initial peak of apoptosis was 2.5-fold greater in the APNG(-/-) mice. We conclude that APNG substrates are diabetogenic but by different mechanisms according to the status of APNG activity.

Gonad development: Signals for sex

The formation of testes or ovaries in the mammalian embryo is critical in determining sexual identity and the ability to reproduce. Recent studies have begun to illuminate the cellular signalling events required for development of functional testes. (C) 2001 Elsevier Science Ltd. All rights reserved.