Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Model Checking of Real-Time Properties of Resource-Bound Process Algebra Penyemakan Model Sifat Masa Nyata Algebra Proses Terikat Sumber

Junkil PARK, Jungjae LEE, Jin-Young CHOI, Insup LEE

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Algebra berkomunikasi sumber dikongsi (ACSR) ialah algebra proses bermasa yang memanjangkan algebra proses klasik dengan tanggapan sumber. Dalam menganalisis model ACSR, teknik sedia ada seperti semakan bisimulasi dan semakan model Logik Hennessy-Milner (HML) adalah sangat penting dalam teori ACSR, tetapi ia sukar digunakan untuk model sistem kompleks yang besar dalam amalan. Dalam makalah ini, kami mencadangkan rangka kerja untuk mengesahkan model ACSR terhadap keperluannya yang diterangkan dalam logik temporal bermasa ekspresif. Kami menunjukkan kebergunaan pendekatan kami dengan kajian kes dunia sebenar.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.11 pp.2781-2789
Tarikh penerbitan
2009/11/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.E92.A.2781
Jenis Manuskrip
Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
kategori

Pengarang

Kata kunci

Contents [show]