10.3969/j.issn.1000-386X.2008.02.039
基于数据依赖的过程合理性分析
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响.首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法.
软件过程、过程合理性、数据依赖、活动-数据关系
25
TP3(计算技术、计算机技术)
2008-05-07(万方平台首次上网日期,不代表论文的发表时间)
共3页
106-108