一種可視化顯示仿真執(zhí)行的方法及系統(tǒng)

基本信息

申請?zhí)?/td> CN202111419488.8 申請日 -
公開（公告）號 CN114090185A 公開（公告）日 2022-02-25
申請公布號 CN114090185A 申請公布日 2022-02-25
分類號 G06F9/455（2006.01）I;G06F9/54（2006.01）I;G06F9/4401（2018.01）I 分類 計算；推算；計數(shù);
發(fā)明人 劉凱越;吳偉;劉陽 申請（專利權(quán)）人 杭州杉石科技有限公司
代理機構(gòu) 西安科果果知識產(chǎn)權(quán)代理事務(wù)所（普通合伙） 代理人 李英俊
地址 311121浙江省杭州市余杭區(qū)倉前街道龍?zhí)堵?號未來研創(chuàng)園B317
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種可視化顯示仿真執(zhí)行的方法及系統(tǒng)，模型轉(zhuǎn)換器接收SysML狀態(tài)機提供的仿真模型，以狀態(tài)圖為生成單元將仿真模型生成標(biāo)準(zhǔn)的SCXML文件；文件解析器接收SCXML文件，以供仿真引擎和實例調(diào)度器讀??；狀態(tài)機模型的仿真被發(fā)起時，通過實例調(diào)度器管理該模型所有的SCXML實例，同時事件收發(fā)器也開始工作；動畫顯示器通過接收到的動作通知仿真動畫界面進(jìn)行動畫顯示。本發(fā)明保證了建模數(shù)據(jù)與仿真數(shù)據(jù)的一致性，實現(xiàn)系統(tǒng)設(shè)計方案可執(zhí)行模型的自動化生成，以可視化顯示動態(tài)場景，并對模型的邏輯進(jìn)行形式化的測試與驗證；本發(fā)明對系統(tǒng)進(jìn)行直觀展示的狀況，提升和利益攸關(guān)者的溝通效率，解決了當(dāng)前SysML狀態(tài)機模型上增加仿真執(zhí)行和動畫顯示。