基于EPMM的任务和活动的规范化研究  

RESEARCH ON NORMALIZATION OF EPMM-BASED TASKS AND ACTIVITIES

作　　者：谢仲文[1] 李彤[1] 秦江龙[1] 李经磊[1] 刘金卓[1] 

机构地区：[1]云南大学软件学院,云南昆明650091

出　　处：《计算机应用与软件》2010年第5期20-23,共4页Computer Applications and Software

基　　金：国家自然科学基金项目(60463002);云南省自然科学基金项目(2007F008M)

摘　　要：为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。In order to develop high-quality software processes,it is necessary to normalize the tasks and activities.This paper presented the concept of tasks normalisation through analysing logical association and message association between tasks,which is based on the formal definition of tasks and activities from EPMM（evolution process meta-modelling）.The 1st ANF,2nd ANF and 3rd ANF were put forward,and the algorithms of transforming the activity normal forms from low level to high level were given as well.

关 键 词：软件过程 活动 任务 逻辑关联 规范任务 活动范式 

分 类 号：TP317.1[自动化与计算机技术—计算机软件与理论]