Service based enabling service availability in the MaTRICS: A model-driven approach

Markus Bajohr, Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - ISoLA 2006
Subtitle of host publication2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
PublisherIEEE Computer Society
Pages317-324
Number of pages8
ISBN (Print)0769530710, 9780769530710
DOIs
Publication statusPublished - 2006
Externally publishedYes
Event2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus
Duration: 15 Nov 200619 Nov 2006

Publication series

NameProceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Conference

Conference2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
Country/TerritoryCyprus
CityPaphos
Period15/11/0619/11/06

Fingerprint

Dive into the research topics of 'Service based enabling service availability in the MaTRICS: A model-driven approach'. Together they form a unique fingerprint.

Cite this