@inproceedings{fb2d4832b5854b9cb245e0fc55a40b00,
title = "Model-based validation for internet services",
abstract = "Operator mistakes are a signifcant source of unavailability in Internet services. In our previous work, we proposed operator action validation as an approach for detecting mistakes while hiding them from the service and its users. Previous validation strategies have limitations, however, including the need for instances of correct behavior for comparison. In this paper, we propose a novel model-based validation strategy that addresses these limitations and complements our previous techniques. Model-based validation calls for service engineers to define models of Internet services that can be used to differentiate between correct and incorrect confgurations and behaviors. These models are then used to guide the specifcation of validation assertions that check the correctness of operator actions before they are exposed. We have implemented a prototype modelbased validation system for two services, the Web crawler of a commercial search engine (Ask.com) and an academic yet realistic online auction service. Experimentation with model-based validation demonstrates that it is highly effective at detecting and hiding both activated and latent mistakes.",
keywords = "Internet service, Model, Operator mistake, Validation",
author = "Andrew Tjang and F{\'a}bio Oliveira and Ricardo Bianchini and Martin, {Richard P.} and Nguyen, {Thu D.}",
year = "2009",
doi = "https://doi.org/10.1109/SRDS.2009.24",
language = "English (US)",
isbn = "9780769538266",
series = "Proceedings of the IEEE Symposium on Reliable Distributed Systems",
pages = "61--70",
booktitle = "Proceedings - 28th IEEE International Symposium on Reliable Distributed Systems, SRDS 2009",
note = "28th IEEE International Symposium on Reliable Distributed Systems, SRDS 2009 ; Conference date: 27-09-2009 Through 30-09-2009",
}