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.

Research output of Australian general practice: A comparison with medicine, surgery and public health

Objectives: To compare the productivity of Australian general practice in terms of research publications with the productivity of other medical disciplines. Design: A survey of Australian general practice, medicine, surgery and public health publications carried out by manual searching of specific journals and an electronic search of the US National Library of Medicine's PubMed database. Main outcome measures: The number of original research publications by Australian general practitioners, physicians, surgeons and public health physicians during 1999; the relative publication rate of Australian general practice, medicine, surgery and public health over the period 1990-1999. Results: Of original research articles published in 1999, GPs authored 65% (17/26) in Australian Family Physician and 3% (3/90) in the Medical Journal of Australia; physicians published 4% and 37%, respectively. The electronic search identified 54 research articles relating to Australian general practice published in 1999 in 21 different journals, only two of which were primary care journals. Over the period 1990-1999, there was a publication rate of one general practice [discipline] article per 1000 GPs in practice per year. Corresponding rates for medicine, surgery and public health were 105/1000, 61/1000 and 148/1000, respectively. Conclusions: There is considerable disparity between the level of research output of general practice and that of the disciplines of medicine, surgery and public health. If we are to have effective general practice research, we urgently need to develop research skills, a supportive infrastructure and a culture that nurtures research.

Ways of using evidence-based medicine in general practice

General practitioners wanting to practise evidence-based medicine (EBM) are constrained by time factors and the great diversity of clinical problems they deal with. They need experience in knowing what questions to ask, in locating and evaluating the evidence, and in applying it. Conventional searching for the best evidence can be achieved in daily general practice. Sometimes the search can be performed during the consultation, but more often it can be done later and the patient can return for the result. Case-based journal clubs provide a supportive environment for GPs to work together to find the best evidence at regular meetings. An evidence-based literature search service is being piloted to enhance decision-making for individual patients. A central facility provides the search and interprets the evidence in relation to individual cases. A request form and a results format make the service akin to pathology testing or imaging. Using EBM in general practice appears feasible. Major difficulties still exist before it can be practised by all GPs, but it has the potential to change the way doctors update their knowledge.

A longitudinal study of interleukin-1 gene polymorphisms and periodontal disease in a general adult population

Background: Cross-sectional studies have demonstrated that a specific polymorphism (allele 2 of both IL-1A +4845 and IL-1B +3954) in the IL-1 gene cluster has been associated with an increased susceptibility to severe periodontal disease and to an increased bleeding tendency during periodontal maintenance. The aim of the present study was to investigate the relationship between IL-1 genotype and periodontitis in a prospective longitudinal study in an adult population of essentially European heritage. Methods: From an ongoing study of the Oral Care Research Programme of The University of Queensland, 295 subjects consented to genotyping for IL-1 allele 2 polymorphisms. Probing depths and relative attachment levels were recorded at baseline, 6, 12, 24, 36, 48 and 60 months using the Florida probe. Periodontitis progression at a given site was defined as attachment loss greater than or equal to2 mm at any observation period during the 5 years of the study and the extent of disease progression determined by the number of sites showing attachment loss. Porphyromonas gingivalis, Actinobacillus actinomycetemcomitans and Prevotella intermedia were detected using ELISA. Results: 38.9% of the subjects were positive for the composite IL-1 genotype. A relationship between the IL-1 positive genotype and increased mean probing pocket depth in non-smokers greater than 50 years of age was found. Further, IL-1 genotype positive smokers and genotype positive subjects with P. gingivalis in their plaque had an increase in the number of probing depths greater than or equal to3.5 mm, There was a consistent trend for IL-1 genotype positive subjects to experience attachment loss when compared with IL-1 genotype negative subjects. Conclusion: The results of this study have shown an interaction of the IL-1 positive genotype with age, smoking and P. gingivalis which suggests that IL-1 genotype is a contributory but non-essential risk factor for periodontal disease progression in this population.

General strain theory, situational anger, and social networks: An assessment of conditioning influences

Using a random sample of university students to test general strain theory (GST), this study expanded on previous tests of strain theory in two ways. First, situational anger was measured, a construct that had not been used thus far in assessments of general strain. In addition, this research examined the role of social support networks as a conditioning influence on the effects of strain and anger on intentions to commit three types of criminal behavior (serious assault, shoplifting, and driving under the influence of alcohol [DUI]). The results provided mixed support for GST. While the link between anger and crime was confirmed, the nature of that relationship in some cases ran counter to the theory. Moreover, the evidence indicated that the role of social support networks was complex, and varied as a conditioning influence on intentions to engage in criminal activities. (C) 2001 Elsevier Science Ltd. All rights reserved.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.