Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.

El problema de desarrollar un sistema de soporte para la interacción de objetos en la programación de sistemas distribuidos basado en objetos es complejo, por lo cual se requiere utilizar una herramienta que permita trabajar con un alto nivel de abstracción y verificar la correctitud del diseño y su...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez González, Raúl, Monge Anwandter, Raúl
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Ciencias Informáticas
herramienta de diseño
SOFTWARE ENGINEERING
herramientas
sistema distribuido
base de datos
método formal
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23956
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23956
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
herramienta de diseño
SOFTWARE ENGINEERING
herramientas
sistema distribuido
base de datos
método formal
spellingShingle Ciencias Informáticas
herramienta de diseño
SOFTWARE ENGINEERING
herramientas
sistema distribuido
base de datos
método formal
Gómez González, Raúl
Monge Anwandter, Raúl
Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
topic_facet Ciencias Informáticas
herramienta de diseño
SOFTWARE ENGINEERING
herramientas
sistema distribuido
base de datos
método formal
description El problema de desarrollar un sistema de soporte para la interacción de objetos en la programación de sistemas distribuidos basado en objetos es complejo, por lo cual se requiere utilizar una herramienta que permita trabajar con un alto nivel de abstracción y verificar la correctitud del diseño y su realización. Con este fin se plantea como objetivo de este trabajo escoger un método de especificación formal, lo que se realiza en dos etapas: La primera identifica, utilizando un enfoque basado en el análisis de la bibliografía y de las publicaciones de experiencias realizadas, las características y propiedades tanto de los sistemas a especificar, como de diversos métodos formales, a fin de determinar a un nivel teórico cuáles de estos últimos permiten representaciones correctas de las primeras. Los métodos que resultan seleccionados en esta etapa son dos: Lógica Temporal de Acciones (TLA) y Cálculo de Sistemas de Comunicación con su extensión Abacus (CCS/Abacus). La segunda etapa consiste en desarrollar especificaciones de un sistema que posee las características identificadas previamente, en este caso una versión simplificada del sistema de correo electrónico Grapevine, mediante los métodos seleccionados en la etapa anterior, a fin de verificar en forma práctica cuál de ellos es el más adecuado para el propósito indicado, resultando seleccionado definitivamente CCS/Abacus, y además se obtiene experiencia para desarrollar este tipo de especificaciones; con ello se alcanza el objetivo planteado inicialmente. Como resultado adicional se obtiene algunas conclusiones acerca de la complejidad que presenta la aplicación de los métodos formales y las situaciones en que es conveniente utilizarlos.
format Objeto de conferencia
Objeto de conferencia
author Gómez González, Raúl
Monge Anwandter, Raúl
author_facet Gómez González, Raúl
Monge Anwandter, Raúl
author_sort Gómez González, Raúl
title Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
title_short Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
title_full Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
title_fullStr Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
title_full_unstemmed Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
title_sort selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/23956
work_keys_str_mv AT gomezgonzalezraul selecciondeunmetodoformaldeespecificacioncomoherramientadedisenodeunsistemadistribuidobasadoenobjetos
AT mongeanwandterraul selecciondeunmetodoformaldeespecificacioncomoherramientadedisenodeunsistemadistribuidobasadoenobjetos
bdutipo_str Repositorios
_version_ 1764820466429591552

Ejemplares similares