The Reasonable Web is a language for developing mashup programs, along with an associated reasoning system to prove fault freedom of both mashup service components and their usages. This is ongoing research, supervised by Philippa Gardner, involving Gareth Smith and Adam Wright.
Our current thinking is given in our paper draft, "Resource Reasoning about Mashups". You can read the associated technical report below, and see our implementation work alongside the example.