基于数据依赖的过程合理性分析  

ANALYSIS ON DATA DEPENDENCY-BASED PROCESS CORRECTNESS

作　　者：丁婧[1] 董广智[1] 田勇[1] 柳军飞[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机应用与软件》2008年第2期106-108,共3页Computer Applications and Software

摘　　要：软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法。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.

关 键 词：软件过程 过程合理性 数据依赖 活动-数据关系 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP311.52[自动化与计算机技术—计算机科学与技术]