Specifying and Monitoring GrADS Contracts

In this document we define a contract in the context of the GrADS project and describe the current software infrastructure for creating and monitoring contracts. The mechanisms presented are quite flexible and support a wide range of contract specification and verification implementations. This flexibility allows for experimentation to identify the types of contracts that are most effective for applications in the Grid environment targeted by the GrADS project.