Model-based validation for internet services

Andrew Tjang, Fábio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations


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 ( 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.

Original languageEnglish (US)
Title of host publicationProceedings - 28th IEEE International Symposium on Reliable Distributed Systems, SRDS 2009
Number of pages10
StatePublished - 2009
Event28th IEEE International Symposium on Reliable Distributed Systems, SRDS 2009 - Niagara Falls, NY, United States
Duration: Sep 27 2009Sep 30 2009

Publication series

NameProceedings of the IEEE Symposium on Reliable Distributed Systems


Other28th IEEE International Symposium on Reliable Distributed Systems, SRDS 2009
Country/TerritoryUnited States
CityNiagara Falls, NY

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications


  • Internet service
  • Model
  • Operator mistake
  • Validation


Dive into the research topics of 'Model-based validation for internet services'. Together they form a unique fingerprint.

Cite this