operator
specified-attribute that corresponds to the attribute-declaration and with the
attribute-value.
create-specified-attribute attribute-declaration from attribute-value
This operator verifies if the given attributes-value string conforms to the attribute-declaration. If so, it returns a specified-attribute for the
attribute-declaration. If the string is invalid, it throws an error.