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

摘要

本公开描述了方法、软件、以及系统，包括为核心流程模型提供扩展点的方法。扩展点被提供给与核心流程相关联的核心流程模型。扩展点用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来预定义和注释。扩展点以流程扩展约束定义语言来制定，并且允许运行时行为的约束。流程扩展约束定义语言基于时间逻辑，并且用特定支持增强现有属性规范模式，以对包括在流程扩展中的活动在扩展任务类型级别制定约束。从用户接收将所选择的扩展插入到核心流程模型中的实例的指令。每个所选择的扩展包括用于扩展的用户定制的行为。核心流程模型的实例被确认。

主权项

一种方法，包括：对于与核心流程相关联的核心流程模型提供扩展点，扩展点被核心流程模型提供者预先定义和存储，并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释，扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制，其中，流程扩展约束定义语言基于时间逻辑，并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式；由核心流程模型提供者将扩展点披露给核心流程模型的用户；从用户接收将所选择的扩展插入到核心流程模型的实例中的指令，每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运行的扩展的用户定制的行为；以及确认核心流程模型的实例，对于每个扩展，包括针对于由所述约束规定的受限制的行为，确认用户定制的行为。