Skip to content


Contract based e-Business System Engineering for robust, verifiable Cross-Organisational Business Applications

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.