Autores

3154
Suzan Karina Almada Mendes
1437,1438
3155
Aloysio de Castro Pinto Pedroza
(Orientador)
1437,1438

Informações:

Publicações do PESC

Título
Padrões X400: Análise, Especificação Formal e Proposta de Migração de um MHS
Linha de pesquisa
Arquitetura e Sistemas Operacionais
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
25/1/1991
Resumo

Este trabalho apresenta uma análise dos padrões X.400 para Sistemas de Manipulação de Mensagens (MHS), mostrando sua evolução, levantando aspectos problemáticos destes padrões em suas duas versões, 1984 e 1988, o impacto destes aspectos no sistema resultante, e definindo soluções para tais questões a nível de implementação.

A partir desta análise dos elementos funcionais e dos protocolos de MHS é desenvolvida uma especificação formal do sistema utilizando a Linguagem Estelle (ISO). Com esta modelagem obtém-se uma definição precisa do comportamento e das características relevantes dos protocolos do MHS através dos recursos de Estelle. São também modelados os Serviços Comuns da Camada de Aplicação, permitindo uma visão global do funcionamento desta camada do Modelo OSI/ISO. 

Finalmente, é definida uma estratégia de migração de um sistema X.400 1984 para um sistema X.400 1988. O processo parte de uma implementação de MHS 1984 onde as entidades de acesso e de transferência são co-residentes. Esta é a configuração predominante em sistemas X.400 1984 em operação, portanto, esta é uma estratégia que pode ser aplicada  a várias implementações.

Com esta migração obtém-se uma configuração distribuída onde as entidades de acesso e de transferência se encontram em sistemas abertos distintos e as entidades de acesso dispõem de entidades de armazenanento remotas. O sistema resultante pode oferecer a funcionalidade de um  MHS 1988 e interoperabilidade com MHS 1984.

Abstract

This work presents an analysis of Message Handling Systems X.400 (MHS) standards, showing their evolution, discussing unsolved aspects of the 1984 e 1988 versions, and the impact of these aspects in the resulting system. Solutions at the implement at ion leve1 are also present ed.

A formal specification of the system is developed from the analisys of the functional elements and MHS protocols using the Estelle Language (ISO). A precise definition of the behavior and of important characteristics of the MHS protocols was obtained using Estelle resources. The Commom Application Services were also modelled, allowing a global view of the correspondent layer in the OSI/ISO Model.

Finally, a migration strategy from a X.400 1984 to a X.400 1988 system was defined. The migration process is based on an MHS 1984 implementation where the access and tranfer entities are co-sesidents, which is the most commom configuration in X.400 1984 systems in operation today. This strategy that can be applied to severa1 implementations.

As a result of this migration process a configuration where the access and transfer entities are in different open systems, and the access entities have remote storage entities was obtained. The resulting system offers MHS 1988 functionality and MHS 1984 interoperability.

Topo