Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

Am I being treated fairly by my leaders? The roles of group identification and self-other comparisons in judgements of procedural justice

The current experiment focuses on the roles of social identity and social comparison in perceptions of procedural justice. Participants are randomly allocated to conditions in a 2 (whether the participant has the opportunity to voice an opinion), X 2 (whether the comparison other has the opportunity to voice an opinion), X 2 (whether the comparison other is an ingroup or an outgroup member), between subjects design. Participants are then asked to report the extent to which they perceive the procedure they are involved in to be fair. It is predicted that participants will have a strong feeling of procedural unfairness when they are not given an opportunity by the leader to voice their opinion, but learn that their comparison other is given that opportunity. It is also predicted that the feeling of unfairness should be stronger when the comparison other is an outgroup rather than an ingroup member. Additionally, participants receiving a fair treatment may regard the procedure as fair when their outgoup comparison other receives an unfair treatment. Results support these predictions and reveal that how people make judgments of procedural justice through social comparison is qualified by the social identities of the parties involved.

The role of oscillatory brain activity in object processing and figure-ground segmentation in human vision

The perception of an object as a single entity within a visual scene requires that its features are bound together and segregated from the background and/or other objects. Here, we used magnetoencephalography (MEG) to assess the hypothesis that coherent percepts may arise from the synchronized high frequency (gamma) activity between neurons that code features of the same object. We also assessed the role of low frequency (alpha, beta) activity in object processing. The target stimulus (i.e. object) was a small patch of a concentric grating of 3c/°, viewed eccentrically. The background stimulus was either a blank field or a concentric grating of 3c/° periodicity, viewed centrally. With patterned backgrounds, the target stimulus emerged--through rotation about its own centre--as a circular subsection of the background. Data were acquired using a 275-channel whole-head MEG system and analyzed using Synthetic Aperture Magnetometry (SAM), which allows one to generate images of task-related cortical oscillatory power changes within specific frequency bands. Significant oscillatory activity across a broad range of frequencies was evident at the V1/V2 border, and subsequent analyses were based on a virtual electrode at this location. When the target was presented in isolation, we observed that: (i) contralateral stimulation yielded a sustained power increase in gamma activity; and (ii) both contra- and ipsilateral stimulation yielded near identical transient power changes in alpha (and beta) activity. When the target was presented against a patterned background, we observed that: (i) contralateral stimulation yielded an increase in high-gamma (>55 Hz) power together with a decrease in low-gamma (40-55 Hz) power; and (ii) both contra- and ipsilateral stimulation yielded a transient decrease in alpha (and beta) activity, though the reduction tended to be greatest for contralateral stimulation. The opposing power changes across different regions of the gamma spectrum with 'figure/ground' stimulation suggest a possible dual role for gamma rhythms in visual object coding, and provide general support of the binding-by-synchronization hypothesis. As the power changes in alpha and beta activity were largely independent of the spatial location of the target, however, we conclude that their role in object processing may relate principally to changes in visual attention.

Should I stay or should I go? Explaining turnover intentions with organizational identification and job satisfaction

The social identity approach is a powerful theoretical framework for the understanding of individuals behaviour. The main argument is that individuals think and act on behalf of the group they belong to because this group membership adds to their social identity, which partly determines ones self-esteem. In the organizational world, social identity and self-categorization theories state that a strong organizational identification is associated with low turnover intentions. Because identification is the more general perception of shared fate between employee and organization, we propose that the relationship between identification and turnover will be mediated by job satisfaction as the more specific evaluation of ones task and working conditions. In four samples we found organizational identification feeding into job satisfaction, which in turn predicts turnover intentions.