TY - GEN
T1 - Service based enabling service availability in the MaTRICS
T2 - 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
AU - Bajohr, Markus
AU - Margaria, Tiziana
AU - Steffen, Bernhard
PY - 2006
Y1 - 2006
N2 - In today's business the availability of services is of central importance. To guarantee a higher availability of a service, like a web-service, it can be installed on several machines, which are running in a hot-standby operation. In case of a fault one hot-standby service can take over the work of the faulty service. Novel to our approach is that this kind of redundancy can be applied to services, that normally do not support service availability concepts. The switching of one machine running in hot-standby mode to active can be done from an external system monitoring the service. MaTRICS is an architecture that allows the configuration of any service provided by a specific server. The specification is done by service logic graphs, which can be validated by model checking.
AB - In today's business the availability of services is of central importance. To guarantee a higher availability of a service, like a web-service, it can be installed on several machines, which are running in a hot-standby operation. In case of a fault one hot-standby service can take over the work of the faulty service. Novel to our approach is that this kind of redundancy can be applied to services, that normally do not support service availability concepts. The switching of one machine running in hot-standby mode to active can be done from an external system monitoring the service. MaTRICS is an architecture that allows the configuration of any service provided by a specific server. The specification is done by service logic graphs, which can be validated by model checking.
UR - http://www.scopus.com/inward/record.url?scp=77956444162&partnerID=8YFLogxK
U2 - 10.1109/ISoLA.2006.15
DO - 10.1109/ISoLA.2006.15
M3 - Conference contribution
AN - SCOPUS:77956444162
SN - 0769530710
SN - 9780769530710
T3 - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
SP - 317
EP - 324
BT - Proceedings - ISoLA 2006
PB - IEEE Computer Society
Y2 - 15 November 2006 through 19 November 2006
ER -