本發(fā)明公開了一種基于依賴關(guān)系的EFSM模型事件失效修復(fù)方法,屬于通訊協(xié)議、嵌入式系統(tǒng)等領(lǐng)域。當(dāng)模型的外部環(huán)境發(fā)生變化的時候,表現(xiàn)在模型階段為模型遷移上的事件發(fā)生失效,進而導(dǎo)致模型部分路徑不能執(zhí)行,最終導(dǎo)致模型中部分功能的失效。本方法涉及的模型修復(fù)方法分為依賴分析階段和遷移路徑修復(fù)階段兩個核心操作。原有的修復(fù)方法使用可達性的分析方法,對失效事件之后的相關(guān)信息進行了完全的刪除,導(dǎo)致模型大量的遷移和狀態(tài)的失效,從而造成模型大部分功能的喪失。本方法通過模型的依賴性分析,把受影響的遷移分為可修復(fù)遷移和不可修復(fù)遷移,并通過本方法提出的遷移路徑修復(fù)規(guī)則進行修復(fù),本方法保證了修復(fù)后模型的可執(zhí)行路徑與原模型語義一致。
聲明:
“基于依賴關(guān)系的EFSM模型事件失效修復(fù)方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)