科技广场
科技廣場
과기엄장
SCIENCE TECHNOLOGY PLAZA
2007年
9期
6-9
,共4页
图变换%工作流过程模型%工作流建模%正确性分析
圖變換%工作流過程模型%工作流建模%正確性分析
도변환%공작류과정모형%공작류건모%정학성분석
对工作流过程模型的研究是当前工作流研究的热点之一.现有工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足.针对上述问题,基于图变换设计了一种新的工作流过程模型规范,并在这个工作流过程模型规范的基础上,利用TIGER工具实现了一个工作流建模与分析环境,使得相应工作流过程模型具有直观、简洁、形式化、描述能力强和便于分析的特点.
對工作流過程模型的研究是噹前工作流研究的熱點之一.現有工作流過程模型在可視化、描述全麵性、過程分析以及形式化等方麵難以均衡,健壯性和柔性不足.針對上述問題,基于圖變換設計瞭一種新的工作流過程模型規範,併在這箇工作流過程模型規範的基礎上,利用TIGER工具實現瞭一箇工作流建模與分析環境,使得相應工作流過程模型具有直觀、簡潔、形式化、描述能力彊和便于分析的特點.
대공작류과정모형적연구시당전공작류연구적열점지일.현유공작류과정모형재가시화、묘술전면성、과정분석이급형식화등방면난이균형,건장성화유성불족.침대상술문제,기우도변환설계료일충신적공작류과정모형규범,병재저개공작류과정모형규범적기출상,이용TIGER공구실현료일개공작류건모여분석배경,사득상응공작류과정모형구유직관、간길、형식화、묘술능력강화편우분석적특점.