Towards a Methodology for Deriving Contract-Compliant Business Processes