Dynamic SLAs management in service oriented environments

The increasing adoption of service oriented architectures across different administrative domains, forces service providers to use effective mechanisms and strategies of resource management in order for them to be able to guarantee the quality levels their customers demands during service provisioning. Service level agreements (SLA) are the most common mechanism used to establish agreements on the quality of a service (QoS) between a service provider and a service consumer. The WS-Agreement specification, developed by the Open Grid Forum, is a Web Service protocol to establish agreements on the QoS level to be guaranteed in the provision of a service. The committed agreement cannot be modified during service provision and is effective until all activities pertaining to it are finished or until one of the signing party decides to terminate it. In B2B scenarios where several service providers are involved in the composition of a service, and each of them plays both the parts of provider and customer, several one-to-one SLAs need to be signed. In such a rigid context the global QoS of the final service can be strongly affected by any violation on each single SLA. In order to prevent such violations, SLAs need to adapt to any possible needs that might come up during service provision. In this work we focus on the WS-Agreement specification and propose to enhance the flexibility of its approach. We integrate new functionality to the protocol that enable the parties of a WS-Agreement to re-negotiate and modify its terms during the service provision, and show how a typical scenario of service composition can benefit from our proposal.     

Featherweight Java with dynamic and static overloading

We propose FMJ (Featherweight Multi Java), an extension of Featherweight Java with encapsulated multi-methods thus providing dynamic overloading. Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful and flexible mechanism which enhances re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., Java, do not provide it, resorting to only static overloading.The proposed extension is conservative and type safe: both “message-not-understood” and “message-ambiguous” are statically ruled out. Possible ambiguities are checked during type checking only on method invocation expressions, without requiring to inspect all the classes of a program. A static annotation with type information guarantees that in a well-typed program no ambiguity can arise at run-time. This annotation mechanism also permits modeling static overloading in a smooth way.Our core language can be used as the formal basis for an actual implementation of dynamic (and static) overloading in Java-like languages.     

Robust design of nonlinear internal models without adaptation

We propose a solution to the problem of semiglobal output regulation for nonlinear minimum-phase systems driven by uncertain exosystems that does not rely upon conventional adaptation schemes to estimate the frequency of the exogenous signals. Rather, the proposed approach relies upon regression-like arguments used to derive a nonlinear internal model able to offset the presence of an unknown number of harmonic exogenous inputs of uncertain amplitude, phase and frequency. The design methodology guarantees asymptotic regulation if the dimension of the regulator exceeds a lower bound determined by the actual number of harmonic components of the exogenous input. If this is not the case, a bounded steady-state regulation error is ensured whose amplitude, though, can be arbitrarily decreased by acting on a design parameter of the regulator.     

A procedure for the computation of accurate PWL approximations of non‐linear dynamical systems

In this paper we propose a variational method to find out piecewise‐linear (PWL) approximations of non‐linear dynamical systems in view of their circuit implementations. The method is based on some significant trajectories of the dynamical system and provides reasonably accurate PWL approximations with a relatively low number of parameters. The effectiveness of the method is validated by applying it to the approximation of limit cycles (both stable and unstable) in the Bautin system. Copyright © 2006 John Wiley & Sons, Ltd.     

Design and evaluation of a multimedia storage server for mixed traffic

The relative simplicity of access to digital communications nowadays and the simultaneous increase in the available bandwidth are leading to the definition of new telematic services, mainly oriented towards multimedia applications and interactivity with the user. In the near future, a decisive role will be played in this scenario by the providers of interactive multimedia services of the on-demand type, which will guarantee the end user a high degree of flexibility, speed and efficiency. In this paper, some of the technical aspects regarding these service providers are dealt with, paying particular attention to the problems of storing information and managing service requests. More specifically, the paper presents and evaluates a new storage technique based on the use of disk array technology, which can manage both typical multimedia connections and traditional requests. The proposed architecture is based on the joint use of the partial dynamic declustering and the information dispersal algorithm, which are employed for the allocation and retrieval of the data stored on the disk array. We also define efficient strategies for request management in such a way as to meet the time constraints imposed by multimedia sessions and guarantee good response times for the rest of the traffic. The system proposed is then analyzed using a simulation approach.     

An Attempt at the Classification of Energy Decaying Schemes for Structural and Multibody Dynamics

This paper analyzes the formulation of energy preserving/decaying schemes for dynamics problems. We argue that any energy preserving/decaying scheme can always be seen as composed of an underlying temporal discretization, that is then slightly modified in order to prove a discrete energy bound within a time step. While the details of the modified scheme depend in a critical way on the governing equations, the underlying discretization can in principle be applied to a variety of models. We review some of the temporal underlying schemes recently proposed in the literature, presenting them with a common notation. We show their similarities and highlight their differences.     

Implicit fault-tolerant control: application to induction motors

In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully adopted in order to design a regulator able to offset the effect of all possible faults which can occur and, in doing so, also to detect and isolate the occurred fault. The regulator is designed by embedding the (possible nonlinear) internal model of the fault. This idea is applied to the design of a fault-tolerant controller for induction motors in presence of both rotor and stator mechanical faults.     

Modelling observed California Current mesoscale eddies and the ecosystem response

Satellite and in situ observations are used to test model dynamics for the California Current System (CCS). The model and data are combined to reconstruct the mesoscale ocean structure during a given three-week period. The resulting physical flow field is used to drive a 3D ecosystem model to interpret SeaWiFS and in situ chlorophyll-a (chl-a) variations. With this approach a more complete and consistent picture of the physical and ecosystem processes of the CCS is obtained, providing the basis for addressing fundamental questions about dynamics and predictability of the coastal ocean.     

Matched disturbance suppression for nonlinear systems stabilizable by logic-based feedback

We focus on a class of nonlinear systems that can be stabilized at a desired compact set by means of logic-based continuous feedback and we show how to design regulators that are robust to matched exosystem-generated disturbances. The proposed design methodology, of interest also for purely continuous-time systems, combines recent advances in the field of hybrid control systems and output regulation for nonlinear systems. As an illustrative example, the problem of global stabilization of a 6-DOF rigid body affected by a force periodic disturbance of uncertain amplitude, phase and frequency is presented.