在扩展的G-KRA模型框架下形式化工作流建模过程

The expansion of the G-KRA model under the framework of formal workflow modeling process

在建模过程中,多重工作域中的任务感知根据各种不同域实例化为任务,从而构造与其他多重域工作流抽象模型的接口,文章提出的方法丰富了工作流抽象模型的表示,并且给出了工作流模型间通信的基础。

In the modeling process,the perception of multi-domain task into a task based on a variety of different domain instance,in order to structure and other multi-domain workflow abstract model of the interface,the paper proposes a rich representation of the workflow abstract model,and gives the basis of communication between the workflow model.