系统工程理论与实践
繫統工程理論與實踐
계통공정이론여실천
SYSTEMS ENGINEERING--THEORY & PRACTICE
2014年
2期
471-477
,共7页
李志淮%谭贤四%王红%陈岩
李誌淮%譚賢四%王紅%陳巖
리지회%담현사%왕홍%진암
体系结构%动态行为%一致性验证%生成图
體繫結構%動態行為%一緻性驗證%生成圖
체계결구%동태행위%일치성험증%생성도
architecture%dynamic behavior%consistency verification%sprouting graph
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.
針對體繫結構動態行為的語義一緻性驗證問題,提齣瞭基于生成圖的驗證方法.首先根據體繫結構的動態行為模型構建生成圖,然後對生成圖的邏輯結構和時間信息進行分析,來完成動態行為模型的邏輯關繫和時序關繫一緻性驗證.該方法不但能夠有效解決動態行為的語義一緻性驗證問題,而且還能準確定位模型中齣現問題的地方,指導用戶進行模型不一緻處理和優化動態模型.同時,生成圖可供多箇模型間的動態行為一緻性驗證,實用性更彊,且在可理解性、可分析性等方麵上相比傳統方法具有較大改善.
침대체계결구동태행위적어의일치성험증문제,제출료기우생성도적험증방법.수선근거체계결구적동태행위모형구건생성도,연후대생성도적라집결구화시간신식진행분석,래완성동태행위모형적라집관계화시서관계일치성험증.해방법불단능구유효해결동태행위적어의일치성험증문제,이차환능준학정위모형중출현문제적지방,지도용호진행모형불일치처리화우화동태모형.동시,생성도가공다개모형간적동태행위일치성험증,실용성경강,차재가리해성、가분석성등방면상상비전통방법구유교대개선.
