Interaktivní sekvenční procesy

Interakční sekvenční procesy ( anglicky  communicating sekvenční procesy , CSP ) je formální jazyk pro popis modelů interakce v paralelních systémech [1] . Odkazuje na matematické teorie souběžnosti známé jako procesní počet (nebo procesní algebra) založené na přenosu zpráv přes kanály. Ovlivnil vývoj jazyků Ockham [1] [2] , Limbo , Go [3] .

Teorie CSP byla poprvé popsána v článku Anthonyho Hoarea v roce 1978 [4] . Původní verze byla neúspěšná, protože nepředstavovala neomezený indeterminismus . Následně, pod vlivem myšlenek vypůjčených z hereckého modelu Carla Hewitta , byla teorie významně upravena. Hoareovy verze CSP z roku 1985 již používají neomezený indeterminismus; od té doby se teorie výrazně rozvinula [5] a zůstává předmětem aktivního výzkumu [6] .

V praxi se CSP používá jako formální specifikační nástroj pro souběžné systémy, jako je transputer T9000 [7] nebo bezpečný systém elektronického obchodování [8] .

Poznámky

  1. ↑ 1 2 Bill Roscoe. Teorie a praxe souběžnosti . - Prentice Hall , 1997. - ISBN 0-13-674409-5 .
  2. ↑ INMOS occam 2.1 Referenční příručka  (nedefinováno) . - SGS-Thompson Microelectronics Ltd., 1995. , dokument INMOS 72 occ 45 03
  3. ↑ Nejčastější dotazy k jazykovému designu: Proč stavět souběžnost na myšlenkách CSP? . Datum přístupu: 7. listopadu 2015. Archivováno z originálu 2. ledna 2013.
  4. ↑ CAR Hoare. Komunikace sekvenčních procesů  // Komunikace  ACM . - 1978. - Sv. 21 , č. 8 . - S. 666-677 . - doi : 10.1145/359576.359585 .
  5. ↑ Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. Komunikace sekvenčních procesů : Prvních 25 let  . - Springer, 2005. - Sv. 3525. - ( LNCS ).
  6. ↑ Creese, S. Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks   : journal . - Oxfordská univerzita, 2001. - Sv. D. Phil. .
  7. ↑ Barrett, G. Kontrola modelu v praxi: The T9000 Virtual Channel Processor  //  IEEE Transactions on Software Engineering: journal. - 1995. - Sv. 21 , č. 2 . - str. 69-78 . - doi : 10.1109/32.345823 .
  8. ↑ Hall, A; Chapman, R. Correctness by construction: Developing a commercial secure system  (anglicky)  // IEEE Software : journal. - 2002. - Sv. 19 , č. 1 . - str. 18-25 . - doi : 10.1109/52.976937 .

Literatura