Diseño y construcción de programas mediante CSP

En este artículo presentamos, a través de un caso de estudio, el desarrollo de programas paralelos mediante métodos formales. El caso de estudio es el núcleo básico de un sistema operativo multitarea, y el método formal utilizado es la teoría de procesos secuenciales comunicantes, CSP. CSP es una te...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Aguilar Cornejo, Manuel, Ruiz Barradas, Hector
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1997
Materias:	Ciencias Informáticas SOFTWARE ENGINEERING base de datos programación CSP programación paralela teoría de programación
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23959
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23959
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 SOFTWARE ENGINEERING base de datos programación CSP programación paralela teoría de programación
spellingShingle	Ciencias Informáticas SOFTWARE ENGINEERING base de datos programación CSP programación paralela teoría de programación Aguilar Cornejo, Manuel Ruiz Barradas, Hector Diseño y construcción de programas mediante CSP
topic_facet	Ciencias Informáticas SOFTWARE ENGINEERING base de datos programación CSP programación paralela teoría de programación
description	En este artículo presentamos, a través de un caso de estudio, el desarrollo de programas paralelos mediante métodos formales. El caso de estudio es el núcleo básico de un sistema operativo multitarea, y el método formal utilizado es la teoría de procesos secuenciales comunicantes, CSP. CSP es una teoría de programación que permite modelar sistemas mediante procesos comunicantes. Los procesos se modelan mediante un conjunto de eventos observables del sistema a implantar. CSP dispone de un lenguaje de especificación que permite describir el comportamiento de los procesos a través de sus eventos observables. La especificación inicial de un sistema debe ser lo suficientemente abstracta para indicar lo que el sistema debe hacer, sin dar detalles de cómo lo hace. Para dar tales detalles, una especificación debe refinarse de manera paulatina; esto se hace a través de pasos de refinamiento. En cada paso de refinamiento se debe probar que el refinamiento satisface los criterios de la especificación original; para dar tal garantía, CSP dispone de un conjunto de leyes algebraicas. El diseño y construcción del núcleo básico de un sistema operativo inicia con la especificación del entrelazamiento de acciones que modela nuestra intuición del paralelismo de un monitor multitareas. Esta especificación es refinada para itroducir los mecanismos necesarios para implantar la conmutación entre tareas del monitor. Se da la prueba formal de ciertos refinamientos y en otros, donde la complejidad aumenta, utilizamos FDR, un sistema que de manera automática, verifica la corrección de los refinamientos.
format	Objeto de conferencia Objeto de conferencia
author	Aguilar Cornejo, Manuel Ruiz Barradas, Hector
author_facet	Aguilar Cornejo, Manuel Ruiz Barradas, Hector
author_sort	Aguilar Cornejo, Manuel
title	Diseño y construcción de programas mediante CSP
title_short	Diseño y construcción de programas mediante CSP
title_full	Diseño y construcción de programas mediante CSP
title_fullStr	Diseño y construcción de programas mediante CSP
title_full_unstemmed	Diseño y construcción de programas mediante CSP
title_sort	diseño y construcción de programas mediante csp
publishDate	1997
url	http://sedici.unlp.edu.ar/handle/10915/23959
work_keys_str_mv	AT aguilarcornejomanuel disenoyconstrucciondeprogramasmediantecsp AT ruizbarradashector disenoyconstrucciondeprogramasmediantecsp
bdutipo_str	Repositorios
_version_	1764820466431688704

Diseño y construcción de programas mediante CSP

Ejemplares similares