计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2006年
5期
159-161,177
,共4页
工作流%UML-Statecharts%时序逻辑%完全性%模型检测
工作流%UML-Statecharts%時序邏輯%完全性%模型檢測
공작류%UML-Statecharts%시서라집%완전성%모형검측
工作流模型验证成为工作流的重要研究领域之一.控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证.本文使用UML-Statecharts建立控制结构模型,使用时序逻辑表示工作流控制结构需要满足的性质.给出了一个定理并进行了证明,基于定理给出了一个验证完全性的算法,对于工作流语义相关性质的验证给出了一模型检测算法.
工作流模型驗證成為工作流的重要研究領域之一.控製結構的正確性是工作流過程所需達到的最基本要求,本文著重控製結構方麵的驗證.本文使用UML-Statecharts建立控製結構模型,使用時序邏輯錶示工作流控製結構需要滿足的性質.給齣瞭一箇定理併進行瞭證明,基于定理給齣瞭一箇驗證完全性的算法,對于工作流語義相關性質的驗證給齣瞭一模型檢測算法.
공작류모형험증성위공작류적중요연구영역지일.공제결구적정학성시공작류과정소수체도적최기본요구,본문착중공제결구방면적험증.본문사용UML-Statecharts건립공제결구모형,사용시서라집표시공작류공제결구수요만족적성질.급출료일개정리병진행료증명,기우정리급출료일개험증완전성적산법,대우공작류어의상관성질적험증급출료일모형검측산법.
