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

摘要：

因特网上的资源具有不确定性、随机性,需要考虑如何保证网构软件系统在运行中满足资源需求.使用随机性资源接口自动机对软件构件的行为进行形式化建模,并使用随机性资源接口自动机网络描述构件组装系统的组合行为；在资源不确定的情况下,检验组合系统是否满足资源约束,并提出基于可达图的相应算法.给出了一个实例网上书店系统,并用模型检测工具Spin验证了模型的正确性.

关键词：网构软件、随机性资源、接口自动机、可达图

所属期刊栏目：32

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目71171002;安徽省自然科学基金资助项目070412058

在线出版日期：2012-12-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3067-3070