Defining OCL expressions using templates.

OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the integration of OCL with the UML meta-model cannot be formally defined [1]. This can result in ambiguous descriptions of systems which may compromise designs. The need to redesign the OCL has been addressed by a number of proposals submitted to the OMG. In this paper we demonstrate how a definition for OCL can be stamped out from a small number of templates. Such an approach enables a high level of reuse and an increased confidence that the definition is correct. This work forms part of the 2U consortium’s efforts for the definition of UML 2.0

A Pattern Based Approach to Defining the Dynamic Infrastructure of UML 2.0

The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic behaviour of the system over time. The contribution of this paper is to provide a template that can be used to “stamp out” the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used to support a broad spectrum of behavioural languages

Pituitary Adenylate Cyclase-Activating Polypeptide (PACAP) Signaling in The Prefrontal Cortex Modulates Cued Fear Learning, But Not Spatial Working Memory, in Female Rats

A genetic polymorphism within the gene encoding the pituitary adenylate cyclase- activating polypeptide (PACAP) receptor type I (PAC1R) has recently been associated with hyper-reactivity to threat-related cues in women, but not men, with post-traumatic stress disorder (PTSD). PACAP is a highly conserved peptide, whose role in mediating adaptive physiological stress responses is well established. Far less is understood about the contribution of PACAP signaling in emotional learning and memory, particularly the encoding of fear to discrete cues. Moreover, a neurobiological substrate that may account for the observed link between PAC1R and PTSD in women, but not men, has yet to be identified. Sex differences in PACAP signaling during emotional learning could provide novel targets for the treatment of PTSD. Here we investigated the contribution of PAC1R signaling within the prefrontal cortex to the acquisition of cued fear in female and male rats. We used a variant of fear conditioning called trace fear conditioning, which requires sustained attention to fear cues and depends on working-memory like neuronal activity within the prefrontal cortex. We found that cued fear learning, but not spatial working memory, was impaired by administration of a PAC1R antagonist directly into the prelimbic area of the prefrontal cortex. This effect was specific to females. We also found that levels of mRNA for the PAC1R receptor in the prelimbic cortex were greater in females compared with males, and were highest during and immediately following the proestrus stage of the estrous cycle. Together, these results demonstrate a sex-specific role of PAC1R signaling in learning about threat-related cues

A pattern based approach to defining translations between languages.

The 2U Consortium have recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses a innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The contribution of this paper is to introduce the idea of reusability of mappings between languages and defining some of the reusable mapping templates. This paper also illustrates how these templates can be used to stamp out mapping between languages by stamping out a mapping between UML and Java

A pattern based approach to defining the dynamic infrastructure of UML 2.0.

The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic behaviour of the system over time. The contribution of this paper is to provide a template that can be used to “stamp out” the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used to support a broad spectrum of behavioural languages

Draft Genome Sequences of Three Enterococcus casseliflavus Strains Isolated from the Urine of Healthy Bovine Heifers (Gyr Breed)

Enterococcus casseliflavus is a commensal bacterium present in the intestinal microbiota of different animals. Previous studies have found that strains isolated from livestock are often resistant to many different antibiotics. Here, we present three E. casseliflavus strains, UFMG-H7, UFMG-H8, and UFMG-H9, isolated from urine collected from healthy dairy heifers in Brazil

Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01).

This is a response to the UML 2.0 Request for Proposals on Infrastructure (ad/00-09-01). We propose an architecture for the definition of UML 2.0 which supports the layered and extensible definition of UML as a family of languages, and depends on the use of package extension (composition) and package template mechanisms in the metamodelling language. This submission defines that architecture and populates it with the definition of a core foundation for the definition of structural and behavioural modelling constructs for UML. Chapter 3 (“Language Architecture”) identifies all those parts of the architecture defined in any given version of this document