Uma Proposta de Especificação Formal em SDL de Uma Sessão de Acesso TINA

"O trabalho apresentado neste artigo consiste na especificação formal orientada a objetos da Sessão de Acesso em uma arquitetura de serviços TINA (Telecommunications Information Networking Architecture) utilizando SDL (Specification and Description Language) com o objetivo de conferir um caráter comportamental ausente nas especificações em ODL (Object Description Language) descrita nas recomendações TINA. Sendo assim, é proposto neste artigo um novo mapeamento de ODL/IDL para SDL, com o qual é possível modelar os objetos componentes da arquitetura TINA de uma forma mais adequada. Após a especificação proposta para a Sessão de Acesso TINA, são apresentados exemplos de simulações e sua completa validação."