A Formal Orchestration Model for Dynamically Adaptable Services with COWS