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

Rafael Paoliello Guimarães, Walter Da Cunha Borelli

DOI: 10.14209/sbrt.2001.42500095

Evento: XIX Simpósio Brasileiro de Telecomunicações (SBrT2001)

Keywords: TINA SDL Arquitetura de Serviços

Abstract

"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."

Download