: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to specify the business interactions required to achieve the service level, which can be seen as the dynamic part of the contract. We suggest a procedure to derive both parts of the service contract from the same model of the interactions between service provider and client. This ensures the alignment of both parts and adds richer, behavioural semantics to the contract. We show the feasibility of the approach in a case study with a logistics service provider and its clients.