NDLI: Model-Based Validation for Internet Services

Content Provider	IEEE Xplore Digital Library
Author	Tjang, A. Oliveira, F. Bianchini, R. Martin, R.P. Nguyen, T.D.
Copyright Year	2009
Abstract	Operator mistakes are a significant 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 configurations and behaviors. These models are then used to guide the specification of validation assertions that check the correctness of operator actions before they are exposed. We have implemented a prototype model-based 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.
Starting Page	61
Ending Page	70
File Size	430333
Page Count	10
File Format	PDF
ISBN	9780769538266
ISSN	10609857
DOI	10.1109/SRDS.2009.24
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-09-27
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Web and internet services Crawlers Search engines Prototypes Software prototyping System testing Computer science USA Councils Design engineering Electronic mail internet service model operator mistake
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Networks and Communications Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Dependability in web services

RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization

Satem: Trusted Service Code Execution across Transactions

Satem: Trusted Service Code Execution across Transactions

Research on Web service discovery based on domain ontology

WRAPS: Denial-of-Service Defense through Web Referrals

Efficient model-driven service brokering using Web services

Discovering Web Services in Search Engines

Self-managing federated services

Model-Based Validation for Internet Services

Similar Documents

Dependability in web services

RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization

Satem: Trusted Service Code Execution across Transactions

Satem: Trusted Service Code Execution across Transactions

Research on Web service discovery based on domain ontology

WRAPS: Denial-of-Service Defense through Web Referrals

Efficient model-driven service brokering using Web services

Discovering Web Services in Search Engines

Self-managing federated services

Model-Based Validation for Internet Services