If it's XML, it will only be able to distinguish what you mean in your usage by the name of the element, unless you have some other code that parses the color
element for a particular name
attribute.
So,
<color name="vivid_red">#ff0000</color>
and
<color name="vivid_red_half_trans">#80ff0000</color>