全國計算機軟件新技術研討會暨徐家福教授八十華誕慶賀活動(編輯修改稿)
2024-08-14 10:10 本頁面
【文章內容簡介】 ce Transition Token 西北大學計算機科學系軟件工程研究所 12 Petri Net 是一種很好的模型 ? 非結構化，并行，競爭，同步， … Place Transition Token 西北大學計算機科學系軟件工程研究所 13 在過程定義語言中引入 Petri Net 的思想 和機制 是一重大進步。 ? 工作流管理聯(lián)盟 WfMC (Workflow Management Coalition) ? 工作流過程定義語言 WPDL (Workflow Process Definition Language) ? WPDL起草者中并沒有多少人了解 Petri Net的理論。因而，從 WPDL中不難看出結構化模型的影響和引起的混亂。 ? 在過程定義語言中引入 Petri Net 的思想和機制是一重大進步。 ? 聯(lián)想： Turing Machine 理論對計算機誕生的影響。 西北大學計算機科學系軟件工程研究所 14 Petri Net 用于描述業(yè)務過程，還需作進一步的擴展。 ? Petri Net沒有直接描寫數(shù)據(jù)的機制。于是，在描寫控制結構上就不能直接刻畫分支結構。關于分支，它只有相應的競爭機制，是把分支條件的確定放在了系統(tǒng)的外面，系統(tǒng)不能直接描寫。 ? 信牌驅動式工作流計算模型。 信牌 : 是中國古代官府執(zhí)行任務的憑證。 《計算機研究與發(fā)展》 2022, (37) 12 ? 數(shù)據(jù)：變量，對象，文件，數(shù)據(jù)庫項。 C1 C2 C3 活動 1 信牌箱 3 信牌箱 2 信牌箱 1 西北大學計算機科學系軟件工程研究所 15 WPDL中的 JOIN語義問題
試題試卷相關推薦
鄂ICP備17016276號-1