Approach to Incremental Modelling of Web Services Orchestration - An Application to Deadlock-free Scheduling in Automated Systems