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.

Genetic variation in the recognition of Porphyromonas gingivalis antigens in mice

T-cell cytokine profiles, anti Porphyromonas gingivalis antibodies and Western blot analysis of antibody responses were examined in BALB/c, CBA/CaH, C57BL6 and DBA/2J mice immunized intraperitoneally with different doses of P. gingivalis outer membrane antigens, Splenic CD4 and CD8 cells were examined for intracytoplasmic interleukin (IL)-4, interferon (IFN)-gamma and IL-LD by FAGS analysis and levels of anti-P. gingivalis antibodies in the serum samples determined by enzyme-linked immunosorbent assay. Western blot analysis was performed on the sera from mice immunized with 100 mug of P. gingivalis antigens. The four strains of mice demonstrated varying degrees of T-cell immunity although the T-cell cytokine profiles exhibited by each strain were not affected by different immunizing doses. While BALB/c and DBA/2J mice exhibited responses that peaked at immunizing doses of 100-200 mug of P. gingivalis antigens, CBA/CaH and C57BL6 demonstrated weak T-cell responsiveness compared with control mice. Like the T-cell responses, serum antibody levels were not dose dependent. DBA/23 exhibited the lowest levels of anti-P. gingivalis antibodies followed by BALB/c with CBA/CaH and C57BL6 mice demonstrating the highest levels. Western blot analysis showed that there were differences in reactivity between the strains to a group of 13 antigens ranging in molecular weight from 15 to 43 kDa. Antibody responses to a number of these bands in BALB/c mice were of low density, whereas CBA/CaH and C57BL6 mice demonstrated high-density bands and DBA/2J mice showed medium to high responses. In conclusion, different immunizing doses of P. gingivalis outer membrane antigens had little effect on the T-cell cytokine responses and serum anti-P. gingivalis antibody levels. Western blot analysis, however, indicated that the four strains of mice exhibited different reactivity to some lower-molecular-weight antigens. Future studies are required to determine the significance of these differences, which may affect the outcome of P. gingivalis infection.

Structure-hepatic disposition relationships for cationic drugs in isolated perfused rat livers: Transmembrane exchange and cytoplasmic binding process

This work studied the structure-hepatic disposition relationships for cationic drugs of varying lipophilicity using a single-pass, in situ rat liver preparation. The lipophilicity among the cationic drugs studied in this work is in the following order: diltiazem. propranolol. labetalol. prazosin. antipyrine. atenolol. Parameters characterizing the hepatic distribution and elimination kinetics of the drugs were estimated using the multiple indicator dilution method. The kinetic model used to describe drug transport (the two-phase stochastic model) integrated cytoplasmic binding kinetics and belongs to the class of barrier-limited and space-distributed liver models. Hepatic extraction ratio (E) (0.30-0.92) increased with lipophilicity. The intracellular binding rate constant (k(on)) and the equilibrium amount ratios characterizing the slowly and rapidly equilibrating binding sites (K-S and K-R) increase with the lipophilicity of drug (k(on) : 0.05-0.35 s(-1); K-S : 0.61-16.67; K-R : 0.36-0.95), whereas the intracellular unbinding rate constant (k(off)) decreases with the lipophilicity of drug (0.081-0.021 s(-1)). The partition ratio of influx (k(in)) and efflux rate constant (k(out)), k(in)/k(out), increases with increasing pK(a) value of the drug [from 1.72 for antipyrine (pK(a) = 1.45) to 9.76 for propranolol (pK(a) = 9.45)], the differences in k(in/kout) for the different drugs mainly arising from ion trapping in the mitochondria and lysosomes. The value of intrinsic elimination clearance (CLint), permeation clearance (CLpT), and permeability-surface area product (PS) all increase with the lipophilicity of drug [CLint (ml . min(-1) . g(-1) of liver): 10.08-67.41; CLpT (ml . min(-1) . g(-1) of liver): 10.80-5.35; PS (ml . min(-1) . g(-1) of liver): 14.59-90.54]. It is concluded that cationic drug kinetics in the liver can be modeled using models that integrate the presence of cytoplasmic binding, a hepatocyte barrier, and a vascular transit density function.

Heritability and gene-environment interactions for melanocytic nevus density examined in a U.K. adolescent twin study

