Shared Event Composition/Decomposition in Event-B

The construction of specifications is often a combination of smaller sub-components. Composition and decomposition are techniques that support reuse and allow us to formally combine sub-components through refinement steps while reusing their properties. Sub-components can result from a design or architectural goal and a refinement framework should allow further parallel development over the sub-components. We propose the definition of composition and decomposition in the Event-B formalism following a shared event approach where sub-components interact via synchronisation over shared events and shared states are not allow. We define the necessary proof obligations to ensure a valid composition or decomposition. We also show that shared event composition preserves refinement proofs for sub-components, that is, in order to maintain refinement of compositions, it is sufficient to prove refinement between corresponding subcomponents. A case study applying these two techniques is illustrated using Rodin, the Event-B toolset

A method to study "chemical" fluctuations in nucleus-nucleus collisions

A method to study event-by-event fluctuations of the chemical (particle type) composition of the final state of high energy collisions is proposed

The Solar Energetic Particle Event of 6 May 1998

The abundances of elements from helium to iron have been measured in more than a dozen moderate to large solar energetic particle (SEP) events using the Solar Isotope Spectrometer (SIS) on-board the Advanced Composition Explorer (ACE). Time variations within some of these events and from event to event have been reported previously. This paper presents an analysis of the event of 6 May 1998, for which relatively time-independent abundance ratios are found. This event has been considered to be an example of an impulsive event, a gradual event, and as a hybrid of the two. Difficulties with classifying this event are discussed

RDF Querying

Reactive Web systems, Web services, and Web-based publish/ subscribe systems communicate events as XML messages, and in many cases require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time. Emphasizing language design and formal semantics, we describe the rule-based query language XChangeEQ for detecting composite events. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before

Solar Coronal Abundances of Rare Elements Based on Solar Energetic Particles

Although solar energetic particle (SEP) abundances vary from event to event, it has been shown that by accounting for these variations it is possible to use SEP data to obtain reliable estimates of elemental abundances for the solar corona. We analyze ~20 to 65 MeV/nucleon measurements from the Solar Isotope Spectrometer on ACE in large SEP events observed from November 1997 to January 2001 to obtain new values of the average SEP composition of rare species, P, Cl, K, Ti, Mn, Cr, Co, Cu, and Zn, which have had limited statistical accuracy in SEPs in the past. The measured SEP abundances are compared with other sources of solar-system composition data