%0 Journal Article
%T A Survey of Workflow Modeling Approaches and Model Verification<br>工作流过程建模方法及模型的形式化验证
%A YANG Dong WANG Ying-Lin ZHANG Shen-Sheng FU Qian
%A <br>杨东
%A 王英林
%A 张申生
%A 傅谦
%J 计算机科学
%D 2003
%I 
%X Workflow technology is widely used in business process modeling, software process modeling as well as enterprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modeling approach is a hybrid one, i. e. the integration of the above approaches.
%K Workflow modeling
%K Model verification<br>工作流管理系统
%K 工作流过程
%K 建模方法
%K Petri网
%K 形式化验证
%K 软件系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=21C609865CF89EE4&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=9CF7A0430CBB2DFD&sid=B344543C2864D684&eid=6DE26652A1045643&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=42