Modeling and Transformation of Workflows With Temporal Constraints (Disdbis Dissertationen Zu Datenbanken Und Informationssystemen)