A Service Level Agreement (SLA) is a legal contract that ensures quality of service between parties. However, it can be difficult to guarantee levels of quality and detect SLA violations in cloud computing infrastructures. The document proposes using Model Driven Engineering (MDE) to formally define SLA contract requirements and integrate it with a multi-agent system to autonomously monitor for SLA violations in real-time. This combined approach of MDE and multi-agent systems aims to improve transparency and enforcement of SLA contracts for cloud services.