基于时空Petri网的复杂软件系统可信建模与分析  

Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets

作　　者：李刚[1,2] 韩龙美 朱永利[1,2] 

机构地区：[1]华北电力大学控制与计算机工程学院,保定071003 [2]新能源电力系统国家重点实验室(华北电力大学),北京102206

出　　处：《系统仿真学报》2016年第8期1740-1747,共8页Journal of System Simulation

基　　金：国家自然科学基金(51407076);河北省自然科学基金(F2014502050);河北省高等学校科学研究项目(Z2013007);中央高校基本科研业务费专项资金(2015ZD28)

摘　　要：复杂软件系统的复杂度不仅由于软件自身耦合关联,互联网环境也产生巨大影响,它已不能脱离外界环境而独立存在。Petri网利用库所和变迁满足分布式系统建模,支持并发和异步,但基础petri网不能对具有时间约束的复杂软件系统特征进行完备地描述。提出了一种时空Petri网的建模方法,对复杂软件从协同学和软件行为学入手,建立其可信度分析模型,并考虑外界环境对复杂软件的影响,以时空特性为约束条件,分析复杂软件在外界环境影响下的可信度。以复杂网络软件系统为分析对象,仿真结果表明,该模型能够对具有时空特性的复杂软件系统进行可信性分析。Complexity of complex software system is not only due to the coupling correlation software itself, but also the Internet environment has great influence on the complex software system, and it has not existed independently from the external environment. Petri net uses of place and transition meet the modeling of distributed system, support concurrency and asynchronous, but the basic Petri net can＇t completely describe the characteristic of complex software systems with time constraints. A Petri net modeling method based on spatial and temporal was proposed. From aspects of synergetic and software behavior, constraints on the characteristics of spatial and temporal, this method established credibility analysis model of complex software system, and considered the influence of external environment for complex software systems, and analyzed credibility of complex software system under the environment influence. In complex network software system as the analysis object, the simulation results show that this model is able to analyze the credibility of the spatial-temporal complex software system.

关 键 词：复杂软件系统 可信度量 时空Petri网 建模与仿真 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]