Inter-operability of Workflow Applications Local Criteria for Global Soundness - Kindler, Ekkart; Martens, Axel; Reisig, Wolfgang 1950- (2000)