Resource Reasoning about Mashups
Venue
VSTTE Theory Workshop 2010
Publication Year
2010
Authors
- Philippa A Gardner
- Gareth D Smith
- Adam D Wright
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.