Modeling And Transformation Of Workflows In Temporal Constraints by W. Gruber