STATE-BASED MODELING OF FLEXIBLE WORKFLOW EXECUTIONS IN DISTRIBUTED ENVIRONMENTS · Study