Protocol Compatibility Notations for Service Integration Testing

This paper provides a notation of protocol compatibility among services and describe how this can be useful to test interoperability in Service-Based Applications (SBA). Indeed, the features of a SBA, like distribution and loosely-coupling make usual testing techniques inefficient, especially when the choreography model is adopted. We argue that only the service interface description is not enough to prove and test compatibility among services. Services behavior should also be described. In this paper we introduce a formal model based on message-exchange that should fit for it, consider- ing a service as a non-deterministic finite state automaton. According to this model, we can finally discuss a definition of protocol compatibility and its role for test generation

A cloud-based solution for public administrations: The experience of the Regione Marche

Cloud computing is perceived as the next wave of ICT, and many real experiences are on the commercial scene. However this kind of architecture has open legal issues which makes it an endeavor for Public Administrations, despite its potential impact on the efficiency, effectiveness and transparency of administrative initiatives. In the present paper we present the experience made in the deployment of a Cloud solution in the Regione Marche Local Public Administration, which represents one of the pilot experiences at Nationallevel