[发明专利]基于时序逻辑的业务过程建模方法

摘要

本发明涉及一种面向领域应用支撑平台的业务过程建模方法，通过将业务过程分为工作流和业务规则两部分，给出了工作流和业务规则的相互融合准则，并且基于时序逻辑语义定义了工作流和业务规则中的基本元素，从而建立了由工作流和业务规则表示的、统一的、基于时序逻辑的业务过程模型。本发明为业务过程描述和分析提供形式化的、统一的和灵活的业务过程建模方法，适应面向领域应用支撑平台中不同领域业务过程建模的需要。

主权项

1.一种基于时序逻辑的业务过程建模方法，根据时序逻辑的语法和语义对业务过程进行建模，其特征在于包括以下步骤：步骤A：根据组织方式对业务过程进行分类，一是工作流部分，表示业务过程中的控制流；另一是业务规则部分，表示业务过程中的事实及其相互关系和状态，并且，对工作流部分，确定各活动状态以及活动状态基本依赖结构；步骤B：构建时序逻辑表示的工作流基本结构算子，并且建立根据工作流基本结构算子描述工作流的方法；构建时序逻辑表示的业务规则基本元素，并且建立根据业务规则基本元素描述业务规则方法；步骤C：利用步骤A中的活动状态基本依赖结构和步骤B中的工作流基本结构算子，建立时序逻辑表示的状态基本依赖结构及活动状态依赖；根据步骤B中的业务规则基本元素，建立时序逻辑表示的业务规则；步骤D：建立业务规则和工作流交互准则，实现根据业务规则返回结果确定工作流执行方式。