软件即服务参考流程扩展验证框架

摘要

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