9,894 research outputs found
A formal support to business and architectural design for service-oriented systems
Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria
Evaluating the performance of model transformation styles in Maude
Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages. General rewriting frameworks such as Maude are flexible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer’s background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We point out the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other
Hierarchical models for service-oriented systems
We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations. Each domain of interpretation focuses on a particular perspective of the graph hierarchy: the top view (nested boxes) is based on a notion of embedded graphs while the side view (tree hierarchy) is based on gs-graphs. Our algebra can be understood as a high-level language for describing such graphical models, which are well suited for defining graphical representations of service-oriented systems where nesting (e.g. sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects
An Algebra of Hierarchical Graphs
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects
A molecular dynamics simulation of water confined in a cylindrical SiO2 pore
A molecular dynamics simulation of water confined in a silica pore is
performed in order to compare it with recent experimental results on water
confined in porous Vycor glass at room temperature. A cylindrical pore of 40 A
is created inside a vitreous SiO2 cell, obtained by computer simulation. The
resulting cavity offers to water a rough hydrophilic surface and its geometry
and size are similar to those of a typical pore in porous Vycor glass. The
site-site distribution functions of water inside the pore are evaluated and
compared with bulk water results. We find that the modifications of the
site-site distribution functions, induced by confinement, are in qualitative
agreement with the recent neutron diffraction experiment, confirming that the
disturbance to the microscopic structure of water mainly concerns orientational
arrangement of neighbouring molecules. A layer analysis of MD results indicates
that, while the geometrical constraint gives an almost constant density profile
up to the layers closest to the interface, with an uniform average number of
hydrogen bonds (HB), the hydrophilic interaction produces the wetting of the
pore surface at the expenses of the adjacent water layers. Moreover the
orientational disorder togheter with a reduction of the average number of HB
persists in the layers close to the interface, while water molecules cluster in
the middle of the pore at a density and with a coordination similar to bulk
water.Comment: RevTex, 11 pages, 12 figures; to appear in June 15 issue of J. Chem.
Phy
Neurodegenerative diseases: complexity of clinical phenotypes in genetic models of alzheimer’s disease and frontotemporal dementia
Cosmic no-hair: non-linear asymptotic stability of de Sitter universe
We study the asymptotic stability of de Sitter spacetime with respect to
non-linear perturbations, by considering second order perturbations of a flat
Robertson-Walker universe with dust and a positive cosmological constant. Using
the synchronous comoving gauge we find that, as in the case of linear
perturbations, the non-linear perturbations also tend to constants,
asymptotically in time. Analysing curvature and other spacetime invariants we
show, however, that these quantities asymptotically tend to their de Sitter
values, thus demonstrating that the geometry is indeed locally asymptotically
de Sitter, despite the fact that matter inhomogeneities tend to constants in
time. Our results support the inflationary picture of frozen amplitude matter
perturbations that are stretched outside the horizon, and demonstrate the
validity of the cosmic no-hair conjecture in the nonlinear inhomogeneous
settings considered here.Comment: 8 pages, REVTEX, submitted to Physical Review Lette
Integrating Dynamics and Wear Modelling to Predict Railway Wheel Profile Evolution
The aim of the work described was to predict wheel
profile evolution by integrating multi-body dynamics
simulations of a wheelset with a wear model.
The wear modelling approach is based on a wear
index commonly used in rail wear predictions. This
assumes wear is proportional to Tγ, where T is tractive
force and γ is slip at the wheel/rail interface. Twin disc
testing of rail and wheel materials was carried out to
generate wear coefficients for use in the model.
The modelling code is interfaced with
ADAMS/Rail, which produces multi-body dynamics
simulations of a railway wheelset and contact conditions
at the wheel/rail interface. Simplified theory of rolling
contact is used to discretise the contact patches
produced by ADAMS/Rail and calculate traction and
slip within each.
The wear model combines the simplified theory of
rolling contact, ADAMS/Rail output and the wear
coefficients to predict the wear and hence the change of
wheel profile for given track layouts
- …