Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach
Markus Bajohr, Tiziana Margaria, Bernhard Steffen · 2006
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.