Análise de funções de um conversor de protocolos de comunicação para automação elétrica, baseado na utilização da linguagem de modelagem unificada. Documento