Campus Event Calendar
Event Entry
What and Who
Integrated Data, Message, and Process Recovery for Failure Masking in Web Services
German Shegalov
Max-Planck-Institut für Informatik - AG 5
Promotionskolloquium
AG 5
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 26 August 2005
10:00
90 Minutes
46.1 - MPII
024
Saarbrücken
Abstract
Modern Web Service applications encompass multiple distributed interacting components comprising millions of lines of source code. With this complexity, some bugs remain undetected despite extensive testing procedures, and occasionally cause transient system failures. Incorrect failure handling in applications often leads to incomplete or to unintentional request executions. A family of recovery protocols called interaction contracts provides a generic solution to this problem by means of system-integrated data, process, and message recovery for multi-tier applications. The thesis presents a formal specification of the interaction contracts and their verification using Statemate state-and-activity-charts and integrated model checker, respectively. An efficient implementation for Microsoft Internet Explorer and PHP-based Web Services complements the thesis.
Contact
German Shegalov
512
--email hidden
passcode not visible
logged in users only
German Shegalov, 08/23/2005 14:42
Petra Schaaf, 08/02/2005 10:33
Petra Schaaf, 08/02/2005 10:29 -- Created document.
Petra Schaaf, 08/02/2005 10:33
Petra Schaaf, 08/02/2005 10:29 -- Created document.