Institutional Repository
| 带时间和资源约束的实例化过程模型验证方法 | |
| Alternative Title | Approach to Verify the Process Instantiation Model with Time and Resource Constraints |
| 李伟亨; 谢淼; 翟健; 杨秋松 | |
| 2014 | |
| Source | 计算机系统应用
 |
| ISSN | 1003-3254 |
| Issue | 10Pages:172-177 |
| English Abstract | 软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定，如果对软件过程进行了不恰当的实例化，会导致成本超支、进度延期、甚至项目失败。已有的过程描述法不足以分析实例化过程模型，由于没有考虑实例化阶段的时间资源约束，语法结构正确的过程模型并不能保证过程执行的正确性。提出一种带时间和资源约束的实例化过程模型验证方法，为目前已有的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. |
| Keyword | 实例化过程模型 软件过程 建模 验证 模型检测 形式化方法 Process Instantiation Model Software Process Modeling Verification Model Checking Formal Method |
| Department | 中国科学院软件研究所 基础软件国家工程研究中心，北京 100190; 中国科学院大学，北京 100049 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16989 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 李伟亨,谢淼,翟健,等. 带时间和资源约束的实例化过程模型验证方法[J]. 计算机系统应用,2014(10):172-177. |
| APA | 李伟亨,谢淼,翟健,&杨秋松.(2014).带时间和资源约束的实例化过程模型验证方法.计算机系统应用(10),172-177. |
| MLA | 李伟亨,et al."带时间和资源约束的实例化过程模型验证方法".计算机系统应用 .10(2014):172-177. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment