Bioinformatics Workflow Modelling and Analysis