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.

Benchmarking regional planning arrangements for natural resource management 2004–05: Progress, constraints and future directions for regions

This report provides a benchmark of progress in regional planning for natural resource management in Queensland and the tropical savannas region of northern Australia during 2004. It is based on a review of regional plans and planning processes against a set of pre-defined criteria designed specifically to evaluate regional planning arrangements.

Orbitally induced oscillations in the East Antarctic ice sheet at the Oligocene/Miocene boundary

Between 34 and 15 million years (Myr) ago, when planetary temperatures were 3-4 degreesC warmer than at present and atmospheric CO2 concentrations were twice as high as today(1), the Antarctic ice sheets may have been unstable(2-7). Oxygen isotope records from deep-sea sediment cores suggest that during this time fluctuations in global temperatures and high-latitude continental ice volumes were influenced by orbital cycles(8-10). But it has hitherto not been possible to calibrate the inferred changes in ice volume with direct evidence for oscillations of the Antarctic ice sheets(11). Here we present sediment data from shallow marine cores in the western Ross Sea that exhibit well dated cyclic variations, and which link the extent of the East Antarctic ice sheet directly to orbital cycles during the Oligocene/Miocene transition (24.1-23.7 Myr ago). Three rapidly deposited glaci-marine sequences are constrained to a period of less than 450 kyr by our age model, suggesting that orbital influences at the frequencies of obliquity (40 kyr) and eccentricity (125 kyr) controlled the oscillations of the ice margin at that time. An erosional hiatus covering 250 kyr provides direct evidence for a major episode of global cooling and ice-sheet expansion about 23.7 Myr ago, which had previously been inferred from oxygen isotope data (Mil event(5)).

Matrix-product codes over Fq

Codes C-1,...,C-M of length it over F-q and an M x N matrix A over F-q define a matrix-product code C = [C-1 (...) C-M] (.) A consisting of all matrix products [c(1) (...) c(M)] (.) A. This generalizes the (u/u + v)-, (u + v + w/2u + v/u)-, (a + x/b + x/a + b + x)-, (u + v/u - v)- etc. constructions. We study matrix-product codes using Linear Algebra. This provides a basis for a unified analysis of /C/, d(C), the minimum Hamming distance of C, and C-perpendicular to. It also reveals an interesting connection with MDS codes. We determine /C/ when A is non-singular. To underbound d(C), we need A to be 'non-singular by columns (NSC)'. We investigate NSC matrices. We show that Generalized Reed-Muller codes are iterative NSC matrix-product codes, generalizing the construction of Reed-Muller codes, as are the ternary 'Main Sequence codes'. We obtain a simpler proof of the minimum Hamming distance of such families of codes. If A is square and NSC, C-perpendicular to can be described using C-1(perpendicular to),...,C-M(perpendicular to) and a transformation of A. This yields d(C-perpendicular to). Finally we show that an NSC matrix-product code is a generalized concatenated code.

The genetic and environmental relationship between the interpersonal sensitivity measure (IPSM) and the personality dimensions of Eysenck and Cloninger

A shortened version of the Interpersonal Sensitivity Measure (IPSM) developed to predict depression prone personalities was administered in a self-report questionnaire to a community-based sample of 3269 Australian twin pairs aged 18-28 years, along with Eysenck's EPQ and Cloninger's TPQ. The IPSM included four sub-scales: Separation Anxiety (SEP); Interpersonal Sensitivity (INT); Fragile Inner-Self (FIS); and Timidity (TIM). Univariate analysis revealed that individual differences in the IPSM sub-scale scores were best explained by additive genetic and specific environmental effects. Confirming previous research findings, familial aggregation for the EPQ and TPQ personality dimensions was entirely due to additive genetic effects. In the multivariate case, a model comprising additive genetic and specific environmental effects best explained the covariation between the latent factors for male and female twin pairs alike. The EPQ and TPQ dimensions accounted for moderate to large proportions of the genetic variance (40-76%) in the IPSM sub-scales, while most of the non-shared environment variance was unique to the IPSM sub-scales. (C) 2001 Elsevier Science Ltd. All rights reserved.

Popular understandings of 'UnAustralian': an investigation of the un-national

In social science the 'national' has been studied extensively, but comparatively little attention has been given to the 'un-national'. The article takes up this challenge in an Australian context. Drawing on the work of Raymond Williams, investigation is centred around the keyword 'UnAustralian'. Participants in focus groups were asked to nominate and account for what they thought of as 'UnAustralian' people, places, values, activities, groups and organizations. Analysis of the data revealed that two factors underpinned an attribution: incivility and foreign influence. Contemporary uses revolve around outcomes from globalization and can be contrasted with the centrality of class politics to deployments of the concept in the first part of the 20th century.