A logic-based framework for managing service-level agreements created by Adrian Paschke.
Not sure why the focus on SLAs particularly, or what the implications are for general-purpose contracts.
paper