Models for the Supervision of Web Services Orchestration with Dynamic Changes