带时间和资源约束的实例化过程模型验证方法
文献类型：期刊论文
| 作者 | 李伟亨 ; 谢淼 ; 翟健 ; 杨秋松 |
| 刊名 | 计算机系统应用
 |
| 出版日期 | 2014 |
| 期号 | 10页码:172-177 |
| 关键词 | 实例化过程模型 软件过程 建模 验证 模型检测 形式化方法 process instantiation model software process modeling verification model checking formal method |
| ISSN号 | 1003-3254 |
| 其他题名 | Approach to Verify the Process Instantiation Model with Time and Resource Constraints |
| 中文摘要 | 软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定，如果对软件过程进行了不恰当的实例化，会导致成本超支、进度延期、甚至项目失败。已有的过程描述法不足以分析实例化过程模型，由于没有考虑实例化阶段的时间资源约束，语法结构正确的过程模型并不能保证过程执行的正确性。提出一种带时间和资源约束的实例化过程模型验证方法，为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性，然后提出了从 s-TRISO/ML 模型转换成时间自动机的转换方法和实现算法，利用已有的分析工具 Uppaal 对转换得到的时间自动机的性质进行验证，得到一个合理的实例化模型，从而为真实的开发流程提供指导。 The performance of software process is related with the software process models and the resource allocations of software processes. If a correct model is impertinently allocated with the limited resource of a software organization, as a result, the performance of the software process may fail to reach the actual requirement, followed by delay, over-cost, and even failure. The existing approach based on process automata isn’t fit for the analysis of instantiation model. A model with only correct structure can’t ensure a successful enactment, because it lacks schedule information. This paper presents an approach to verify the process instantiation model with time and resource constraints, which is an extension of existing s-TRISO/ML process modeling language. This paper also presents an approach to convert from an s-TRISO/ML model into timed automata and explains converting algorithm. Finally, making use of UPPAAL to carry out the function verification on the converted timed automata, we can get a reasonable instantiation model to provide guidance for the actual process development. |
| 语种 | 中文 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16989]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 李伟亨,谢淼,翟健,等. 带时间和资源约束的实例化过程模型验证方法[J]. 计算机系统应用,2014(10):172-177. |
| APA | 李伟亨,谢淼,翟健,&杨秋松.(2014).带时间和资源约束的实例化过程模型验证方法.计算机系统应用(10),172-177. |
| MLA | 李伟亨,et al."带时间和资源约束的实例化过程模型验证方法".计算机系统应用 .10(2014):172-177. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。