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.

• 摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。