[发明专利]软件即服务参考流程扩展验证框架

权利要求书

1.一种用于流程扩展的方法，包括：

对于与核心流程相关联的核心流程模型提供扩展点，扩展点被核心流程模型提供者预先定义和存储，并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释，扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制，其中，流程扩展约束定义语言基于时间逻辑，并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式；

由核心流程模型提供者将扩展点披露给核心流程模型的用户；

从用户接收将所选择的扩展插入到核心流程模型的实例中的指令，每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运行的扩展的用户定制的行为；以及

确认核心流程模型的实例，对于每个扩展，包括针对于由所述约束规定的受限制的行为，确认用户定制的行为，

其中，所述扩展点是包括在软件即服务(SaaS)、基于云的企业系统中的应用域的一部分，该基于云的企业系统扩展了由SaaS提供者提供给客户和伙伴的参考流程。

2.如权利要求1所述的方法，还包括在确认核心流程模型的实例之前，将核心流程变换为不同的格式。

3.如权利要求1所述的方法，其中，确认核心流程模型的实例包括，基于计算树逻辑(CTL)和属性规范模式的流程扩展模型检查。

4.如权利要求1所述的方法，其中，确认核心流程模型的实例包括使用指示用于扩展任务实例的确认规则的相关性和行为的约束语义。

5.一种用于流程扩展的系统，包括：

储存器，存储：

包括关于核心流程模型和相关联的扩展点的信息的数据存储；以及

用于提供指令的应用，包括：

为与核心流程相关联的核心流程模型提供扩展点，扩展点被核心流程模型提供者预先定义和存储，并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释，扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制，其中，流程扩展约束定义语言基于时间逻辑，并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式；

由核心流程模型提供者将扩展点披露给核心流程模型的用户；

从用户接收将所选择的扩展插入核心流程模型的实例中的指令，每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运行的扩展的用户定制的行为；以及

确认核心流程模型的实例，对于每个扩展，包括针对于由约束规定的受限制的行为，确认用户定制的行为，

其中，所述扩展点是包括在软件即服务(SaaS)、基于云的企业系统中的应用域的一部分，该基于云的企业系统扩展了由SaaS提供者提供给客户和伙伴的参考流程。

6.如权利要求5所述的系统，所述指令还包括：在确认核心流程模型的实例之前，将核心流程变换为不同的格式。

7.如权利要求5所述的系统，其中，确认核心流程模型的实例包括，基于计算树逻辑(CTL)和属性规范模式的流程扩展模型检查。

8.如权利要求5所述的系统，其中，确认核心流程模型的实例包括使用指示用于扩展任务实例的确认规则的相关性和行为的约束语义。