摘要
为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。
To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method, Workflow patterns are basic construction unit of workflow modeling. The π- calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems. Firstly, this paper proposes that the - calculus has been regarded as a formal foundation for workflow, furthermore describes workflow patterns by using the π- calculus in detail.
出处
《计算技术与自动化》
2007年第1期90-93,共4页
Computing Technology and Automation
基金
湖南省教育厅优秀青年项目(06B023)
湖南省教育厅科研项目(052520)
湖南省自然科学基金(05JJ30122)
