Calculul proceselor

Calculul proceselor sau algebra proceselor  este o familie de abordări legate de modelarea formală a sistemelor paralele .

O mare contribuție la dezvoltarea acestei arii de informatică teoretică a fost adusă de Robin Milner , care a dezvoltat calculul sistemelor interacționate CCS (Calculus of Communicating Systems) și Anthony Hoare , care a dezvoltat teoria proceselor secvențiale interacționate CSP (Comunicarea proceselor secvențiale). Alte exemple sunt TCC ( English  timed concurrent constraints ), algebra sistemelor de comunicare (ACP), LOTOS . Metodele mai moderne sunt pi-calcul , calculul de mediu , PEPA , join-calculus și altele [1] [2] .

Metoda rendezvous

În cazul CCS , se pune la bază un mecanism de interacțiune numit rendezvous . Aceasta presupune că comunicarea între procese este instantanee. În cazul CSP, comunicarea între procese se face folosind mesaje.

Caracteristici distinctive

În ciuda varietății de calcule de proces existente, inclusiv variante care se ocupă de procese stocastice , constrângeri de timp etc., toți calculii au următoarele caracteristici principale [3] :

• reprezentarea interacțiunilor dintre procese independente sub formă de transmitere a mesajelor, mai degrabă decât schimbarea stării partajate de procese;
• descrierea proceselor și sistemelor care utilizează un set limitat de primitive și operații pentru combinarea acestor primitive;
• definirea legilor algebrice pentru operații pe procese, permițând efectuarea raționamentului ecuațional asupra expresiilor proceselor.

Vezi și

• Model de actor

Note

1. ↑ Baeten, 2004 .
2. ↑ Giurca, A. Handbook of Research on Emerging Rule-Based Languages ​​and Technologies: Open Solutions and Approaches: Open Solutions and Approaches. - Referință pentru Știința Informației, 2009. - P. 224. - 862 p. — ISBN 9781605664033 .
3. ↑ Pierce, 1997 .

Literatură

• Milner, R. Comunicare și concurență. - Prentice-Hall, Inc., 1989. - ISBN 0-13-115007-3 .
• Hoare C. Procese secvențiale care interacționează. — M .: Mir, 1989. — 264 p.
• Pierce, Benjamin. Manualul de informatică și inginerie. - CRC Press, 1997. - P. 2190-2207. — ISBN 0-8493-2909-4 .
• Baeten, JCM O scurtă istorie a algebrei proceselor  (engleză)  // Rapport CSR 04-02. - Vakgroep Informatica, Technische Universiteit Eindhoven, 2004. Arhivat din original la 15 iunie 2007.
• A. M. Mironov. Teoria proceselor.