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.

Variations in cone photoreceptor abundance and the visual ecology of birds

The relative abundance and topographical distribution of retinal cone photoreceptors was measured in 19 bird species to identify possible correlations between photoreceptor complement and visual ecology. In contrast to previous studies, all five types of cone photoreceptor were distinguished, using bright field and epifluorescent light microscopy, in four retinal quadrants. Land birds tended to show either posterior dorsal to anterior ventral or anterior dorsal to posterior ventral gradients in cone photoreceptor distribution, fundus coloration and oil droplet pigmentation across the retina. Marine birds tended to show dorsal to ventral gradients instead. Statistical analyses showed that the proportions of the different cone types varied significantly across the retinae of all species investigated. Cluster analysis was performed on the data to identify groups or clusters of species on the basis of their oil droplet complement. Using the absolute percentages of each oil droplet type in each quadrant for the analysis produced clusters that tended to reflect phylogenetic relatedness between species rather than similarities in their visual ecology. Repeating the analysis after subtracting the mean percentage of a given oil droplet type across the whole retina (the 'eye mean') from the percentage of that oil droplet type in each quadrant, i.e. to give a measure of the variation about the mean, resulted in clusters that reflected diet, feeding behaviour and habitat to a greater extent than phylogeny.