带时间和资源约束的实例化过程模型验证方法

• 作者: 李伟亨 杨秋松 翟健 谢淼
• 来源期刊: 计算机系统应用
• 关键词: 实例化过程模型 软件过程 建模 验证 模型检测 形式化方法
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 软件技术?算法
• 页码范围: 172-177
• 页数: 6页
• 字数: 4601字
• 语种: 中文

摘要

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定，如果对软件过程进行了不恰当的实例化，会导致成本超支、进度延期、甚至项目失败。已有的过程描述法不足以分析实例化过程模型，由于没有考虑实例化阶段的时间资源约束，语法结构正确的过程模型并不能保证过程执行的正确性。提出一种带时间和资源约束的实例化过程模型验证方法，为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性，然后提出了从 s-TRISO/ML 模型转换成时间自动机的转换方法和实现算法，利用已有的分析工具 Uppaal 对转换得到的时间自动机的性质进行验证，得到一个合理的实例化模型，从而为真实的开发流程提供指导。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨秋松	中国科学院软件研究所基础软件国家工程研究中心	20	33	3.0	5.0
5	李伟亨	中国科学院软件研究所基础软件国家工程研究中心	2	6	1.0	2.0
9	谢淼	中国科学院软件研究所基础软件国家工程研究中心	3	0	0.0	0.0
13	翟健	中国科学院软件研究所基础软件国家工程研究中心	8	25	3.0	5.0