网构软件的随机性资源自适应性的形式化分析与验证.pdfVIP

Joumal of Computer Applications ISSN 1001-9081 2012-11-01 计算机应用，2012， 32( 11) : 3067 - 3070 CODEN JYIIDU 文章编号:1 ∞1 -9081(2012)11 -3067 -04 doi;10.3724/SP. J. 1087.2012.03067 网构软件的随机性资源自适应性的形式化分析与验证 夏琦，王忠群 (安徽工程大学，计算机与信息学院，安徽芜湖 241∞0) ( *通信作者电子邮箱叫wang@ ahpu. edu. cn) 摘 要:因特网上的资源具有不确定性、随机性，需要考虑如何保证网构软件系统在运行中满足资源需求。使用 随机性资源接口自动机对软件构件的行为进行形式化建模，并使用随机性资源接口自动机网络描