Service-oriented modeling for e-business applications components

The emerging trends for e-business engineering revolve around specialisation and cooperation. Successful companies focus on their core competences, and rely on a network of business partners for the support services required to compose a comprehensive offer for their customers. Modulariy is crucial for a flexible e-business infrastructure, but related requirements seldom reflect on the design and operational models of business information systems. Software components are widely used for the implementation of e-business applications, with proved benefits in terms of system development and maintenance. We propose a service-oriented componentisation of ebusiness systems as a way to close the gap with the business models they support. Blurring the distinction between external services and internal capabilities, we propose a homogeneous model for the definition of ebusiness applications components. After a brief discussion on the foundational aspects of the approach, we present the process-based technique we adopted for component modelling. We then present an infrastructure compliant with the model proposed that we built on top of an EJB (Enterprise Java Beans) platform

Modelling electronic service systems using UML

This paper presents a profile for modelling systems of electronic services using UML. Electronic services encapsulate business services, an organisational unit focused on delivering benefit to a consumer, to enhance communication, coordination and information management. Our profile is based on a formal, workflow-oriented description of electronic services that is abstracted from particular implementation technologies. Resulting models provide the basis for a formal analysis to verify behavioural properties of services. The models can also relate services to management components, including workflow managers and Electronic Service Management Systems (ESMSs), a novel concept drawn from experience of HP Service Composer and DySCo (Dynamic Service Composer), providing the starting point for integration and implementation tasks. Their UML basis and platform-independent nature is consistent with a Model-Driven Architecture (MDA) development strategy, appropriate to the challenge of developing electronic service systems using heterogeneous technology, and incorporating legacy systems

Effective potential at finite temperature in a constant hypermagnetic field: Ring diagrams in the Standard Model

We study the symmetry breaking phenomenon in the standard model during the electroweak phase transition in the presence of a constant hypermagnetic field. We compute the finite temperature effective potential up to the contribution of ring diagrams in the weak field, high temperature limit and show that under these conditions, the phase transition becomes stronger first order.Comment: 15 pages, 8 Postscript figure

Effective potential at finite temperature in a constant magnetic field I: Ring diagrams in a scalar theory

We study symmetry restoration at finite temperature in the theory of a charged scalar field interacting with a constant, external magnetic field. We compute the finite temperature effective potential including the contribution from ring diagrams. We show that in the weak field case, the presence of the field produces a stronger first order phase transition and that the temperature for the onset of the transition is lower, as compared to the case without magnetic field.Comment: Expanded comments, 4 figures added. Conclusions unchanged. Version to match published pape

SHIP MOTION SHORT TERM TIME DOMAIN SIMULATOR AND ITS APPLICATION TO COSTA CONCORDIA EMERGENCY MANOEUVRES JUST BEFORE THE JANUARY 2012 ACCIDENT

In this paper we will present a simple but reliable methodology for short term prediction of a cruise ship behaviour during manoeuvres. The methodology is quite general and could be applied to any kind of ship, because it does not require the prior knowledge of any structural or mechanical parameter of the ship. It is based only on the results of manoeuvrability data contained in the Manoeuvring Booklet, which in turn is filled out after sea trials of the ship performed before his delivery to the owner. We developed this method to support the investigations around the Costa Concordia shipwreck, which happened near the shores of Italy in January 2012. It was then validated against the data recorded in the “black box” of the ship, from which we have been able to extract an entire week of voyage data before the shipwreck. The aim was investigating the possibility of avoiding the impact by performing an evasive manoeuvre (as ordered by the Captain some seconds before the impact, but allegedly misunderstood by the helmsman). The preliminary validation step showed a good matching between simulated and real values (course and heading of the ship) for a time interval of a few minutes. The fact that the method requires only the results registered in the VDR (Voyage Data Recorder) during sea trial tests, makes it very useful for several applications. Among them, we can cite forensic investigation, the development of components for autopilots, the prediction of the effects of a given manoeuvre in shallow water, the “a posteriori” verification of the correctness of a given manoeuvre and the use in training simulators for ship pilots and masters

Feynman parametrization and Mellin summation at finite temperature

