Registro 1 de 2, Base de información BIBCYT
Idioma : Español ,
Inglés Descriptor Temático : CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 330-360
Nota
NOTA
TABLA DE CONTENIDO
INTRODUCTION SERVICES
INTERFACE OFFERED TO THE PROGRAMMER OF DISTRIBUTED TRANSACTIONS ARCHITECTURE
OF THE DGDBM SYSTEM COORDINATION
AND EXECUTION OF DISTRIBUTED TRANSACTIONS DESIGN AND
IMPLEMENTACION OF DGDBM API IN TERMS OF THE JOYCE + MODEL OF DISTRIBUTED.
SYSTEMS PERSPECTIVES
AND PLANNED EXTENSIONS BIBLIOGRAPHY
Descrip.
RESUMEN
RESUMEN
This paper describes a set of
facilities for programming distributed transactions over direct access files
which are accessed by primary key. The files are located on several computers
communicated by a network. Each site has the set of GNU dbm
(Gdbm ) routines for local file management [Nelson
93]. Above this platform we have built an interface and a set of services for
distributed transaction programming. The resultant programming environment, ", offers
transparency in relation to data distribution, giving a centralized vision to
the programmer. It assures the function of management of distributed
transaction like as failure recovery and concurrence control. DGDBM is an useful support for distributed application programming
over direct access files en UNIX networks and it is available as an API
(application programming interface) for the C programmer. This paper describes
the services offered by DGDBM to the programmer, the architecture of the
system, the adopted solutions for distributed transaction management, the general
aspect of design and implementation and the perspectives and planned extensions
for this project.
Registro 2 de 2, Base de información BIBCYT
Idioma : Español Descriptor Temático : CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 330-360
Nota
NOTA
TABLA DE CONTENIDO
INTRODUCCIÓN TÉCNICA
DE DESCRIPCIÓN FORMAL ESTÁNDAR (TDFS) ETAPA
DE DISEÑO ESPECIFICACIÓN
DE SERVICIOS VALIDACIÓN COMPOSICIÓN
DE ESPECIFICACIONES EQUIVALENCIAS METODOLOGÍA
DE ESPECIFICACIÓN Y VERIFICACIÓN ILUSTRACIÓN
DE LA METODOLOGÍA A TRAVÉS DEL EJEMPLO DE LOS FILÓSOFOS LENGUAJES
LÓGICOS CONCURRENTES (LLCS) REPRESENTACIÓN
DE UN SISTEMA DISTRIBUIDO MEDIANTE LLCS VARIABLES
DE ENTRADA Y DE SALIDA PARA COMUNICACIÓN ENTRE PROCESOS ILUSTRACIÓN
DE LA ESPECIFICACIÓN DE UN SISTEMA DISTRIBUIDO EN PARLOG EXTENDIDO VERIFICACIÓN
DE UN SISTEMA DISTRIBUIDO PARALELO
COMPARTIDO COMPLEJIDAD
DE LOS MECANISMOS DE ESPECIFICACIÓN COMPLEJIDAD
DE LOS MECANISMOS DE VERIFICACIÓN FACILIDAD
DE IMPLEMENTAR LAS ESPECIFICACIONES CUADRO
COMPARATIVO CONCLUSIONES BIBLIOGRAFÍAS
Descrip.
RESUMEN
RESUMEN
En este articulo se presentan dos de las principales
técnicas para especificación y verificación de sistemas distribuidos, como
son las Técnicas de Descripción Formales (TDFs) y los lenguajes lógicos
concurrentes (LLCs ).Para cada una de estas técnicas
se presentan los elementos con que se modelan sistemas distribuidos y la
metodología asociada para llevar a cabo una especificación de un sistema
distribuido y la verificación de sus propiedades. Como aporte principal, este
articulo realiza un análisis comparativo de las dos
técnicas presentadas, mostrando sus ventajas y desventajas relativas a los
aspectos de especificación y verificación de sistemas distribuidos.
