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.

Echocardiographic identification of the oblique vein of the left atrium: its relationship to the persistent left superior caval vein

Thus far, little has been written concerning echocarchographic identification of the oblique of the left atrium, or Marshall`s vein. There is much discussion, nonetheless, on the potential significance of the vein, or its ligamentous remnant, as an arrhythmic substrate. We describe here four patients in whom transthoracic echocardiography revealed a venous structure protruding within the cavity of the left atrium. We discuss the possibility that these structures represent Marshall`s vein, albeit probably as part of a persistent left superior caval vein.

Identification and characterization of a new member of snake venom thrombin inhibitors from Bothrops insularis using a proteomic approach

Snake venom C-type lectin-like proteins (CLPs) are ubiquitously found in Viperidae snake venoms and differ from the C-type lectins as they display different biological activities but no carbohydrate-binding activity. Previous analysis of the transcriptome obtained from the Bothrops insularis venom gland showed the presence of two clusters homologous to bothrojaracin (BJC) chains a and P. In an effort to identify a new BJC-like molecule, we used an approach associated with proteomic technologies to identify the presence of the expressed protein and then to purify and characterize a new thrombin inhibitor from B. insularis venom. We also constructed homology models of this protein and BJC, which were compared with other C-type lectin-like family members and revealed several conserved features of this intriguing snake venom toxin family. (C)0 2007 Elsevier Ltd. All rights reserved.

Short communication: Identification of subclinical cow mastitis pathogens in milk by matrix-assisted laser desorption/ionization time-of-flight mass spectrometry

Subclinical mastitis is a common and easily disseminated disease in dairy herds. Its routine diagnosis via bacterial culture and biochemical identification is a difficult and time-consuming process. In this work, we show that matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (MALDI-TOF MS) allows bacterial identification with high confidence and speed (1 d for bacterial growth and analysis). With the use of MALDI-TOF MS, 33 bacterial culture isolates from milk of different dairy cows from several farms were analyzed, and the results were compared with those obtained by classical biochemical methods. This proof-of-concept case demonstrates the reliability of MALDI-TOF MS bacterial identification, and its increased selectivity as illustrated by the additional identification of coagulase-negative Staphylococcus species and mixed bacterial cultures. Matrix-assisted laser desorption-ionization mass spectrometry considerably accelerates the diagnosis of mastitis pathogens, especially in cases of subclinical mastitis. More immediate and efficient animal management strategies for mastitis and milk quality control in the dairy industry can therefore be applied.

A method for simultaneous detection and identification of Brazilian dog- and vampire bat-related rabies virus by reverse transcription loop-mediated isothermal amplification assay

At present, the sporadic occurrence of human rabies in Brazil can be attributed primarily to dog- and vampire bat-related rabies viruses. Reverse transcription loop-mediated isothermal amplification (RT-LAMP) was employed as a simultaneous detection method for both rabies field variants within 60 min. Vampire bat-related rabies viruses could be distinguished from dog variants by digesting amplicons of the RT-LAMP reaction using the restriction enzyme Alwl. Amplification and digestion could both be completed within 120 min after RNA extraction. In addition, the RI-LAMP assay also detected rabies virus in isolates from Brazilian frugivorous bats and Ugandan dog, bovine and goat samples. In contrast, there were false negative results from several Brazilian insectivorous bats and all of Chinese dog, pig, and bovine samples using the RI-LAMP assay. This study showed that the RT-LAMP assay is effective for the rapid detection of rabies virus isolates from the primary reservoir in Brazil. Further improvements are necessary so that the RT-LAMP assay can be employed for the universal detection of genetic variants of rabies virus in the field. (C) 2010 Elsevier B.V. All rights reserved.

Nymphs of the genus Amblyomma (Acari: Ixodidae) of Brazil: descriptions, redescriptions, and identification key

Together with the larval stage, the nymphal stage of ticks of the genus Amblyomma are the most aggressive ticks for humans entering areas inhabited by wildlife and some domestic animals in Brazil. However, due to the absence of morphological descriptions of the nymphal stage of most Brazilian Amblyomma species, plus the lack of an identification key, little or nothing is known about the life history of Amblyomma spp. nymphs in the country. In the present study, morphological description of the nymphal stage, illustrating important external characters through scanning electron microscopy, is provided for nymphs of 15 Amblyomma species that occur in Brazil, for which the nymphal stage had never been described: A. aureolatum, A. auricularium, A. calcaratum, A. coelebs, A. fuscum, A. humerale, A. incisum, A. latepunctatum, A. naponense, A. nodosum, A. ovate, A. pacae, A. pseudoconcolor, A. scalpturatum, A. varium. In addition, the nymphal stage of 12 Amblyomma species, which had been previously described, are redescribed: A. brasiliense, A. cajennense, A. dissimile, A. dubitatum, A. longirostre, A. oblongoguttatum, A. parked, A. parvum, A. romitii, A. rotundatum, A. tigrinum, A. triste. The descriptions and redescriptions totalized 27 species. Only 2 species (A. geayi, A. goeldii) out of the 29 Amblyomma species established in Brazil are not included in the present study. A dichotomous identification key is included to support taxonomic identification of the nymphal stage of 27 Amblyomma species established in Brazil. (C) 2010 Elsevier GmbH. All rights reserved.

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