327 research outputs found
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages
Specifying and Analysing SOC Applications with COWS
COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above
Personal Safety Culture: A New Measure for General Aviation Pilots
Safety culture has been a subject of research for over three decades and is now widely accepted as a critical component of organizational safety programs both domestically and internationally. Through the development of a healthy safety culture, aviation organizations can improve safety processes, reduce mishaps, and mitigate risk more effectively. This is done through the holistic team efforts of an organization’s members and the organization’s leadership. How about aviators who are not part of an organization? Is it possible to identify a personal safety culture defined outside of the traditional organization? And, is it possible to create an instrument allowing pilots to conduct a self-assessment of their personal safety culture? The current research seeks to address these questions by developing such an instrument to measure personal safety culture in General Aviation pilots. The first version of the instrument was developed using resources from prior research studies and a literature review of over 160 publications. It was initially sent to experts in civilian aviation, academia and military sectors who conducted face validity assessments. Once revised, the instrument was tested using a sample drawn from a large southeastern university in the United States. All pilots were required to hold at least a private pilot certificate. A factor analysis conducted on the results of the preliminary study indicate factors that account for a significant amount of the variance in the model. These results are presented with recommendations for application of the self-assessment and thoughts on future research
Assessing kinetic fractionation in brachiopod calcite usingclumped isotopes
Brachiopod shells are the most widely used geological archive for the reconstruction of the temperature and the oxygen isotope composition of Phanerozoic seawater. However, it is not conclusive whether brachiopods precipitate their shells in thermodynamic equilibrium. In this study, we investigated the potential impact of kinetic controls on the isotope composition of modern brachiopods by measuring the oxygen and clumped isotope compositions of their shells. Our results show that clumped and oxygen isotope compositions depart from thermodynamic equilibrium due to growth rate-induced kinetic effects. These departures are in line with incomplete hydration and hydroxylation of dissolved CO2. These findings imply that the determination of taxon-specific growth rates alongside clumped and bulk oxygen isotope analyses is essential to ensure accurate estimates of past ocean temperatures and seawater oxygen isotope compositions from brachiopods
With or without force? : European public opinion on democracy promotion
A Large part of the education provided at colleges and universities of today requires for thestudent to be more independent in their studies. This demands that the physical space,where the students choose to study, is designed in a way that can encourage and supportlearning. It seems as though that many of the learning spaces of today don’t always meetthe students’ needs. The university library at the University of Umeå is currently planningto design new learning spaces for the students. The aim of this study is to examine how thephysical learning space can be designed to engage and encourage the students in theirlearning process. Based on literature describing learning spaces we have initially identified three mainareas to examine- Learning, Information Technology and Learning space design. Theseareas are all important features in the design of new learning spaces. With informationdrawn from that literature we conducted an empirical study at the library of the Universityof Umeå. The empirical study was carried out through observations and focus groupinterviews. To give us more insight about the students’ thoughts about the learning spacewe also compared our findings with a survey conducted by the library personnel in 2008and 2010. The result of our study shows that there are some areas to be improved in theexisting learning space. The students are working more collaboratively which requiresmore group areas. Our study also shows that flexibility, more student interaction and asocial and engaging environment are all important features in the design of new learningspaces
Studying Parton Energy Loss in Heavy-Ion Collisions via Direct-Photon and Charged-Particle Azimuthal Correlations
Charged-particle spectra associated with direct photon () and
are measured in + and Au+Au collisions at center-of-mass energy
GeV with the STAR detector at RHIC. A hower-shape
analysis is used to partially discriminate between and .
Assuming no associated charged particles in the direction (near
side) and small contribution from fragmentation photons (), the
associated charged-particle yields opposite to (away side) are
extracted. At mid-rapidity () in central Au+Au collisions,
charged-particle yields associated with and at high
transverse momentum ( GeV/) are suppressed by a factor
of 3-5 compared with + collisions. The observed suppression of the
associated charged particles, in the kinematic range and GeV/, is similar for and , and
independent of the energy within uncertainties. These
measurements indicate that the parton energy loss, in the covered kinematic
range, is insensitive to the parton path length.Comment: submitted to Phys. Rev. Lett, 6 pages, 4 figure
Observation of charge-dependent azimuthal correlations and possible local strong parity violation in heavy ion collisions
Parity-odd domains, corresponding to non-trivial topological solutions of the
QCD vacuum, might be created during relativistic heavy-ion collisions. These
domains are predicted to lead to charge separation of quarks along the orbital
momentum of the system created in non-central collisions. To study this effect,
we investigate a three particle mixed harmonics azimuthal correlator which is a
\P-even observable, but directly sensitive to the charge separation effect. We
report measurements of this observable using the STAR detector in Au+Au and
Cu+Cu collisions at =200 and 62~GeV. The results are presented
as a function of collision centrality, particle separation in rapidity, and
particle transverse momentum. A signal consistent with several of the
theoretical expectations is detected in all four data sets. We compare our
results to the predictions of existing event generators, and discuss in detail
possible contributions from other effects that are not related to parity
violation.Comment: 17 pages, 14 figures, as accepted for publication in Physical Review
C
Longitudinal Spin Transfer to and Hyperons in Polarized Proton-Proton Collisions at = 200 GeV
The longitudinal spin transfer, , from high energy polarized protons
to and hyperons has been measured for the first time
in proton-proton collisions at with the STAR
detector at RHIC. The measurements cover pseudorapidity, , in the range
and transverse momenta, , up to . The longitudinal spin transfer is found to be for inclusive
and for
inclusive hyperons with and . The dependence on and is presented.Comment: 5 pages, 4 figure
An Experimental Exploration of the QCD Phase Diagram: The Search for the Critical Point and the Onset of De-confinement
The QCD phase diagram lies at the heart of what the RHIC Physics Program is
all about. While RHIC has been operating very successfully at or close to its
maximum energy for almost a decade, it has become clear that this collider can
also be operated at lower energies down to 5 GeV without extensive upgrades. An
exploration of the full region of beam energies available at the RHIC facility
is imperative. The STAR detector, due to its large uniform acceptance and
excellent particle identification capabilities, is uniquely positioned to carry
out this program in depth and detail. The first exploratory beam energy scan
(BES) run at RHIC took place in 2010 (Run 10), since several STAR upgrades,
most importantly a full barrel Time of Flight detector, are now completed which
add new capabilities important for the interesting physics at BES energies. In
this document we discuss current proposed measurements, with estimations of the
accuracy of the measurements given an assumed event count at each beam energy.Comment: 59 pages, 78 figure
- …