The Transformation of Liveness to the XML Process Definition Language