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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23930
Ver los metadatos del registro completo
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 |