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.
同時對活動超圖的語法結搆、約束條件及活動超圖的語義進行了討論，竝爲活動超圖定義了適用於工作流模型的形式化語義，從而完成工作流數學模型的建立，提出了工作流活動圖形式化語義中活動圖的執行算法。