The aim of the Contract-Oriented Software Development for Internet Services project is to develop novel approaches to implement and reason about contracts in a service oriented architecture....