如何使用xslt更改xml中的值

我有以下xml文件。如果需要，pathToFile中的值可以在开始时在xml文件中为空。你甚至可以删除pathToFile。只有所需的输出和generationDateLocal才重要

<?xml version='1.0' encoding='UTF-8' ?>
<document>
  <properties>
    <basic>

      <property id="pathToFile">
        <value>\\srv\DATEN\generationDateLocal.pdf</value>
      <property id="generationDateLocal">
        <value>20170131T160139</value>
      </property>

    </basic>
  </properties>
</document>

\\srv\DATEN\generationDateLocal.pdf
20170131T160139

需要以下输出

<?xml version='1.0' encoding='UTF-8' ?>
<document>
  <properties>
    <basic>

      <property id="pathToFile">
        <value>\\srv\DATEN\20170131T160139.pdf</value>
      <property id="generationDateLocal">
        <value>20170131T160139</value>
      </property>

    </basic>
  </properties>
</document>

\\srv\DATEN\20170131T160139.pdf
20170131T160139

如何使用xslt实现这一目标？

类似这样的内容：

<xsl:template match="basic">
  <basic>
    <property id="pathToFile">
        <value>\\srv\DATEN\<xsl:value-of select="property[2]/value"/>.pdf</value>
    </property>
    <xsl:copy-of select="property[2]"/>
  </basic>
</xsl:template>

\\srv\DATEN\.pdf