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.