Resumo
Utilização do modelo SCM (Systems of Communicating Machines) para análise dos protocolos de sinalização e roteamento usados pelo GMPLS como também LMP (Link Managemente Protocol). O objetivo é analisar os protocolos de acordo com seu comportamento em termos de exatidão, mas também realizar uma análise de desempenho dos mesmos utilizando a Especificação de Protocolo Formal, sem que simulaç…