Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

Novas versões do protocolo SCTP permitem sua utilização para implementação de mecanismos de handover em nível de transporte, bem como o fornecimento de um serviço de transmissão de dados parcialmente confiável. Integrando o SCTP com o protocolo de iniciação de sessões, SIP, além de utilizar adicionalmente serviços de outros protocolos auxiliares, uma arquitetura de comunicação pôde ser proposta, a fim de atender às aplicações de voz sobre IP com requisitos de mobilidade. São especificados ainda os procedimentos de localização de usuário em nível de aplicação, utilizando o protocolo SIP, como alternativa aos mecanismos empregados por protocolos tradicionais que suportam mobilidade na camada de rede. A linguagem de especificação formal SDL é utilizada para especificar o funcionamento de um Módulo de Controle, relacionado à operação coordenada dos protocolos que compõe a arquitetura. Pretende-se assim evitar ambigüidades e inconsistências na definição desse módulo, o que pode auxiliar em implementações corretas de elementos dessa arquitetura