Tentu saja ada banyak sistem untuk proses pemodelan. Ini termasuk dalam kategori proses aljabar . Contoh kuncinya adalah -calculus , CCS , ACP dan CSP .π
Kalkulator proses memiliki mekanisme dasar untuk menentukan perilaku proses termasuk: mengirim dan menerima pesan (sinkron atau asinkron), menciptakan proses paralel, pilihan nondeterministik antara perilaku, dan replikasi proses. Meskipun kalkulus kecil dalam hal jumlah konstruksi, mereka sangat ekspresif dan sejumlah besar penelitian telah dilakukan untuk mempelajari sifat mereka.
The kalkulus berbeda dari yang lain dalam bahwa hal itu memungkinkan, pada dasarnya, proses yang akan dilalui sebagai nilai-nilai kelas. Ini sebenarnya memungkinkan nama saluran untuk diedarkan sebagai nilai kelas pertama, memungkinkan perubahan dalam topologi dinamis. Ini mungkin kalkulus yang Anda inginkan karena ia menawarkan dinamika terbesar.π
CSP (mengkomunikasikan proses sekuensial) sedikit aneh, jika dilihat dari perspektif pemodelan molekul. Itu memang memiliki banyak dukungan teori dan alat pendukung. (Diciptakan oleh CAR Hoare.)
CCS dan ACP memiliki dinamika kurang dari kalkulus, tetapi mereka jauh lebih mudah untuk dianalisis dan disimulasikan. Toolset padat yang disebut CRL (dan CRL2) tersedia untuk ACP. Alat serupa pasti ada untuk CCS.πμμ
Saya akan mulai memeriksa pekerjaan terkait (lihat di bawah) dan kemudian menemukan formalisme pemodelan mana yang sesuai dengan apa yang Anda cari.
Sebenarnya ada cukup banyak pemodelan kerja reaksi kimia dan proses biologis menggunakan proses aljabar. Mungkin tempat terbaik untuk melihat adalah daftar publikasi Luca Cardelli . Seluruh lini penelitiannya tentang BioComputing mungkin memiliki 30 makalah tentang topik ini. Pembicaraan ini memberikan gambaran tentang banyak pekerjaannya. Ini salah satu sedikit lebih formal, meskipun membaca koran benar-benar satu-satunya cara untuk melihat rincian.
Salah satu pendekatan yang secara langsung memodelkan proses kimia adalah CHAM (mesin abstrak kimia). Bahan utama di sini adalah solusi dari molekul dan membran. Ada aturan pemanasan dan pendinginan untuk mengatur ulang molekul dan untuk menghilangkan sampah. Aturan-aturan ini dapat dibalik. Akhirnya ada reaksi yang menentukan model reaksi. Berbeda dengan proses aljabar, model CHAM tidak begitu khawatir tentang sintaksis proses, sehingga Anda dapat menemukan representasi molekul Anda sendiri.
Tulis ulang logika seperti yang direalisasikan dalam toolset Maude menawarkan pendekatan lain yang kurang lebih langsung untuk menentukan reaksi seperti itu. Orang hanya perlu menentukan aturan penulisan ulang, penyerahan "sup" otomatis. Toolset akan memungkinkan simulasi dan analisis reaksi kimia (bertubuh kecil). Varian probabilistik Maude juga ada.
fork
system call dalam sistem operasi mirip Unix secara konsep sangat elegan. Anda dapat melihatnya sebagai operasi atom yang menduplikasi proses saat ini. Sebelum bercabang, hanya ada satu proses , sedangkan setelah bercabang, ada dua proses dan . Jika kita menyederhanakan hal-hal, dan adalah identik dalam semua aspek lainnya, kecuali bahwa ada indikator satu-bit yang memungkinkan tahu bahwa itu adalah 'baru' proses sementara tahu bahwa itu adalah 'asli' proses. Setelah itu dan dapat berlanjut secara terpisah, dan mereka bahkan bisa