业务流程的形式化模型构建方法与系统

摘要

本发明提供了一种业务流程的形式化模型构建方法与系统。其中业务流程的形式化模型构建方法包括：利用预设的多种同步模式构建同步模块，以利用同步模块对外部输入的任务集信息进行辨别，确定出任务集之间对应的同步模式，其中多种同步模式根据业务流程中任务间的依赖关系的类型抽象得出；构建用于描述每种同步模式的同步关系，以按照同步模块确定出的同步模式对应的同步关系生成任务集对应的执行流程。利用本发明的方案，可以确保整个业务流程的畅通性，屏蔽了现有技术中流程设置中需要的信息技术术语，方便操作人员根据其要实现的业务流程进行设置，简化了操作人员的设置过程。

主权项

一种业务流程的形式化模型构建方法，其特征在于包括：利用预设的多种同步模式构建同步模块，以利用所述同步模块对外部输入的任务集信息进行辨别，确定出所述任务集之间对应的同步模式，其中所述多种同步模式根据业务流程中任务间的依赖关系的类型抽象得出；构建用于描述每种所述同步模式的同步关系，以按照所述同步模块确定出的同步模式对应的所述同步关系生成所述任务集对应的执行流程。