ODACE SLA is composed of four modules: the correspondence generation module, the correspondence refinement module, the correspondence evaluation module and the contract generation module. This architecture takes in input the client intention as an ontology instance (example) and the provider offers as an instance of another ontology (example). The first module of our matching process consists in searching all the possible correspondences between the client and the provider models. These models are based on ontologies which encapsulate high level semantics facilitating reasoning and inference to better automate contract negotiation between service providers and consumers. In fact, ontologies provide a formal, syntactic, and semantic description model of concepts, properties and relationships between concepts. They also provide inference languages that can be used for reasoning and for data sources matching. The second module of our approach corrects and refines the generated correspondences. The third module consists in verifying the client constraints with their corresponding available values at the provider side. The fourth module consists in generating a draft of an SLA (example).