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.

Odor cues from tumor-bearing mice induces neuroimmune changes

Cohabitation for 14 days with an Ehrlich tumor-bearing mice was shown, among others, to increase locomotor activity, and hypothalamic noradrenaline levels and turnover, to decrease the innate immune responses and animal resistance to tumor growth. The present experiment was designed to access the relevance of tactile, olfactory, and visual communication to the neuroimmune changes induced by cohabitation with a tumor-bearing partner. Mice that were not allowed to perceive odor cues from their sick partners presented no alterations in neutrophil activity, a fact not observed after visual deprivation and physical isolation. Mice use scents for intraspecies communication in many social contexts. Tumors produce volatile organic compounds released into the atmosphere through breath, sweat, and urine. The present results strongly suggest that volatile compounds released by Ehrlich tumor-injected mice are perceived by their conspecifics, inducing the neuroimmune changes reported for cohabitation with a sick companion. (C) 2010 Published by Elsevier B.V.

Accuracy of direct digital radiography for detecting occlusal caries in primary teeth compared with conventional radiography and visual inspection: an in vitro study

Objectives: The diagnosis of caries lesions is still a matter of concern in dentistry. The diagnosis of dental caries by digital radiography has a number of advantages over conventional radiography; however, this method has not been explored fully in the field of paediatric dentistry. This in vitro research evaluated the accuracy of direct digital radiography compared with visual inspection and conventional radiography in the diagnosis of occlusal caries lesions in primary molars. Methods: 50 molars were selected and evaluated under standardized conditions by 2 previously calibrated examiners according to 3 diagnostic methods (visual inspection, conventional radiography and direct digital radiography). Direct digital radiographs were obtained with the Dixi3 system (Planmeca, Helsinki, Finland) and the conventional radiographs with InSight film (Kodak Eastman Co., Rochester, NY). The images were scored and a reference standard was obtained histologically. The interexaminer reliability was calculated using Cohen`s kappa test and the specificity, sensitivity and accuracy of the methods were calculated. Results: Examiner reliability was good. For lesions limited to the enamel, visual inspection showed significantly higher sensitivity and accuracy than both radiographic methods, but no significant difference was found in specificity. For teeth with dentinal caries, no significant differences were found for any parameter when comparing visual and radiographic evaluation. Conclusions: Although less accurate than the visual method for detecting caries lesions confined to the enamel, the direct digital radiographic method is as effective as conventional radiographic examination and visual inspection of primary teeth with occlusal caries when the dentine is involved. Dentomaxillofacial Radiology (2010) 39, 362-367. doi: 10.1259/dmfr/22865872

The Role of Toll-Like Receptor 2 in the Recognition of Aggregatibacter actinomycetemcomitans

Background: Aggregatibacter actinomycetemcomitans (previously Actinobacillus actinomycetemcomitans) is a Gram-negative bacterium present in the oral cavity and is usually associated with localized aggressive periodontitis. Isolated antigens from A. actinomycetemcomitans can activate innate immune cells through Toll-like receptors (TLRs), which are molecules that recognize structural components conserved among microorganisms. In this study, we evaluate the role of TLR2 in the recognition of A. actinomycetemcomitans. Methods: Macrophages and neutrophils from knockout mice with targeted disruption of TLR2 (TLR2(-/-) mice) and wild-type mice were collected and used for the subsequent assays. The production of cytokines and chemokines was evaluated by enzyme-linked immunosorbent assay (ELISA), and the presence of apoptotic cells was determined by flow cytometry. In addition, the mechanisms that modulate the outcome of A. actinomycetemcomitans-induced periodontal disease in TLR2(-/-) mice were examined. Results: The results show that TLR2-deficient mice developed more severe periodontitis after A. actinomycetemcomitans infection, characterized by significantly higher bone loss and inflammatory cell migration to periodontal tissues. The inflammatory cell influx into the peritoneal cavities of TLR2(-/-) mice was three-fold lower than that observed for the littermate controls. A significantly diminished production of the cytokines tumor necrosis factor-alpha and interleukin-1 beta as well as the chemokine CC-ligand-5 in the peritoneal cavities of TLR2(-/-) mice was observed. In addition, a high frequency of apoptotic cells in the inflammatory exudates from TLR2(-/-) mice was observed. Phagocytosis and nitric oxide production was diminished in cells from TLR2(-/-) mice, facilitating the dissemination of the pathogen to the spleen. Conclusion: The results of this study highlight the involvement of TLR2 in recognizing A. actinomycetemcomitans and its essential role in controlling A. actinomycetemcomitans infection. J Periodontot 2009,80:2070-2019.

Comparison of visual inspection, radiographic examination, laser fluorescence and their combinations on treatment decisions for occlusal surfaces

Purpose: To compare visual inspection (VI), radiographic examination (RX) and the laser fluorescence device DIAGNOdent (L), as well as their combinations in vitro regarding treatment decisions for occlusal surfaces. Methods: 72 extracted human permanent teeth (molars and premolars) were used. Treatment decisions were recorded by three calibrated examiners, and the options available were fissure sealant and conservative restoration. For validation of treatment decisions, the teeth were sectioned and examined in a stereomicroscope. Thereafter, dental slices were scanned and the images were edited to facilitate classification of existing carious lesions. Intra and inter-examiner reproducibility for the determination of treatment plans were calculated using Cohen`s kappa test (95%-CI). Sensitivity, specificity, positive and negative predictive values, and the area under the ROC curve were also calculated. Results: VI and L provided on average the greatest intra- and inter-examiner reproducibility, respectively. Although the combination of diagnostic methods may decrease both intra- and inter examiners reproducibility, combination of VI, L and RX resulted in the greatest sensitivity, being statistically superior to RX and L. There was more inter-examiner agreement for the option of restorative treatment, while the use of sealants as a treatment option yielded the lowest values. Negative predictive values were numerically inferior to positive predictive values, indicating that the examiners preferred not to restore a carious tooth than to proceed operatively in an intact tooth. The combination of the three methods studied showed the best results in determining treatment plans for occlusal surfaces, when compared to the other types of exams. On the other hand, radiographic examination and laser fluorescence were less efficient when used alone.

