为了开发高质量的软件过程,有必要对任务和活动进行规范。基于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.