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

徐丙凤曹东胡军黄志球

南京航空航天大学;

摘要：

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的组合行为;使用基于场景的UML顺序图模型来描述具有多功能的组合系统规约;分别研究了检验组合系统的所有行为是否都满足给定的资源约束以及检验指定的系统行为是否满足资源约束这两个具体问题;通过对资源自动机网络状态空间的分析,构造其相应的可达图,在此基础上给出了相应的检验资源可满足性、最小资源需求量以及检验指定功能合法性等算法.

关键词：网构软件、构件式设计、资源自适应、形式化验证、统一建模语言

所属期刊栏目：19

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

资助基金：the Foundation of Aeronautics Science of China under Grant No.2007ZD52043;the Foundation of the Special Research Fund for the Doctoral Program of Higher Education of China under Grant No.20070287052

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

页数：共15页

页码：1186-1200