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.
同时对活动超图的语法结构、约束条件及活动超图的语义进行了讨论，并为活动超图定义了适用于工作流模型的形式化语义，从而完成工作流数学模型的建立，提出了工作流活动图形式化语义中活动图的执行算法。
参考来源 - 基于活动图模型的工作流形式化语义研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