Process Calculus

A folyamatszámítás vagy folyamatalgebra a párhuzamos rendszerek formális modellezésére vonatkozó , rokon  megközelítések családja .

Az elméleti számítástechnika ezen területének fejlődéséhez nagymértékben hozzájárult Robin Milner , aki kidolgozta a kölcsönható rendszerek számítását CCS (Calculus of Communicating Systems) és Anthony Hoare , aki kidolgozta a kölcsönható szekvenciális folyamatok CSP elméletét. (Sekvenciális folyamatok kommunikációja). További példák a TCC ( angol  időzített párhuzamos kényszerek ), a kommunikáló rendszerek algebra (ACP), a LOTOS . A korszerűbb módszerek a pi-calculus , a környezetszámítás , a PEPA , a join-calculus és mások [1] [2] .

A randevúzási módszer

A CCS esetében egy interakciós mechanizmus, az úgynevezett találkozás kerül az alapra . Ez azt feltételezi, hogy a folyamatok közötti kommunikáció azonnali. A CSP esetében a folyamatok közötti kommunikáció üzenetek segítségével történik.

Megkülönböztető jellemzők

A létező folyamatszámítások sokfélesége ellenére, beleértve a sztochasztikus folyamatokkal , időkorlátokkal stb. foglalkozó változatokat, minden kalkulusnak a következő főbb jellemzői vannak [3] :

• a független folyamatok közötti interakciók ábrázolása üzenettovábbítás formájában, nem pedig a folyamatok által megosztott állapot megváltoztatása;
• folyamatok és rendszerek leírása korlátozott számú primitívet és műveletet használva ezen primitívek kombinálására;
• algebrai törvények meghatározása folyamatokon végzett műveletekhez, lehetővé téve a folyamatkifejezések egyenletezését .

Lásd még

• Színész modell

Jegyzetek

1. ↑ Baeten, 2004 .
2. ↑ Giurca, A. Kézikönyv a feltörekvő szabályalapú nyelvek és technológiák kutatásához: Nyílt megoldások és megközelítések: Nyílt megoldások és megközelítések. - Információtudományi Referencia, 2009. - P. 224. - 862 p. — ISBN 9781605664033 .
3. ↑ Pierce, 1997 .

Irodalom

• Milner, R. Kommunikáció és párhuzamosság. - Prentice-Hall, Inc., 1989. - ISBN 0-13-115007-3 .
• Hoare C. Együttműködő szekvenciális folyamatok. — M .: Mir, 1989. — 264 p.
• Pierce, Benjamin. A számítástechnikai és mérnöki kézikönyv. - CRC Press, 1997. - P. 2190-2207. — ISBN 0-8493-2909-4 .
• Baeten, JCM A folyamatalgebra rövid története  (angol)  // Rapport CSR 04-02. - Vakgroep Informatica, Technische Universiteit Eindhoven, 2004. Az eredetiből archiválva : 2007. június 15.
• A. M. Mironov. A folyamatok elmélete.