super activity graph

Meanwhile, the semantics of syntactical structure, constraint condition and super activity graph were discussed. This idea defined the formal semantics appropriate for work flow for super activity graph and completed the establishment of the mathematical model of work flow.
同时对活动超图的语法结构、约束条件及活动超图的语义进行了讨论，并为活动超图定义了适用于工作流模型的形式化语义，从而完成工作流数学模型的建立，提出了工作流活动图形式化语义中活动图的执行算法。