%0 Journal Article
%T Formalizing multiple instance workflow patterns based on the π-calculus<br>多实例工作流模式的π演算形式化
%A LIANG Ai-nan
%A LI Chang-yun
%A HUANG Xian-ming
%A <br>梁爱南
%A 李长云
%A 黄贤明
%J 计算机应用
%D 2007
%I 
%X 多实例工作流模式是一类重要的工作流模式.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述.
%K π演算
%K ECA规则
%K 多实例工作流模式
%K 多实例
%K 工作流
%K 流模式
%K π演算
%K 形式化
%K based
%K patterns
%K workflow
%K multiple
%K 描述
%K 利用
%K 研究
%K 建模
%K 系统
%K 态变化
%K 进程代数
%K 移动
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=7EB4F89C56892AD623B8C8DE71C84BD9&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=CA4FD0336C81A37A&sid=D5C73DEF4CF8FAF3&eid=1D67BE204FBF4800&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=6