Loading...
Please wait, while we are loading the content...
Similar Documents
Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
| Content Provider | Semantic Scholar |
|---|---|
| Author | González, Raúl W. Gómez Anwandter, Raúl Monge |
| Copyright Year | 1997 |
| Abstract | El problema de desarrollar un sistema de soporte para la interaccion de objetos en la programacion de sistemas distribuidos basado en objetos es complejo, por lo cual se requiere utilizar una herramienta que permita trabajar con un alto nivel de abstraccion y verificar la correctitud del diseno y su realizacion. Con este fin se plantea como objetivo de este trabajo escoger un metodo de especificacion formal, lo que se realiza en dos etapas: La primera identifica, utilizando un enfoque basado en el analisis de la bibliografia y de las publicaciones de experiencias realizadas, las caracteristicas y propiedades tanto de los sistemas a especificar, como de diversos metodos formales, a fin de determinar a un nivel teorico cuales de estos ultimos permiten representaciones correctas de las primeras. Los metodos que resultan seleccionados en esta etapa son dos: Logica Temporal de Acciones (TLA) y Calculo de Sistemas de Comunicacion con su extension Abacus (CCS/Abacus). La segunda etapa consiste en desarrollar especificaciones de un sistema que posee las caracteristicas identificadas previamente, en este caso una version simplificada del sistema de correo electronico Grapevine, mediante los metodos seleccionados en la etapa anterior, a fin de verificar en forma practica cual de ellos es el mas adecuado para el proposito indicado, resultando seleccionado definitivamente CCS/Abacus, y ademas 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 aplicacion de los metodos formales y las situaciones en que es conveniente utilizarlos. Proceedings CACIC ‘97 Ingenieria de Software. Bases de Datos UNLP Departamento de Informatica Facultad de Ciencias Exactas 2 I. PLANTEAMIENTO DEL PROBLEMA Y DE LOS OBJETIVOS Uno de los aspectos importantes del problema de disenar un sistema de soporte para la interaccion de objetos en la programacion de sistemas distribuidos basados en objetos consiste en proporcionar mecanismos de comunicacion eficientes y confiables que permitan la interaccion entre objetos localizados en forma distante. El soporte de comunicacion en un sistema distribuido esta relacionado con diversos servicios: administracion de objetos, servicio de nombres, administracion de conexiones, y administracion de grupos. Esto significa que el desarrollo de dicho sistema de soporte requiere disenar un conjunto de servicios distribuidos, lo cual es una tarea compleja. En este contexto, el presente trabajo se plantea como objetivo encontrar una herramienta de diseno apropiada, la cual, para satisfacer las caracteristicas mencionadas, debe permitir trabajar con un alto nivel de abstraccion y verificar la correctitud del diseno y su realizacion. Estos requerimientos son satisfechos por los metodos formales de especificacion de sistemas y como existe una diversidad de ellos, es necesario seleccionar aquel que muestre ser el mas adecuado para escribir especificaciones que presenten esas propiedades. En este contexto, la seleccion se realiza en dos etapas: 1. Se identifica y realiza un analisis teorico, basado en la bibliografia y en las publicaciones acerca de experiencias realizadas, tanto de las caracteristicas asociadas con la especificacion de sistemas distribuidos basados en objetos, como de algunos metodos formales representativos, a fin de determinar cuales de estos ultimos permiten representaciones correctas de las primeras, lo cual se usa como criterio para llevar a cabo una primera seleccion. 2. Los metodos que resultan elegidos son sometidos a una verificacion practica de sus capacidades, en base a la especificacion de un sistema de correo electronico, cuyos requerimientos y especificacion no formal se describen en [Lis85]. De esta segunda etapa se espera obtener, ademas del metodo seleccionado definitivamente, la experiencia requerida para construir tales especificaciones. Este trabajo corresponde a un resumen de una tesis completa de Magister en Ingenieria Informatica [Gom96], y algunos resultados parciales de ella se han presentado en diversos congresos de Informatica. II. ESPECIFICACION DE SISTEMAS DISTRIBUIDOS BASADOS EN OBJETOS. Para especificar este tipo de sistemas, debe considerarse las propiedades relevantes que se derivan, por un lado, de la distribucion, y, por otro, del enfoque de objetos. 1. DISTRIBUCION. Los aspectos mas relevantes que han surgido de sistemas con estas caracteristicas son [Wei93]: • Interfaces y Comportamiento. La interfaz de un modulo en un sistema distribuido, y por lo tanto concurrente, incluye, ademas de los puntos de llamado y retorno, los puntos intermedios en los cuales puede interactuar con otras hebras* • Seguridad y Vivacidad. En la especificacion de sistemas distribuidos, se debe distinguir entre las propiedades de seguridad y las de vivacidad. Las propiedades de seguridad colocan las restricciones para que el sistema permanezca en un buen estado. Las propiedades de vivacidad establecen lo que el sistema debe hacer. Una propiedad de seguridad establece restricciones sobre los resultados concurrentes. Los modulos de estos sistemas pueden ser activos, con hebras de actividad de trasfondo, cuyos efectos deben ser modelados en una especificacion. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://sedici.unlp.edu.ar/bitstream/handle/10915/23956/Documento_completo.pdf?sequence=1 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
