Contract-Oriented Software Development for Internet Services

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.

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.

COSDIS is a Nordunet3 project.

External homepage: 
http://folk.uio.no/gerardo/nordunet3/index.shtml