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.
同時(shí)對(duì)活動(dòng)超圖的語(yǔ)法結(jié)構(gòu)、約束條件及活動(dòng)超圖的語(yǔ)義進(jìn)行了討論，并為活動(dòng)超圖定義了適用于工作流模型的形式化語(yǔ)義，從而完成工作流數(shù)學(xué)模型的建立，提出了工作流活動(dòng)圖形式化語(yǔ)義中活動(dòng)圖的執(zhí)行算法。