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

• 作者: 徐丙凤 曹东 胡军 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 网构软件 构件式设计 资源自适应 形式化验证 统一建模语言
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: Internet环境下基于构件的软件理论与方法
• 页码范围: 1186-1200
• 页数: 15页
• 分类号: TP311
• 字数: 14401字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.01186

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	胡军	南京航空航天大学信息科学与技术学院	41	358	10.0	18.0
6	徐丙凤	南京航空航天大学信息科学与技术学院	16	297	9.0	16.0
7	曹东	南京航空航天大学自动化学院	22	96	6.0	9.0