Registro 1 de 2, Base de información Bciucla
Ejemplares
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, "DGDBM ", 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 Bciucla
Ejemplares
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.