Dependability modeling of web service flows

The trend of service-based integration of heterogeneous, loosely-coupled systems raises the problem of dependability analysis of process descriptions. These integrated systems ttypically implement workflows built of distributed services, over which the provider of the main service does not have a complete control. Therefore, the non-functional parameters of the basic services have to be described by service Level Agreements, so that the main service provider can analyse the different system configurations (i.e., processes built of different external services or of the same services with different SLAs). In our research, we iinvestigate the possibility of analysing Webb service flows with given SLAs by generating a dependability model of the system as a Multiple-Phased System.