Slijedni priopćajni postupci
U računarstvu, slijedni priopćajni postupci[1] (obično kao CSP - od engl. Communicating Sequential Processes) je formalni jezik za opis uzoraka interakcije u konkurentnim sustavima.[2] Član je porodice matematičkih teorija konkurentnosti poznate kao procesne algebre, ili procesni računi. CSP je utjecao na razvoj programskog jezika Occam.[2][3]
CSP je prvi put opisan u radu iz 1978.[4] autora C. A. R. Hoarea, ali je s vremenom znatno uznapredovao. CSP je praktično primijenjen u industriji kao alat za specificiranje i verificiranje konkurentnih aspekata raznih sustava - poput T9000 transpjutora,[5] i sustava za sigurno elektroničko poslovanje.[6] Akademske primjene CSP-a ga obično uključuju kao alat za istraživanje u teoriji konkurentnosti, na način na koji su apstrakni strojevi korišteni za proučavanje slijednih sustava. Sama teorija CSP-a je još uvijek predmet aktivnog istraživanja, uključujući rad koji se odnosi na povećanje opsega praktične primjenjivosti (npr. povećanje skale sustava koji može biti ukrotivo analiziran[7]).
Datoteka:Desktop computer clipart - Yellow theme.svg
Nedovršeni članak Slijedni priopćajni postupci koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.
Izvori
- ↑ Kiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 206
- ↑ 2,0 2,1 • Nepoznat parametar:
authorlink
• Nepoznat parametar:last
• Nepoznat parametar:id
• Nepoznat parametar:first
• ParametarCitationClassnije dopušten u klasibook - ↑ • Nepoznat parametar:, INMOS document 72 occ 45 03
last
• Nepoznat parametar:authorlink
• Parametarurlnije dopušten u klasibook
• Parametardatenije dopušten u klasibook
• ParametarCitationClassnije dopušten u klasibook - ↑ Hoare, C. A. R. (1978). Communicating sequential processes, Communications of the ACM, 21(8), 666–677 DOI: 10.1145/359576.359585.
- ↑ Barrett, G. (1995). Model checking in practice: The T9000 Virtual Channel Processor, IEEE Transactions on Software Engineering, 21(2), 69–78 DOI: 10.1109/32.345823.
- ↑ Hall, A (2002). Correctness by construction: Developing a commercial secure system, IEEE Software, 19(1), 18–25 ID: hall-2002-correctness_by_construction_developing_a_commercial_secure_system.
- ↑ Creese, S. (2001). Data Independent Induction: CSP Model Checking of Arbitrary Sized NetworksData Independent Induction: CSP Model Checking of Arbitrary Sized Networks, Oxford University.