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.

Focal and linear endocardial and epicardial catheter-based cryoablation of normal and infarcted ventricular tissue

Background: This study of a chronic porcine postinfarction model examined whether linear epicardial cryoablation was capable of creating large, homogenous lesions in regions of the myocardium including scarred ventricle. Endocardial and epicardial focal cryolesions were also compared to determine if there were significant differences in lesion characteristics. Methods: Eighty focal endocardial and 28 focal epicardial cryoapplications were delivered to eight normal caprine and four normal porcine ventricular myocardium, and 21 linear cryolesions were applied along the border of infarcted epicardial tissue in a chronic porcine infarct model in six swines. Results: Focal endocardial cryolesions in normal animals measured 9.7 +/- 0.4 mm (length) by 7.3 +/- 1.4 mm (width) by 4.8 +/- 0.2 mm (depth), while epicardial lesions measured 10.2 +/- 1.4 mm (length) by 7.7 +/- 2 mm (width) by 4.6 +/- 0.9 mm (depth); P > 0.05. Linear epicardial cryolesions in the chronic porcine infarct model measured 36.5 +/- 7.8 mm (length) by 8.2 +/- 1.3 mm (width) by 6.0 +/- 1.2 mm (depth). The mean depth of linear cryolesions applied to the border of the infarct scar was 7 +/- 0.7 mm, as measured by magnetic resonance imaging. Conclusions:Cryoablation can create deep lesions when delivered to the ventricular epicardium. Endocardial and epicardial cryolesions created by a focal cryoablation catheter are similar in size and depth. The ability to rapidly create deep linear cryolesions may prove to be beneficial in substrate-based catheter ablation of ventricular arrhythmias.

Redescription of Amblyomma varium Koch, 1844 (Acari : Ixodidae) based on light and scanning electron microscopy

Amblyomma varium Koch, 1844 is a Neotropical tick, known as the `sloth`s giant tick`, with records from southern Central America to Argentina. It is found almost exclusively on mammals of the families Bradypodidae and Magalonychidae (Xenarthra). Differences exist in discussions with regard to the dentition of the female hypostome being either 3/3 or 4/4. The male was also originally described as having a short spur on coxa IV, but some specimens recently collected from different Brazilian localities have this spur three times longer. These differences beg the question of whether there is more than one species included under this taxon. In order to answer this question and to clarify the taxonomic characters of this species, 258 adult specimens were examined, and a redescription of male and female based on light and scanning electron microscopy is provided. In addition, DNA was extracted from males with either a long or a short spur on coxa IV to help settle this question for future investigations on their taxonomy. The morphological study showed that the dental formula pattern for males and females is 3/3 and 4/4, respectively. When sequenced, the 12 S rDNA genes of both A. varium males with long and short spurs on coxa IV were found to be identical, indicating that the length of the spurs on coxa IV is likely to be an intraspecifically polymorphic character of this species.

Comparative analysis of rabies virus isolates from Brazilian canids and bats based on the G gene and G-L intergenic region

Rabies virus (RABV) isolates from two species of canids and three species of bats were analyzed by comparing the C-terminal region of the G gene and the G-L intergenic region of the virus genome. Intercluster identities for the genetic sequences of the isolates showed both regions to be poorly conserved. Phylogenetic trees were generated by the neighbor-joining and maximum parsimony methods, and the results were found to agree between the two methods for both regions. Putative amino acid sequences obtained from the G gene were also analyzed, and genetic markers were identified. Our results suggest that different genetic lineages of RABV are adapted to different animal species in Brazil.

In vitro algaecide effect of sodium hypochlorite and iodine based antiseptics on Prototheca zopfii strains isolated from bovine milk

Prototheca zopfii has been considered one of the most important causes of environmental mastitis in Brazil. These algae are refractory to conventional therapy and cause great damage to the mammary gland. The present study evaluated the in vitro algaecide effect of sodium hypochlorite and iodine based antiseptics on 27 P. zopfii strains isolated from the milk of cattle. Low concentrations of sodium hypochlorite (0.0390625-0.15625%) and iodine (0.15625-0.625%) were effective against the isolates. These antiseptics may be recommended for hygiene routines, pre and postdipping and cauterization of bovine mammary glands infected by P. zopfii. (C) 2009 Elsevier Ltd. All rights reserved.

Conservation and economic benefits of wildlife-based marine tourism: Sea turtles and whales as case studies

Tourism development can have positive and/or negative impacts on wildlife. However, if tourism is developed in accordance with the basic tenets of wildlife tourism such an activity can be sustainable and can aid the conservation of species. Based on two case studies in Queensland, Australia, this article outlines the various economic and conservation benefits arising from wildlife-based tourism. Some of the benefits are direct, such as tangible economic benefits, others are less tangible, such as increased visitors’ willingness to pay in principle for the conservation of species. Wildlife-based tourism is shown to foster political support for the conservation of species utilized for such tourism by various mechanisms. Non-consumptive uses of wildlife are not only sustainable, but may provide a viable alternative to consumptive uses.