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.

Performance of techniques used for re-attachment of endodontically treated crown fractured teeth

Objectives: The aim of this study was to compare the fracture strength of three techniques used to re-attach tooth fragments in sound and endodontically treated fractured teeth with or without fiber post placement. Material and methods: Ninety human lower incisors were randomly divided into three groups of 30 teeth each. In group A teeth were not subjected to endodontic treatment; while teeth from groups B and C were endodontically treated and the pulp chamber restored with a composite resin. All teeth were fractured by an axial load applied to the buccal area in order to obtain tooth fragments. Teeth from each group were then divided into three subgroups, according to the re-attachment technique: bonded-only, buccal-chamfer and circumferential chamfer. Before the re-attachment procedures, fiber posts were placed in teeth from group C using dual cure resin luting cement (Duo-Link). All teeth (groups A-C) had the fragments re-attached using a same dual cure resin luting cement. in the bonded-only group, no additional preparation was made. After re-attachment of the fragment, teeth from groups buccal and circumferential chamfer groups had a 1.0 mm depth chamfer placed in the fracture line either on buccal surfaceor along the buccal and lingual surfaces, respectively. increments of microhybid composite resin (Tetric Ceram) were used in subgroups buccal chamfer and circumferential chamfer to restore the chamfer. The specimens were loaded until fracture in the same pre-determined area. The force required to detach each fragment was recorded and the data was subjected to a three-way analysis of variance where factors Group and Re-attachment technique are independent measures and Time of fracture is a repeated measure factor (first and second) and Tukey`s test (alpha = 0.05). Results: The main factors Re-attachment technique (p = 0.04) and Time of fracture (p = 0.02) were statistically significant. The buccal and circumferential chamfer techniques were statistically similar (p > 0.05) and superior to the bonded-only group (p < 0.05). The first time of fracture was statistically superior to second time of fracture (p < 0.001). Conclusions: The use of fiber post is not necessary for the reinforcement of the tooth structure in re-attachment of endodontically treated teeth. When bonding a fractured fragment, the buccal or circumferential re-attachment techniques should be preferable in comparison with the simple re-attachment without any additional preparation. None of the techniques used for re-attachment restored the fracture strength of the intact teeth. (C) 2008 Elsevier Ltd. All rights reserved.

Warthin Tumor of the Upper Lip: An Unusual Location of a Benign Salivary Gland Tumor

Warthin tumor (papillary cystadenoma lymphomatosum) is a benign salivary gland tumor involving almost exclusively the parotid gland. The lip is a very unusual location for this type of tumor, which develops only rarely in minor salivary glands. The case of 42-year-old woman with Warthin tumor arising in minor salivary glands of the upper lip is reported.

Recent advances in our knowledge of the Myxozoa

In the last few years two factors have helped to significantly advance our understanding of the Myxozoa. First, the phenomenal increase in fin fish aquaculture in the 1990s has lead to the increased importance of these parasites; in rum this has lead to intensified research efforts, which have increased knowledge of the development, diagnosis, and pathogenesis of myxozoans. The hallmark discovery in the 1980s that the life cycle of Myxobolus cerebralis requires development of an actinosporean stage in the Oligochaete. Tubifex tubifex, led to the elucidation of the life cycles of several other myxozoans. Also, the life cycle and taxonomy of the enigmatic PKX myxozoan has been resolved: it is the alternate stage of the unusual myxozoan. Tetracapsula bryosalmonae, from bryozoans. The 18S rDNA gene of many species has been sequenced, and here we add 22 new sequences to the data set. Phylogenetic analyses using all these sequences indicate that: 1) the Myxozoa are closely related to Cnidaria (also supported by morphological data), 2) marine taxa at the genus level branch separately from genera that usually infect freshwater fishes; 3) taxa cluster more by development and tissue location than by spore morphology; 4) the tetracapsulids branched off early in myxozoan evolution, perhaps reflected by their having bryozoan. rather than annelid hosts; 5) the morphology of actinosporeans offers little information for determining their myxosporean counterparts (assuming that they exist), and 6) the marine actinosporeans from Australia appear to form a clade within the platysporinid myxosporeans. Ribosomal DNA sequences have also enabled development of diagnostic tests for myxozoans. PCR and in situ hybridisation tests based on rDNA sequences have been developed for Myxobolus cerebralis. Ceratomyxa shasta. Kudoa spp,, and Tetracapsula bryosalmonae (PKX). Lectin-based and antibody tests have also been developed for certain myxozoans, such as PKX and C. shasta. We also review important diseases caused by myxozoans. which are emerging or re-emerging. Epizootics of whirling disease in wild rainbow trout (Oncorhynchus mykiss) have recently been reported throughout the Rocky Mountain states of the USA. With a dramatic increase in aquaculture of fishes using marine netpens, several marine myxozoans have been recognized or elevated in status as pathological agents. Kudoa thyrsites infections have caused severe post-harvest myoliquefaction in pen-reared Atlantic salmon (Salmo salar), and Ceratomyxa spp., Sphaerospora spp., and Myxidium leei cause disease in pen-reared sea bass (Dicentrarchus labrax) and sea bream species (family Sparidae) in Mediterranean countries.

"They're scared of it": Intergroup determinants of attitudes toward children with HIV

The study used an intergroup perspective to explore teachers' willingness to teach children with HIV within mainstream education. One hundred thirty-eight teachers from 13 high schools across the United Kingdom participated in a survey. The results suggest that previous contact with an individual who was HIV positive (whether an adult or a child) was strongly associated with greater willingness to teach a child with HIV. However, this effect disappeared when intergroup anxiety, positive affect, and positive beliefs were included as covariates. There was little evidence that instrumental variables (i.e., relatively pragmatic concerns about infection) were associated with willingness to teach. Participants who had some contact reported lower fear of contagion from a child with HIV, but there was no evidence that this was associated with overall attitudes. The results are interpreted to suggest that interventions to reduce prejudice should not simply concentrate on improving knowledge about HIV transmission.

Transport of endosomal early antigen I in the rat sciatic nerve and location in cultured neurons

Early endosomal antigen I (EEAI) is known to be a marker of early endosomes and in cultured hippocampal neurons it preferentially localizes to the dendritic but not the axonal compartment. We show in cultured dorsal root ganglia and superior cervical ganglia neurons that EEAI localizes to the cell bodies and the neurites of both sensory and sympathetic neurons. We then show in vivo using a ligated rat sciatic nerve that EEAI significantly accumulates on the proximal side and not on the distal side of the ligation. This suggests that EEAI is transported in the anterograde direction in axons either as part of the homeostatic process or to the nerve ligation site in response to nerve injury. NeuroReport 12:281-284 (C) 2001 Lippincott Williams & Wilkins.

Re-evaluation of the cytokinin receptor role of the Arabidopsis gene GCR1

GCR1 has been tentatively identified in Arabidopsis thaliana as the first plant G-protein coupled receptor (GPCR) (Josefsson and Rask 1997) implicated in the cytokinin sensory pathway (Plakidou-Dymock et al. 1998). A protein fusion of GCR1 and green fluorescent protein has been expressed in Arabidopsis and shown GCR1 to be located on the plasma membrane. Studies of plants with altered GCR1 expression have led us to question GCR1's involvement in cytokinin signaling. Transgenic Arabidopsis plants containing sense and antisense constructs for GCR1 have been produced and over- and under-expression confirmed. The analysis of 12 antisense and 17 sense lines has failed to reveal the previously reported Dainty phenotype or altered cytokinin sensitivity. We have used the Gauntlet approach to test the plants' response to various plant hormones although this has not yet identified a mutant phenotype. The yeast-two hybrid system has been used and so far there is no evidence to suggest GCR1 interacts with heterotrimeric G proteins. Before GCR1 can be identified as genuine G-protein coupled receptor, the identification of a ligand and a proof of association with heterotrimeric G-proteins should be obtained.