ParTes: A Test Generation Strategy for Choreography Participants

Abstract—Inter-organizational business processes permit to specify how different organizations can integrate to carry on business activities together. In this context choreography specifications provide a particularly useful view permitting to define how different organizations should interact and exchange messages in order to fruitfully cooperate. Tools and mechanisms permitting to check that a stakeholder, and its provided e-services, are able to correctly cooperate according to the global specification become an important and useful asset. This is particularly true when open specifications are considered and services dynamically integrate with each other at run-time. This paper proposes a novel derivation strategy for test case skeletons, which can be successively refined and concretized to check the behaviour of parties willing to play a role within a choreography enactment. The very basic idea is to derive test cases from the possible interaction traces included in the choreography specification handled as a workflow graph. The selection of traces to use for test derivation purpose is driven by a specifically conceived technique to work flow refactoring which permits to reduce the number of interleavings to explore, in particular when parallel statements are considered

Prototyping a Cloud Ecosystem for a Regional Public Administration

In this paper we present the lessons learned in the deployment of a Cloud solution in the Marche Region Local Public Administration, which represents one of the pilot experiences at National level. The MarcheCloud (MCloud) pilot Project, started in mid-2012 as a joint collaboration among the Marche Region, National Institute of Nuclear Physics (INFN), University of Camerino and Polytechnic University of Marche