Cálculo de procesos

El cálculo de procesos o álgebra de procesos  es una familia de enfoques relacionados con el modelado formal de sistemas paralelos .

Una gran contribución al desarrollo de esta área de la informática teórica la hicieron Robin Milner , quien desarrolló el cálculo de sistemas interactivos CCS (Calculus of Communicating Systems) y Anthony Hoare , quien desarrolló la teoría de procesos secuenciales interactivos CSP . (Comunicando Procesos Secuenciales). Otros ejemplos son TCC ( restricciones concurrentes temporizadas en inglés  ), álgebra de sistemas de comunicación (ACP), LOTOS . Los métodos más modernos son pi-calculus , environment calculus , PEPA , join-calculus y otros [1] [2] .

El método de encuentro

En el caso de CCS , se pone como base un mecanismo de interacción denominado rendezvous . Esto supone que la comunicación entre procesos es instantánea. En el caso de CSP, la comunicación entre procesos se realiza mediante mensajes.

Rasgos distintivos

A pesar de la variedad de cálculos de procesos existentes, incluidas las variantes que se ocupan de procesos estocásticos , limitaciones de tiempo, etc., todos los cálculos tienen las siguientes características principales [3] :

• representación de interacciones entre procesos independientes en forma de paso de mensajes, en lugar de cambiar el estado compartido por los procesos;
• descripción de procesos y sistemas utilizando un conjunto limitado de primitivas y operaciones para combinar estas primitivas;
• definición de leyes algebraicas para operaciones sobre procesos, que permitan realizar razonamientos ecuacionales sobre expresiones de procesos.

Véase también

• Modelo actor

Notas

1. ↑ Baeten, 2004 .
2. ↑ Giurca, A. Handbook of Research on Emerging Rule-Based Languages ​​and Technologies: Open Solutions and Approaches: Open Solutions and Approaches. - Referencia en Ciencias de la Información, 2009. - Pág. 224. - 862 p. — ISBN 9781605664033 .
3. ↑ Pierce, 1997 .

Literatura

• Milner, R. Comunicación y Concurrencia. - Prentice-Hall, Inc., 1989. - ISBN 0-13-115007-3 .
• Hoare C. Interacción de procesos secuenciales. — M .: Mir, 1989. — 264 p.
• Pierce, Benjamín. Manual de Ingeniería y Ciencias de la Computación. - CRC Press, 1997. - P. 2190-2207. — ISBN 0-8493-2909-4 .
• Baeten, JCM Una breve historia del álgebra de procesos  (inglés)  // Rapport CSR 04-02. - Vakgroep Informatica, Technische Universiteit Eindhoven, 2004. Archivado desde el original el 15 de junio de 2007.
• A. M. Mironov. Teoría de procesos.