计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2010年
5期
20-23
,共4页
谢仲文%李彤%秦江龙%李经磊%刘金卓
謝仲文%李彤%秦江龍%李經磊%劉金卓
사중문%리동%진강룡%리경뢰%류금탁
软件过程%活动%任务%逻辑关联%规范任务%活动范式
軟件過程%活動%任務%邏輯關聯%規範任務%活動範式
연건과정%활동%임무%라집관련%규범임무%활동범식
为了开发高质量的软件过程,有必要对任务和活动进行规范.基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法.
為瞭開髮高質量的軟件過程,有必要對任務和活動進行規範.基于EPMM對活動和任務的形式化定義,通過對任務間的邏輯關聯、消息關聯的分析,提齣瞭規範任務的概唸,給齣瞭活動第一範式、活動第二範式和活動第三範式的定義,併給齣將低級彆的活動範式轉化為高級彆的活動範式的算法.
위료개발고질량적연건과정,유필요대임무화활동진행규범.기우EPMM대활동화임무적형식화정의,통과대임무간적라집관련、소식관련적분석,제출료규범임무적개념,급출료활동제일범식、활동제이범식화활동제삼범식적정의,병급출장저급별적활동범식전화위고급별적활동범식적산법.
