Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-11-09T13:39:53Z
dc.date.available 2012-11-09T13:39:53Z
dc.date.issued 1997
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23959
dc.description.abstract 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. es
dc.language es es
dc.subject programación es
dc.subject base de datos es
dc.subject SOFTWARE ENGINEERING es
dc.subject CSP es
dc.subject programación paralela es
dc.subject teoría de programación es
dc.title Diseño y construcción de programas mediante CSP es
dc.type Objeto de conferencia es
sedici.creator.person Aguilar Cornejo, Manuel es
sedici.creator.person Ruiz Barradas, Hector es
sedici.description.note Eje: Ingeniería de software. Bases de datos es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 1997
sedici.relation.event III Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)