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

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

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

Effect of Beam Dynamics Processes in the Low Energy Ring ThomX

As part of the R\&D for the 50 MeV ThomX Compton source project, we have studied the effect of several beam dynamics processes on the evolution of the beam in the ring. The processes studied include among others Compton scattering, intrabeam scattering, coherent synchrotron radiation. We have performed extensive simulations of a full injection/extraction cycle (400000 turns). We show how each of these processes degrades the flux of photons produced and how a feedback system contributes to recovering most of the flux.Comment: Submitted to IPAC'14, WEPRO00