电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2009年
1期
153-156
,共4页
陆公正%吴澜波%顾小晶%张广泉
陸公正%吳瀾波%顧小晶%張廣泉
륙공정%오란파%고소정%장엄천
UML状态图%Buchi自动机%并发%工作流%模型检测
UML狀態圖%Buchi自動機%併髮%工作流%模型檢測
UML상태도%Buchi자동궤%병발%공작류%모형검측
当并发执行工作流的多个实例时会导致数据流访问时语义的不一致.首先扩展了传统的UML状态图,用它进行工作流实例建模.然后把扩展的UML状态图建立的工作流模型转化为Buchi自动机,并用Buchi自动机之间的积表示多个工作流实例的并发模型.接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理.最后,由于随着实例数目的增加,并发模型中的状态数也会按每个实例的状态数倍增加,为了解决这一问题,在检测并发冲突的算法中采用了on-the-fly技术.
噹併髮執行工作流的多箇實例時會導緻數據流訪問時語義的不一緻.首先擴展瞭傳統的UML狀態圖,用它進行工作流實例建模.然後把擴展的UML狀態圖建立的工作流模型轉化為Buchi自動機,併用Buchi自動機之間的積錶示多箇工作流實例的併髮模型.接著給齣瞭和證明瞭根據併髮模型中標記的命題公式判定併髮遲突的定理.最後,由于隨著實例數目的增加,併髮模型中的狀態數也會按每箇實例的狀態數倍增加,為瞭解決這一問題,在檢測併髮遲突的算法中採用瞭on-the-fly技術.
당병발집행공작류적다개실례시회도치수거류방문시어의적불일치.수선확전료전통적UML상태도,용타진행공작류실례건모.연후파확전적UML상태도건립적공작류모형전화위Buchi자동궤,병용Buchi자동궤지간적적표시다개공작류실례적병발모형.접착급출료화증명료근거병발모형중표기적명제공식판정병발충돌적정리.최후,유우수착실례수목적증가,병발모형중적상태수야회안매개실례적상태수배증가,위료해결저일문제,재검측병발충돌적산법중채용료on-the-fly기술.
