如何在WSO2企业服务总线中将24小时格式的时间转换为12小时格式的属性

<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
  <xsl:output method="xml" indent="yes"/>

  <xsl:template match="/">
    <xsl:variable name="time" select="substring(//time, 1, 5)"/>
    <xsl:variable name="hour" select="substring($time, 1, 2)"/>
    <xsl:variable name="minute" select="substring($time, 4, 2)"/>
    <xsl:variable name="ampm">
      <xsl:choose>
        <xsl:when test="$hour &gt;= 12">PM</xsl:when>
        <xsl:otherwise>AM</xsl:otherwise>
      </xsl:choose>
    </xsl:variable>
    <xsl:variable name="hour12">
      <xsl:choose>
        <xsl:when test="$hour = 0">12</xsl:when>
        <xsl:when test="$hour &gt; 12">
          <xsl:value-of select="$hour - 12"/>
        </xsl:when>
        <xsl:otherwise>
          <xsl:value-of select="$hour"/>
        </xsl:otherwise>
      </xsl:choose>
    </xsl:variable>

    <result>
      <xsl:value-of select="concat($hour12, ':', $minute, ' ', $ampm)"/>
    </result>
  </xsl:template>
</xsl:stylesheet>

<property name="time" expression="//time" scope="default" type="STRING"/>
<property name="convertedTime" expression="fn:transform($ctx:time, 'xslt', get-property('registry', 'gov:/path/to/time-converter.xslt'))" scope="default" type="STRING"/>