CONTRACT is a research project funded by the European Commission in the context of the 6th Framework Program. The aim of the project is develop frameworks, components and tools which make it possible to model, build, verify and monitor distributed electronic business systems on the basis of dynamically generated, cross-organisational contracts which underpin formal descriptions of the expected behaviours of individual services and the system as a whole. The project covers both theoretical and practical aspects and the resulting systems will make it possible to:

• specify electronic business-to-business interactions in terms of contracts,
• dynamically establish and manage contracts at runtime in a digital business environment,
• apply formal verification techniques to collections of contracts in a digital business environment, and,
• apply monitoring techniques to contract implementation in order to help provide the basis for business confidence in e-Business infrastructures.

Project results will include publicly available theoretical models, a reusable contracting language specification, open source software components compatible with leading e-Business environments and tools implementing innovative verification techniques which make it possible to check the properties of contract based business systems both at design time and runtime.

Start Date / Duration
The project started on the 1st of September, 2006 and will continue until 2009. Public results will appear here from early 2007.

Acknowledgement and Legal notice/Disclaimer
The CONTRACT project is co-funded by the European Commission under the 6th Framework Programme for RTD with project number FP6-034418.

Notwithstanding this fact, this web site and its content reflects only the project consortium's / authors' views.The European Commission is not responsible for its contents, or liable for the possible effects of any usage of the information contained therein.