%0 Journal Article
%T 基于p/t系统化简方法的工作流过程模型验证
%A 赵文？
%A 袁崇义？
%A 刘刚？
%A 张世琨？
%A 王立福？
%J 软件学报
%P 1423-1430
%D 2004
%X 目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于p/t系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.
%K 模型验证
%K 化简规则
%K 过程网
%K p/t系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20041001&flag=1