高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2013年
11期
1139-1147
,共9页
着色Petri网(CP-net)%网络软件%模型确认%并发控制%模型检验
著色Petri網(CP-net)%網絡軟件%模型確認%併髮控製%模型檢驗
착색Petri망(CP-net)%망락연건%모형학인%병발공제%모형검험
colored Petri nets (CP-net)%network software%model validation%concurrency control%model checking
为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法.给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关键技术,以及功能单元覆盖划分、模型等价抽象等模型集成确认关键技术的解决方案,并以典型网络软件系统为例分析了上述方法的可用性和有效性.从目前鲜有对特定形式模型论述模型正确性确认方法的现状看,这种融合多种CP-net模型分析技术的模型集成确认方法能够有效确保层次模型正确描述网络软件多交互、高并发的复杂功能行为,为软件验证、一致性测试等重要软件分析过程的高效实施提供描述准确且规模可控的基础形式模型.
為準確描述複雜網絡軟件多交互、高併髮等行為特徵,以提高複雜網絡軟件設計質量和效率,提齣瞭一種基于著色Petri網(CP-net)的複雜網絡軟件層次化建模及模型集成確認方法.給齣瞭複雜數據抽象、併髮行為控製、同類實體建模等層次建模關鍵技術,以及功能單元覆蓋劃分、模型等價抽象等模型集成確認關鍵技術的解決方案,併以典型網絡軟件繫統為例分析瞭上述方法的可用性和有效性.從目前鮮有對特定形式模型論述模型正確性確認方法的現狀看,這種融閤多種CP-net模型分析技術的模型集成確認方法能夠有效確保層次模型正確描述網絡軟件多交互、高併髮的複雜功能行為,為軟件驗證、一緻性測試等重要軟件分析過程的高效實施提供描述準確且規模可控的基礎形式模型.
위준학묘술복잡망락연건다교호、고병발등행위특정,이제고복잡망락연건설계질량화효솔,제출료일충기우착색Petri망(CP-net)적복잡망락연건층차화건모급모형집성학인방법.급출료복잡수거추상、병발행위공제、동류실체건모등층차건모관건기술,이급공능단원복개화분、모형등개추상등모형집성학인관건기술적해결방안,병이전형망락연건계통위례분석료상술방법적가용성화유효성.종목전선유대특정형식모형논술모형정학성학인방법적현상간,저충융합다충CP-net모형분석기술적모형집성학인방법능구유효학보층차모형정학묘술망락연건다교호、고병발적복잡공능행위,위연건험증、일치성측시등중요연건분석과정적고효실시제공묘술준학차규모가공적기출형식모형.
