The aim of the COSoDIS project - Contract-Oriented Software Development for Internet Services is to develop novel approaches to implement and reason about contracts in a service oriented architecture. The fundamental insight is that system developers lack appropriate abstraction mechanisms to work with these architectures. Therefore the goal is to design and give proof of usefulness of system modeling and programming language tools to empower SOA developers to deploy highly dynamic, negotiable and monitorable Internet services.