The Object Management Group Ontology Definition Metamodel

Report of a submission being made to a major international software engineering standards group, the Object Management Group which ties together OMG standards with World-Wide Web Consortium and International Standards Organization standards. Major industry bodies including IBM are collaborating, and the submission has the support of 24 companies. OMG, W3C and ISO standards strongly influence the industry, especially in combination. Colomb was a major contributor, responsible for 30% of the submission, and the primary author of the paper.

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.

Testing for Market Power in Multiple-Input, Multiple-Output Industries: The Australian Grains and Oilseeds Industries

Recent empirical studies have found significant evidence of departures from competition in the input side of the Australian bread, breakfast cereal and margarine end-product markets. For example, Griffith (2000) found that firms in some parts of the processing and marketing sector exerted market power when purchasing grains and oilseeds from farmers. As noted at the time, this result accorded well with the views of previous regulatory authorities (p.358). In the mid-1990s, the Prices Surveillence Authority (PSA 1994) determined that the markets for products contained in the Breakfast Cereals and Cooking Oils and Fats indexes were "not effectively competitive" (p.14). The PSA consequently maintained price surveillence on the major firms in this product group. The Griffith result is also consistent with the large number of legal judgements against firms in this sector over the past decade for price fixing or other types of non-competitive behaviour. For example, bread manufacturer George Weston was fined twice during 2000 for non-competitive conduct and the ACCC has also recently pursued and won cases against retailer Safeway in grains and oilseeds product lines.

Estimation of body water compartments in cirrhosis by multiple-frequency bioelectrical-impedance analysis

Estimation of total body water by measuring bioelectrical impedance at a fixed frequency of 50 kHz is useful in assessing body composition in healthy populations. However, in cirrhosis, the distribution of total body water between the extracellular and intracellular compartments is of greater clinical importance. We report an evaluation of a new multiple-frequency bioelectrical-impedance analysis technique (MFBIA) that may quantify the distribution of total body water in cirrhosis. In 21 cirrhotic patients and 21 healthy control subjects, impedance to the Row of current was measured at frequencies ranging from 4 to 1012 kHz. These measurements were used to estimate body water compartments and then compared with total body water and extracellular water determined by isotope methodology. In cirrhotic patients, extracellular water and total body water (as determined by isotope methods) were well predicted by MFBIA (r = 0.73 and 0.89, respectively).;However, the 95% confidence intervals of the limits of agreement between MFBIA and the isotope methods were +/- 14% and +/-9% for cirrhotics (extracellular water and total body water, respectively) and +/-9% and +/-9% for cirrhotics without ascites. The 95% confidence intervals estimated from the control group were +/-10% and +/-5% for extracellular water and total body water, respectively. Thus, despite strong correlations between MFBIA and isotope measurements, the relatively large limits of agreement with accepted techniques suggest that the MFBIA technique requires further refinement before it can be routinely used to determine the nutritional assessment of individual cirrhotic patients. Nutrition 2001,17.31-34. (C)Elsevier Science Inc. 2001.

Suppression of keratinocyte growth and differentiation by transforming growth factor beta 1 involves multiple signaling pathways

Transforming growth factor beta1 treatment of keratinocytes results in a suppression of differentiation, an induction of extracellular matrix production, and a suppression of growth. In this study we utilized markers specific for each of these functions to explore the signaling pathways involved in mediating these transforming-growth-factor-beta1-induced activities. In the first instance, we found that the induction of extracellular matrix production (characterized by 3TP-Lux reporter activity) was induced in both keratinocytes and a keratinocyte-derived carcinoma cell line, SCC25, in a dose-dependent manner. Furthermore, transforming growth factor beta1 also suppressed the differentiation-specific marker gene, transglutaminase type 1, in both keratinocytes and SCC25 cells. In contrast, transforming growth factor beta1 inhibited proliferation of keratinocytes but did not cause growth inhibition in the SCC25 cells. Transforming-growth-factor-beta1-induced growth inhibition of keratinocytes was characterized by decreases in DNA synthesis, accumulation of hypophosphorylated Rb, and the inhibition of the E2F:Rb-responsive promoter, cdc2, and an induction of the p21 promoter. When the negative regulator of transforming growth factor beta1 signaling, SMAD7, was overexpressed in keratinocytes it could prevent transforming-growth-factor-beta1-induced activation of the 3TP-Lux and the p21 promoter. SMAD7 could also prevent the suppression of the transglutaminase type 1 by transforming growth factor beta1 but it could not inhibit the repression of the cdc2 promoter. These data indicate that the induction of 3TP-Lux and p21 and the suppression of transglutaminase type 1 are mediated by a different proximate signaling pathway to that regulating the suppression of the cdc2 gene. Combined, these data indicate that the regulation of transforming growth factor beta1 actions are complex and involve multiple signaling pathways.