: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model is to support monitoring of participants’ behaviour against agreed policies as in business contracts.