Kölcsönhatásban lévő szekvenciális folyamatok

Interacting szekvenciális folyamatok ( angolul  communicating sequential process , CSP ) egy formális nyelv a párhuzamos rendszerek interakciós modelljeinek leírására [1] . A párhuzamosság matematikai elméleteire utal, amelyeket folyamatkalkulusnak (vagy folyamatalgebrának) neveznek, és amelyek az üzenetek csatornákon keresztüli továbbításán alapulnak . Befolyásolta az Ockham [1] [2] , Limbo , Go [3] nyelvek fejlődését .

A CSP-elméletet először Anthony Hoare írta le 1978- ban [4] . Az eredeti verzió sikertelen volt, mert nem képviselt korlátlan indeterminizmust . Ezt követően Carl Hewitt színészmodelljéből kölcsönzött ötletek hatására az elmélet jelentősen módosult. A CSP Hoare 1985-ös verziói már korlátlan indeterminizmust használnak; azóta az elmélet jelentősen fejlődött [5] és továbbra is aktív kutatás tárgya [6] .

A gyakorlatban a CSP-t formális specifikációs eszközként használták olyan párhuzamossági rendszerekben, mint a T9000 transzputer [7] vagy biztonságos e-kereskedelmi rendszer [8] .

Jegyzetek

  1. ↑ 1 2 Bill Roscoe. Az egyidejűség elmélete és gyakorlata . - Prentice Hall , 1997. - ISBN 0-13-674409-5 .
  2. ↑ INMOS occam 2.1 kézikönyv  (undefined) . - SGS-Thompson Microelectronics Ltd., 1995. , INMOS dokumentum 72 occ 45 03
  3. ↑ Nyelvi tervezés GYIK: Miért építsünk párhuzamosságot a CSP ötleteire? . Hozzáférés időpontja: 2015. november 7. Az eredetiből archiválva : 2013. január 2..
  4. ↑ CAR Hoare. Szekvenciális folyamatok  kommunikációja // Az  ACM kommunikációja . - 1978. - 1. évf. 21 , sz. 8 . - P. 666-677 . - doi : 10.1145/359576.359585 .
  5. ↑ Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. A szekvenciális folyamatok kommunikációja: Az első 25 év  . - Springer, 2005. - Vol. 3525. - ( LNCS ).
  6. ↑ Creese, S. Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks   : Journal . - Oxfordi Egyetem, 2001. - Vol. D. Phil. .
  7. ↑ Barrett, G. Modellellenőrzés a gyakorlatban: The T9000 Virtual Channel Processor  //  IEEE Transactions on Software Engineering: napló. - 1995. - 1. évf. 21 , sz. 2 . - 69-78 . o . - doi : 10.1109/32.345823 .
  8. ↑ Hall, A; Chapman, R. Szerkezeti helyesség: Kereskedelmi biztonságos rendszer fejlesztése  (angol)  // IEEE Software : Journal. - 2002. - 20. évf. 19 , sz. 1 . - P. 18-25 . - doi : 10.1109/52.976937 .

Irodalom