Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação

Autores
Mello, Braulio Adriano de; Camargo, Murilo Silva de; Specialski, Elizabeth Sueli
Año de publicación
1997
Idioma
portugués
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolvimento das tarefas de análise, simulação, teste e verificação. Devido ao uso de dados, principalmente para a tarefa de verificação, variadas restrições são impostas pelas ferramentas utilizadas. Tais restrições são abordadas segundo as capacidades e incompatibilidades dessas ferramentas.
This work presents a study about the application of the LOTOS formal description technique on the formal conception of a network management system called CMIP-SNMP Gateway. The results reached during the work of the formal description of system using full LOTOS, and during the development of analysis, simutation, test and verification of the specification, are presents. With the use of abstract data types, mostly to the verification task, the tolls presented restrictions. These restrictions are approached by their capacities and incompatibilities.
Eje: Procesamiento distribuido y paralelo. Tratamiento de señales
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Simulation
Parallel processing
Distributed
Técnicas de Descrição Formal
LOTOS
Simulação
Verificação
Gerência de Redes
Gateway CMIP-SNMP
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23930

id SEDICI_7d8f34767a57bf4a4e517a8806c0a22c
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23930
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificaçãoMello, Braulio Adriano deCamargo, Murilo Silva deSpecialski, Elizabeth SueliCiencias InformáticasSimulationParallel processingDistributedTécnicas de Descrição FormalLOTOSSimulaçãoVerificaçãoGerência de RedesGateway CMIP-SNMPEste trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolvimento das tarefas de análise, simulação, teste e verificação. Devido ao uso de dados, principalmente para a tarefa de verificação, variadas restrições são impostas pelas ferramentas utilizadas. Tais restrições são abordadas segundo as capacidades e incompatibilidades dessas ferramentas.This work presents a study about the application of the LOTOS formal description technique on the formal conception of a network management system called CMIP-SNMP Gateway. The results reached during the work of the formal description of system using full LOTOS, and during the development of analysis, simutation, test and verification of the specification, are presents. With the use of abstract data types, mostly to the verification task, the tolls presented restrictions. These restrictions are approached by their capacities and incompatibilities.Eje: Procesamiento distribuido y paralelo. Tratamiento de señalesRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23930info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)porreponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:25Zoai:sedici.unlp.edu.ar:10915/23930Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:26.102SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
title Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
spellingShingle Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Mello, Braulio Adriano de
Ciencias Informáticas
Simulation
Parallel processing
Distributed
Técnicas de Descrição Formal
LOTOS
Simulação
Verificação
Gerência de Redes
Gateway CMIP-SNMP
title_short Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
title_full Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
title_fullStr Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
title_full_unstemmed Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
title_sort Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
dc.creator.none.fl_str_mv Mello, Braulio Adriano de
Camargo, Murilo Silva de
Specialski, Elizabeth Sueli
author Mello, Braulio Adriano de
author_facet Mello, Braulio Adriano de
Camargo, Murilo Silva de
Specialski, Elizabeth Sueli
author_role author
author2 Camargo, Murilo Silva de
Specialski, Elizabeth Sueli
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Simulation
Parallel processing
Distributed
Técnicas de Descrição Formal
LOTOS
Simulação
Verificação
Gerência de Redes
Gateway CMIP-SNMP
topic Ciencias Informáticas
Simulation
Parallel processing
Distributed
Técnicas de Descrição Formal
LOTOS
Simulação
Verificação
Gerência de Redes
Gateway CMIP-SNMP
dc.description.none.fl_txt_mv Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolvimento das tarefas de análise, simulação, teste e verificação. Devido ao uso de dados, principalmente para a tarefa de verificação, variadas restrições são impostas pelas ferramentas utilizadas. Tais restrições são abordadas segundo as capacidades e incompatibilidades dessas ferramentas.
This work presents a study about the application of the LOTOS formal description technique on the formal conception of a network management system called CMIP-SNMP Gateway. The results reached during the work of the formal description of system using full LOTOS, and during the development of analysis, simutation, test and verification of the specification, are presents. With the use of abstract data types, mostly to the verification task, the tolls presented restrictions. These restrictions are approached by their capacities and incompatibilities.
Eje: Procesamiento distribuido y paralelo. Tratamiento de señales
Red de Universidades con Carreras en Informática (RedUNCI)
description Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolvimento das tarefas de análise, simulação, teste e verificação. Devido ao uso de dados, principalmente para a tarefa de verificação, variadas restrições são impostas pelas ferramentas utilizadas. Tais restrições são abordadas segundo as capacidades e incompatibilidades dessas ferramentas.
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23930
url http://sedici.unlp.edu.ar/handle/10915/23930
dc.language.none.fl_str_mv por
language por
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260123368554496
score 13.13397