Supporting the design of service contracts with interaction models