Using integrated metamodeling to define OO design patterns with object-z and UML

Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.

NMDA receptor variant responses to conantokins

Excitotoxicity may have role in neuronal death in many disorders including Alzheimer disease. Sensitivity of a cell to excitotoxicity may depend on its subtype of NMDA receptors. A drug that selectively reduced such overstimulation could limit susceptibility to damage. We examined the pharmacology of NMDA receptor subtypes in response to the agonists glutamate and glycine, the modulator spermine, and the antagonists conantokin-G and its Ala(7) analogue in Xenopus oo¨ cytes. Cells were injected with capped RNA coding for NMDA NR1 and NR2 subunits. Membrane currents induced by rapid application of agonists were recorded under two-electrode voltageclamp. Conantokins were bath-applied to give cumulative concentration responses. Spermine gave slightly different shifts in glutamate affinity when different NR1 splice variants were combined with NR2A subunits. In the presence of spermine, both an increase and a decrease in affinity for glutamate were seen with differing subunit combinations that could not be explained by the absence or presence of the N-terminal 23-amino-acid insert.