中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
带时间和资源约束的实例化过程模型验证方法
Alternative Title: Approach to Verify the Process Instantiation Model with Time and Resource Constraints
Author: 李伟亨 ; 谢淼 ; 翟健 ; 杨秋松
Keyword: 实例化过程模型 ; 软件过程 ; 建模 ; 验证 ; 模型检测 ; 形式化方法 ; process instantiation model ; software process ; modeling verification ; model checking ; formal method
Source: 计算机系统应用
Issued Date: 2014
Issue: 10, Pages:172-177
Department: 中国科学院软件研究所 基础软件国家工程研究中心,北京 100190; 中国科学院大学,北京 100049
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.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16989
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李伟亨,谢淼,翟健,等. 带时间和资源约束的实例化过程模型验证方法[J]. 计算机系统应用,2014-01-01(10):172-177.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李伟亨]'s Articles
[谢淼]'s Articles
[翟健]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李伟亨]‘s Articles
[谢淼]‘s Articles
[翟健]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace