Procesos secuenciales interactivos

Los procesos secuenciales que interactúan ( del inglés  communicating secuencial processs , CSP ) es un lenguaje formal para describir modelos de interacción en sistemas paralelos [1] . Se refiere a las teorías matemáticas de concurrencia conocidas como cálculo de procesos (o álgebra de procesos) basadas en la transmisión de mensajes a través de canales. Influyó en el desarrollo de los idiomas Ockham [1] [2] , Limbo , Go [3] .

La teoría CSP fue descrita por primera vez en un artículo de Anthony Hoare en 1978 [4] . La versión original no tuvo éxito porque no representaba un indeterminismo sin restricciones . Posteriormente, bajo la influencia de ideas tomadas del modelo de actor de Carl Hewitt , la teoría se modificó significativamente. Las versiones de CSP de 1985 de Hoare ya usan indeterminismo sin restricciones; desde entonces, la teoría se ha desarrollado significativamente [5] y sigue siendo objeto de investigación activa [6] .

En la práctica, CSP se ha utilizado como una herramienta de especificación formal para sistemas de concurrencia como el transputer T9000 [7] o un sistema de comercio electrónico seguro [8] .

Notas

  1. ↑ 1 2 Bill Roscoe. La teoría y práctica de la concurrencia . - Prentice Hall , 1997. - ISBN 0-13-674409-5 .
  2. ↑ INMOS Manual de referencia de occam 2.1  (indefinido) . - SGS-Thompson Microelectronics Ltd., 1995. , documento INMOS 72 occ 45 03
  3. ↑ Preguntas frecuentes sobre diseño de lenguajes: ¿Por qué crear concurrencia en las ideas de CSP? . Fecha de acceso: 7 de noviembre de 2015. Archivado desde el original el 2 de enero de 2013.
  4. ↑ CAR Hoare. Comunicando procesos secuenciales  // Comunicaciones del  ACM . - 1978. - vol. 21 , núm. 8 _ - Pág. 666-677 . -doi : 10.1145/ 359576.359585 .
  5. ↑ Abdalá, Ali E.; Jones, acantilado B.; Sanders, Jeff W. Comunicación de procesos secuenciales: los primeros 25 años  . - Springer, 2005. - Vol. 3525.- ( LNCS ).
  6. ↑ Creese, S. Inducción independiente de datos: verificación del modelo CSP de redes de tamaño arbitrario   : revista . - Universidad de Oxford, 2001. - Vol. D. Fil. .
  7. ↑ Barrett, G. Comprobación de modelos en la práctica: el procesador de canal virtual T9000  //  Transacciones IEEE sobre ingeniería de software: diario. - 1995. - vol. 21 , núm. 2 . - P. 69-78 . -doi : 10.1109/ 32.345823 .
  8. ↑ Pasillo, A; Chapman, R. Corrección por construcción: desarrollo de un sistema seguro comercial  (inglés)  // Software IEEE: revista. - 2002. - vol. 19 , núm. 1 . - P. 18-25 . -doi : 10.1109/ 52.976937 .

Literatura