计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2009年
6期
1019-1027
,共9页
张乐君%国林%张冰%杨武%王巍%杨永田
張樂君%國林%張冰%楊武%王巍%楊永田
장악군%국림%장빙%양무%왕외%양영전
信息系统%生存性%随机Petri网%服务生存性%生存性分析模型
信息繫統%生存性%隨機Petri網%服務生存性%生存性分析模型
신식계통%생존성%수궤Petri망%복무생존성%생존성분석모형
研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.
研究基于隨機Petri網(SPN)的信息繫統生存性分析建模方法.首先,將信息繫統抽象為請求組件、通信組件、處理組件和存儲組件4箇部分;其次,將信息繫統工作流程形式化描述和生存性分析建模相結閤,併分彆描述瞭通用信息繫統、繫統組件失效脩複、串聯併接、冗餘以及具有可生存屬性組件的隨機Petri網建模方法.從而對繫統形式化描述的同時對繫統生存性能做瞭定性和定量分析;最後,倣真實驗證明基于SPN建模方法分析信息繫統生存性的有效性和準確性,併為可生存的信息繫統設計提供理論基礎和指導.
연구기우수궤Petri망(SPN)적신식계통생존성분석건모방법.수선,장신식계통추상위청구조건、통신조건、처리조건화존저조건4개부분;기차,장신식계통공작류정형식화묘술화생존성분석건모상결합,병분별묘술료통용신식계통、계통조건실효수복、천련병접、용여이급구유가생존속성조건적수궤Petri망건모방법.종이대계통형식화묘술적동시대계통생존성능주료정성화정량분석;최후,방진실험증명기우SPN건모방법분석신식계통생존성적유효성화준학성,병위가생존적신식계통설계제공이론기출화지도.
