Venue

VSTTE Theory Workshop 2010

Publication Year

2010

Authors

Abstract

The growing “mashup” phenomenon involves websites using scripting languages alongside data to create complex applications that integrate data and code from many sources. This leads to problems with reliability, as either sources change unaware that they are a dependency of a remote service, or clients of a service use resources that are accidentally exposed, or the dynamic nature of the scripting languages cause unexpected interactions. We show how resource reasoning can be used to construct provably fault free mashup programs, where services deliberately expose a subset of their data and code, and clients ensure the integration of components is sound.

Source Materials