摘要
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型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.
出处
《计算机应用与软件》
CSCD
北大核心
2008年第2期106-108,共3页
Computer Applications and Software
关键词
软件过程
过程合理性
数据依赖
活动-数据关系
Software process
Process correctness
Data dependency
Activity-data relationship