We show that the Mellin summation technique (MST) is a well defined and useful tool to compute loop integrals at finite temperature in the imaginary-time formulation of thermal field theory, especially when interested in the infrared limit of such integrals. The method makes use of the Feynman parametrization which has been claimed to have problems when the analytical continuation from discrete to arbitrary complex values of the Matsubara frequency is performed. We show that without the use of the MST, such problems are not intrinsic to the Feynman parametrization but instead, they arise as a result of (a) not implementing the periodicity brought about by the possible values taken by the discrete Matsubara frequencies before the analytical continuation is made and (b) to the changing of the original domain of the Feynman parameter integration, which seemingly simplifies the expression but in practice introduces a spurious endpoint singularity. Using the MST, there are no problems related to the implementation of the periodicity but instead, care has to be taken when the sum of denominators of the original amplitude vanishes. We apply the method to the computation of loop integrals appearing when the effects of external weak magnetic fields on the propagation of scalar particles is considered.Comment: 16 pages, 1 figure. Discussion expanded. References added. Published versio

The effects of Non-Gaussian initial conditions on the structure and substructure of Cold Dark Matter halos

We study the structure and substructure of halos obtained in N-body simulations for a Lambda Cold Dark Matter (LCDM) cosmology with non-Gaussian initial conditions (NGICs). The initial statistics are lognormal in the gravitational potential field with positive (LNp) and negative (LNn) skewness; the sign of the skewness is conserved by the density field, and the power spectrum is the same for all the simulations. Our aim is not to test a given non-Gaussian statistics, but to explore the generic effect of positive- and negative-skew statistics on halo properties. From our low-resolution simulations, we find that LNp (LNn) halos are systematically more (less) concentrated than their Gaussian counterparts. This result is confirmed by our Milky Way- and cluster-sized halos resimulated with high-resolution. In addition, they show inner density profiles that depend on the statistics: the innermost slopes of LNp (LNn) halos are steeper (shallower) than those obtained from the corresponding Gaussian halos. A subhalo population embedded in LNp halos is more susceptible to destruction than its counterpart inside Gaussian halos. On the other hand, subhalos in LNn halos tend to survive longer than subhalos in Gaussian halos. The spin parameter probability distribution of LNp (LNn) halos is skewed to smaller (larger) values with respect to the Gaussian case. Our results show how the statistics of the primordial density field can influence some halo properties, opening this the possibility to constrain, although indirectly, the primordial statistics at small scale.Comment: 15 pages, 8 figures. Slight corrections after referee report. To appear in ApJ, v598, November 20, 200

Real-time Chern-Simons term for hypermagnetic fields

If non-vanishing chemical potentials are assigned to chiral fermions, then a Chern-Simons term is induced for the corresponding gauge fields. In thermal equilibrium anomalous processes adjust the chemical potentials such that the coefficient of the Chern-Simons term vanishes, but it has been argued that there are non-equilibrium epochs in cosmology where this is not the case and that, consequently, certain fermionic number densities and large-scale (hypermagnetic) field strengths get coupled to each other. We generalise the Chern-Simons term to a real-time situation relevant for dynamical considerations, by deriving the anomalous Hard Thermal Loop effective action for the hypermagnetic fields, write down the corresponding equations of motion, and discuss some exponentially growing solutions thereof.Comment: 13 page

Fermion scattering off electroweak phase transition kink walls with hypermagnetic fields

We study the scattering of fermions off a finite width kink wall during the electroweak phase transition in the presence of a background hypermagnetic field. We derive and solve the Dirac equation for such fermions and compute the reflection and transmission coefficients for the case when the fermions move from the symmetric to the broken symmetry phase. We show that the chiral nature of the fermion coupling with the background field in the symmetric phase generates an axial asymmetry in the scattering processes. We discuss possible implications of such axial charge segregation for baryon number generation.Comment: 9 pages, 3 Postscript figures, uses RevTeX4. Expanded discussion, published versio

Faraday rotation, stochastic magnetic fields and CMB maps

The high- and low-frequency descriptions of the pre-decoupling plasma are deduced from the Vlasov-Landau treatment generalized to curved space-times and in the presence of the relativistic fluctuations of the geometry. It is demonstrated that the interplay between one-fluid and two-fluid treatments is mandatory for a complete and reliable calculation of the polarization observables. The Einstein-Boltzmann hierarchy is generalized to handle the dispersive propagation of the electromagnetic disturbances in the pre-decoupling plasma. Given the improved physical and numerical framework, the polarization observables are computed within the magnetized $\Lambda$CDM paradigm (m$\Lambda$CDM). In particular, the Faraday-induced B-mode is consistently estimated by taking into account the effects of the magnetic fields on the initial conditions of the Boltzmann hierarchy, on the dynamical equations and on the dispersion relations. The complete calculations of the angular power spectra constitutes the first step for the derivation of magnetized maps of the CMB temperature and polarization which are here obtained for the first time and within the minimal m$\Lambda$CDM model. The obtained results set the ground for direct experimental scrutiny of large-scale magnetism via the low and high frequency instruments of the Planck explorer satellite.Comment: 53 pages, 15 included figure