Risk factors for melanoma include environmental (particularly ultraviolet exposure) and genetic factors. In rare families, susceptibility to melanoma is determined by high penetrance mutations in the genes CDKN2A or CDK4, with more common, less penetrant genes also postulated. A further, potent risk factor for melanoma is the presence of large numbers of melanocytic nevi so that genes controlling nevus phenotype could be such melanoma susceptibility genes. A large Australian study involving twins aged 12 y of predominantly U.K. ancestry showed strong evidence for genetic influence on nevus number and density. We carried out essentially the same study in the U.K. to gain insight into gene-environment interactions for nevi. One hundred and three monozygous (MZ) and 118 dizygous (DZ) twin pairs aged 10-18 y were examined in Yorkshire and Surrey, U.K. Nevus counts were, on average, higher in boys (mean = 98.6) than girls (83.8) (p = 0.009) and higher in Australia (110.4) than in the U.K. (79.2, adjusted to age 12 y, p < 0.0001), and nevus densities were higher on sun-exposed sites (92 per m(2)) than sun-protected sites (58 per m(2)) (p < 0.0001). Correlations in sex and age adjusted nevus density were higher in MZ pairs (0.94, 95% CI 0.92-0.96) than in DZ pairs (0.61, 95%CI 0.49-0.72), were notably similar to those of the Australian study (MZ = 0.94, DZ = 0.60), and were consistent with high heritability (65% in the U.K., 68% in Australia). We conclude that emergence of nevi in adolescents is under strong genetic control, whereas environmental exposures affect the mean number of nevi.

NMR structure and backbone dynamics of a concatemer of epidermal growth factor homology modules of the human low-density lipoprotein receptor

The ligand-binding region of the low-density lipoprotein (LDL) receptor is formed by seven N-terminal, imperfect, cysteine-rich (LB) modules. This segment is followed by an epidermal growth factor precursor homology domain with two N-terminal, tandem, EGF-like modules that are thought to participate in LDL binding and recycling of the endocytosed receptor to the cell surface. EGF-A and the concatemer, EGF-AB, of these modules were expressed in Escherichia coli. Correct protein folding of EGF-A and the concatemer EGF-AB was achieved in the presence or absence of calcium ions, in contrast to the LB modules, which require them for correct folding. Homonuclear and heteronuclear H-1-N-15 NMR spectroscopy at 17.6 T was used to determine the three-dimensional structure of the concatemer. Both modules are formed by two pairs of short, anti-parallel beta -strands. In the concatemer, these modules have a fixed relative orientation, stabilized by calcium ion-binding and hydrophobic interactions at the interface. N-15 longitudinal and transverse relaxation rates, and {H-1}-N-15 heteronuclear NOEs were used to derive a model-free description of the backbone dynamics of the molecule. The concatemer appears relatively rigid, particularly near the calcium ion-binding site at the module interface, with an average generalized order parameter of 0.85 +/- 0.11. Some mutations causing familial hypercholesterolemia may now be rationalized. Mutations of D41, D43 and E44 in the EGF-B calcium ion-binding region may affect the stability of the linker and thus the orientation of the tandem modules. The diminutive core also provides little structural stabilization, necessitating the presence of disulfide bonds. The structure and dynamics of EGF-AB contrast with the N-terminal LB modules, which require calcium ions both for folding to form the correct disulfide connectivities and for maintenance of the folded structure, and are connected by highly mobile linking peptides. (C) 2001 Academic Press.

Derivation of the probability distribution function for the local density of states of a disordered quantum wire via the replica trick and supersymmetry

We consider the statistical properties of the local density of states of a one-dimensional Dirac equation in the presence of various types of disorder with Gaussian white-noise distribution. It is shown how either the replica trick or supersymmetry can be used to calculate exactly all the moments of the local density of states.' Careful attention is paid to how the results change if the local density of states is averaged over atomic length scales. For both the replica trick and supersymmetry the problem is reduced to finding the ground state of a zero-dimensional Hamiltonian which is written solely in terms of a pair of coupled spins which are elements of u(1, 1). This ground state is explicitly found for the particular case of the Dirac equation corresponding to an infinite metallic quantum wire with a single conduction channel. The calculated moments of the local density of states agree with those found previously by Al'tshuler and Prigodin [Sov. Phys. JETP 68 (1989) 198] using a technique based on recursion relations for Feynman diagrams. (C) 2001 Elsevier Science B.V. All rights reserved.