技術(shù)總結(jié)
本發(fā)明公開(kāi)了一種基于進(jìn)程代數(shù)的實(shí)時(shí)協(xié)議分析及驗(yàn)證系統(tǒng)，包括：數(shù)學(xué)建模模塊，用于利用進(jìn)程代數(shù)建模，對(duì)實(shí)時(shí)協(xié)議進(jìn)行形式化表示，建立實(shí)時(shí)協(xié)議模型，并對(duì)協(xié)議需求進(jìn)行形式化表示；代碼生成模塊，根據(jù)所述實(shí)時(shí)協(xié)議模型生成高級(jí)語(yǔ)言代碼；仿真驗(yàn)證模塊，根據(jù)進(jìn)程代數(shù)描述語(yǔ)言的語(yǔ)義對(duì)所述實(shí)時(shí)協(xié)議模型進(jìn)行仿真執(zhí)行，并根據(jù)數(shù)學(xué)建模模塊所輸出的實(shí)時(shí)協(xié)議的形式化表示和協(xié)議需求的形式化表示，對(duì)所述實(shí)時(shí)協(xié)議模型所滿足的需求性質(zhì)進(jìn)行分析與驗(yàn)證；驗(yàn)證結(jié)果處理模塊，對(duì)仿真驗(yàn)證模塊所輸出的分析與驗(yàn)證結(jié)果進(jìn)行統(tǒng)計(jì)及分類，并提供協(xié)議性質(zhì)的評(píng)估。該系統(tǒng)提供不滿足協(xié)議需求的協(xié)議執(zhí)行過(guò)程，并提供協(xié)議性質(zhì)的整體評(píng)估，提高了開(kāi)發(fā)人員優(yōu)化協(xié)議的效率。

技術(shù)研發(fā)人員：史建琦;龐海萍;黃滟鴻;李昂;何積豐;方徽星
受保護(hù)的技術(shù)使用者：華東師范大學(xué)
文檔號(hào)碼：201610755248
技術(shù)研發(fā)日：2016.08.29
技術(shù)公布日：2017.02.22