A formal task model for flexible workflows systems

In order to make the workflows systems more adaptable to the dynamic changes, we depict a task formal model which makes possible to define the various relations between the tasks and particularly to ensure the feasibility of the workflow execution and to provide solutions whenever any change is met during its running.