A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a complex task. In our work, we have taken an architecture based approach to the modeling, predicting and monitoring of properties in distributed software systems. This paper proposes redundancy strategies for serviceoriented systems and models services with their associated protocols. We derive formal models from thesedoi:10.1109/seaa.2009.59 dblp:conf/euromicro/MayST09 fatcat:j2ojv25b4rc75etqvh5cjsrgdq