Genetic variation in the recognition of Porphyromonas gingivalis antigens in mice

T-cell cytokine profiles, anti Porphyromonas gingivalis antibodies and Western blot analysis of antibody responses were examined in BALB/c, CBA/CaH, C57BL6 and DBA/2J mice immunized intraperitoneally with different doses of P. gingivalis outer membrane antigens, Splenic CD4 and CD8 cells were examined for intracytoplasmic interleukin (IL)-4, interferon (IFN)-gamma and IL-LD by FAGS analysis and levels of anti-P. gingivalis antibodies in the serum samples determined by enzyme-linked immunosorbent assay. Western blot analysis was performed on the sera from mice immunized with 100 mug of P. gingivalis antigens. The four strains of mice demonstrated varying degrees of T-cell immunity although the T-cell cytokine profiles exhibited by each strain were not affected by different immunizing doses. While BALB/c and DBA/2J mice exhibited responses that peaked at immunizing doses of 100-200 mug of P. gingivalis antigens, CBA/CaH and C57BL6 demonstrated weak T-cell responsiveness compared with control mice. Like the T-cell responses, serum antibody levels were not dose dependent. DBA/23 exhibited the lowest levels of anti-P. gingivalis antibodies followed by BALB/c with CBA/CaH and C57BL6 mice demonstrating the highest levels. Western blot analysis showed that there were differences in reactivity between the strains to a group of 13 antigens ranging in molecular weight from 15 to 43 kDa. Antibody responses to a number of these bands in BALB/c mice were of low density, whereas CBA/CaH and C57BL6 mice demonstrated high-density bands and DBA/2J mice showed medium to high responses. In conclusion, different immunizing doses of P. gingivalis outer membrane antigens had little effect on the T-cell cytokine responses and serum anti-P. gingivalis antibody levels. Western blot analysis, however, indicated that the four strains of mice exhibited different reactivity to some lower-molecular-weight antigens. Future studies are required to determine the significance of these differences, which may affect the outcome of P. gingivalis infection.

Mental evolution and development: Evidence for secondary representation in children, great apes, and other animals

Recent interest in the development and evolution of theory of mind has provided a wealth of information about representational skills in both children and animals, According to J, Perrier (1991), children begin to entertain secondary representations in the 2nd year of life. This advance manifests in their passing hidden displacement tasks, engaging in pretense and means-ends reasoning, interpreting external representations, displaying mirror self-recognition and empathic behavior, and showing an early understanding of mind and imitation. New data show a cluster of mental accomplishments in great apes that is very similar to that observed in 2-year-old humans. It is suggested that it is most parsimonious to assume that this cognitive profile is of homologous origin and that great apes possess secondary representational capacity. Evidence from animals other than apes is scant. This analysis leads to a number of predictions for future research.