CONTRACT
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.