| 基于数据依赖的过程合理性分析 |
| |
| 引用本文： | 丁婧,董广智,田勇,柳军飞.基于数据依赖的过程合理性分析[J].计算机应用与软件,2008,25(2):106-108. |
| |
| 作者姓名： | 丁婧 董广智 田勇 柳军飞 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| |
| 摘 要： | 软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响.首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法.
|
| 关 键 词： | 软件过程 过程合理性 数据依赖 活动-数据关系 |
| 收稿时间： | 2006-01-23 |
| 修稿时间： | 2006年1月23日 |
ANALYSIS ON DATA DEPENDENCY-BASED PROCESS CORRECTNESS |
| |
| Ding Jing,Dong Guangzhi,Tian Yong,Liu Junfei.ANALYSIS ON DATA DEPENDENCY-BASED PROCESS CORRECTNESS[J].Computer Applications and Software,2008,25(2):106-108. |
| |
| Authors: | Ding Jing Dong Guangzhi Tian Yong Liu Junfei |
| |
| Affiliation: | Ding Jing Dong Guangzhi Tian Yong Liu Junfei (Institute of Software,Chinese Academy of Science,Beijing 100080,China) |
| |
| Abstract: | Many errors and different meanings at the semantic level in software process model are caused by data dependency. The research on data dependency in the stage of instantiation has a huge influence on process execution efficiency. A software process model SPM is proposed, and the concepts of data dependency and activity-data relationship are presented based on the model. The basic rules that ensure the correctness of process model instance at the semantic level are proposed through the analysis of activity-data relationship. The algorithm that ensures the application of those rules is realized by using finite automaton theories. |
| |
| Keywords: | Software process Process correctness Data dependency Activity-data relationship |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
