A Requirement-centric Approach to Web Service Modeling, Discovery, and Selection

Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible\ud and effective manner. The basic idea of SOC is to understand users'\ud requirements for SBAs first, and then discover and select relevant\ud services (i.e., that fit closely functional requirements) and offer\ud a high Quality of Service (QoS). Understanding users’ requirements\ud is already achieved by existing requirement engineering approaches\ud (e.g., TROPOS, KAOS, and MAP) which model SBAs in a requirement-driven\ud manner. However, discovering and selecting relevant and high QoS\ud services are still challenging tasks that require time and effort\ud due to the increasing number of available Web services. In this paper,\ud we propose a requirement-centric approach which allows: (i) modeling\ud users’ requirements for SBAs with the MAP formalism and specifying\ud required services using an Intentional Service Model (ISM); (ii)\ud discovering services by querying the Web service search engine Service-Finder\ud and using keywords extracted from the specifications provided by\ud the ISM; and(iii) selecting automatically relevant and high QoS services\ud by applying Formal Concept Analysis (FCA). We validate our approach\ud by performing experiments on an e-books application. The experimental\ud results show that our approach allows the selection of relevant and\ud high QoS services with a high accuracy (the average precision is\ud 89.41%) and efficiency (the average recall is 95.43%)

The experiences of women with polycystic ovary syndrome on a very low-calorie diet

The research was funded by an educational grant from LighterLife. Broom was the Medical Director for LighterLife at the time of the research. Johnson is the Head of Nutrition and Research at LighterLife. The authors report no other conflicts of interest in this work.Peer reviewedPublisher PD

Spontaneous symmetry breaking in a two-lane model for bidirectional overtaking traffic

First we consider a unidirectional flux \omega_bar of vehicles each of which is characterized by its `natural' velocity v drawn from a distribution P(v). The traffic flow is modeled as a collection of straight `world lines' in the time-space plane, with overtaking events represented by a fixed queuing time tau imposed on the overtaking vehicle. This geometrical model exhibits platoon formation and allows, among many other things, for the calculation of the effective average velocity w=\phi(v) of a vehicle of natural velocity v. Secondly, we extend the model to two opposite lanes, A and B. We argue that the queuing time \tau in one lane is determined by the traffic density in the opposite lane. On the basis of reasonable additional assumptions we establish a set of equations that couple the two lanes and can be solved numerically. It appears that above a critical value \omega_bar_c of the control parameter \omega_bar the symmetry between the lanes is spontaneously broken: there is a slow lane where long platoons form behind the slowest vehicles, and a fast lane where overtaking is easy due to the wide spacing between the platoons in the opposite direction. A variant of the model is studied in which the spatial vehicle density \rho_bar rather than the flux \omega_bar is the control parameter. Unequal fluxes \omega_bar_A and \omega_bar_B in the two lanes are also considered. The symmetry breaking phenomenon exhibited by this model, even though no doubt hard to observe in pure form in real-life traffic, nevertheless indicates a tendency of such traffic.Comment: 50 pages, 16 figures; extra references adde

Hybrid in vitro diffusion cell for simultaneous evaluation of hair and skin decontamination: temporal distribution of chemical contaminants

Most casualty or personnel decontamination studies have focused on removing contaminants from the skin. However, scalp hair and underlying skin are the most likely areas of contamination following airborne exposure to chemicals. The aim of this study was to investigate the interactions of contaminants with scalp hair and underlying skin using a hybrid in vitro diffusion cell model. The in vitro hybrid test system comprised “curtains” of human hair mounted onto sections of excised porcine skin within a modified diffusion cell. The results demonstrated that hair substantially reduced underlying scalp skin contamination and that hair may provide a limited decontamination effect by removing contaminants from the skin surface. This hybrid test system may have application in the development of improved chemical incident response processes through the evaluation of various hair and skin decontamination strategies.Peer reviewedFinal Published versio

Chaotic properties of systems with Markov dynamics

We present a general approach for computing the dynamic partition function of a continuous-time Markov process. The Ruelle topological pressure is identified with the large deviation function of a physical observable. We construct for the first time a corresponding finite Kolmogorov-Sinai entropy for these processes. Then, as an example, the latter is computed for a symmetric exclusion process. We further present the first exact calculation of the topological pressure for an N-body stochastic interacting system, namely an infinite-range Ising model endowed with spin-flip dynamics. Expressions for the Kolmogorov-Sinai and the topological entropies follow.Comment: 4 pages, to appear in the Physical Review Letter

A Hierarchy of Heuristic-Based Models of Crowd Dynamics

We derive a hierarchy of kinetic and macroscopic models from a noisy variant of the heuristic behavioral Individual-Based Model of Moussaid et al, PNAS 2011, where the pedestrians are supposed to have constant speeds. This IBM supposes that the pedestrians seek the best compromise between navigation towards their target and collisions avoidance. We first propose a kinetic model for the probability distribution function of the pedestrians. Then, we derive fluid models and propose three different closure relations. The first two closures assume that the velocity distribution functions are either a Dirac delta or a von Mises-Fisher distribution respectively. The third closure results from a hydrodynamic limit associated to a Local Thermodynamical Equilibrium. We develop an analogy between this equilibrium and Nash equilibia in a game theoretic framework. In each case, we discuss the features of the models and their suitability for practical use

Frozen shuffle update for an asymmetric exclusion process on a ring

We introduce a new rule of motion for a totally asymmetric exclusion process (TASEP) representing pedestrian traffic on a lattice. Its characteristic feature is that the positions of the pedestrians, modeled as hard-core particles, are updated in a fixed predefined order, determined by a phase attached to each of them. We investigate this model analytically and by Monte Carlo simulation on a one-dimensional lattice with periodic boundary conditions. At a critical value of the particle density a transition occurs from a phase with `free flow' to one with `jammed flow'. We are able to analytically predict the current-density diagram for the infinite system and to find the scaling function that describes the finite size rounding at the transition point.Comment: 16 page