An Enactment Infrastructure For Business Process Specifications