Differential expression of Egr-1-like DNA-binding activities in the naive rat brain and after excitatory stimulation

Egr-1 and related proteins are inducible transcription factors within the brain recognizing the same consensus DNA sequence. Three Egr DNA-binding activities were observed in regions of the naive rat brain. Egr-1 was present in all brain regions examined. Bands composed, at least in part, of Egr-2 and Egr-3 were present in different relative amounts in the cerebral cortex, striatum, hippocampus, thalamus, and midbrain. All had similar affinity and specificity for the Egr consensus DNA recognition sequence. Administration of the convulsants NMDA, kainate, and pentylenetetrazole differentially induced Egr-1 and Egr-2/3 DNA-binding activities in the cerebral cortex, hippocampus, and cerebellum. All convulsants induced Egr-1 and Egr-2 immunoreactivity in the cerebral cortex and hippocampus. These data indicate that the members of the Egr family are regulated at different levels and may interact at promoters containing the Egr consensus sequence to fine tune a program of gene expression resulting from excitatory stimuli.

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.