计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2008年
2期
106-108
,共3页
丁婧%董广智%田勇%柳军飞
丁婧%董廣智%田勇%柳軍飛
정청%동엄지%전용%류군비
软件过程%过程合理性%数据依赖%活动-数据关系
軟件過程%過程閤理性%數據依賴%活動-數據關繫
연건과정%과정합이성%수거의뢰%활동-수거관계
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响.首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法.
軟件過程模型的很多語義上的錯誤和歧義都是由數據依賴關繫引起的,例化階段數據依賴關繫的研究,對過程的執行效率有很大影響.首先介紹瞭過程模型SPM,在其基礎上,提齣瞭數據依賴的概唸,併給齣一種活動-數據關繫;然後通過對該關繫進行分析,提齣瞭保證過程模型實例語義閤理的基本規則;最後應用有窮狀態自動機理論,實現瞭保證這些規則的算法.
연건과정모형적흔다어의상적착오화기의도시유수거의뢰관계인기적,례화계단수거의뢰관계적연구,대과정적집행효솔유흔대영향.수선개소료과정모형SPM,재기기출상,제출료수거의뢰적개념,병급출일충활동-수거관계;연후통과대해관계진행분석,제출료보증과정모형실례어의합리적기본규칙;최후응용유궁상태자동궤이론,실현료보증저사규칙적산법.
