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

说明书

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

相关申请的交叉引用

本申请要求于2015年12月18日在美国专利和商标局提交的名称为“软件即服务参考进程扩展验证框架”的第14/974,713号的优先权，并且要求于2015年12月18日在美国专利和商标局提交的名称为“受控参考流程可扩展性框架”的第14/974,662号的优先权；其整体内容通过引用被合并于此。

技术领域

本发明涉及软件即服务参考流程扩展验证框架。

背景技术

多种类型的软件即服务(SaaS)企业系统典型地在行业中可用。系统的大部分将它们的核心参考流程记录为信息流程，例如，作为它们产品文档的一部分来运输。典型的SaaS产品不提供对流程扩展进行准确建模和约束流程扩展的行为的能力，例如，以诸如业务流程建模和标注(BPMN)的业务流程建模语言进行建模。

多种学术方法可以用于应对业务流程模型和工作流程的变化的业务流程管理(BPM)研究领域。然而，这些研究并不应对约束在基于SaaS的企业软件的上下文中流程扩展的行为。在一些实施例中，建立在时间逻辑和模型检查原则上的更好的方案能够被使用作为基础方法。例如，解决方案可以在包含在扩展片段中的活动的类型级别上制定平台扩展约束。

发明内容

本公开一般地描述了用于确认核心流程模型的扩展的计算机实施的方法、软件、以及系统。例如，扩展点可以被提供给与核心流程相关联的核心流程模型。扩展点可以由核心流程模型提供者预先定义和存储。扩展点可以用规定了在扩展点插入到核心流程模型中的扩展的受限制的行为的约束来注释。扩展点可以遵循流程扩展约束定义语言。扩展点可以由核心流程模型提供者披露给核心流程模型的用户，例如，展示在用户界面中。可以从用户接收用于将所选择的扩展插入到核心流程模型的实例中的指令。每个所选择的扩展可以包括用于在核心流程运行时将在相应的扩展点运行的、扩展的用户定制的行为。核心流程模型的实例可以被确认。对于每一个扩展，可以针对于由约束规定的受限制的行为来确认用户定制的行为。

在一些实施例中，一种计算机实施的方法包括：提供用于与核心流程相关联的核心流程模型的扩展点，扩展点由核心流程模型提供者预先定义和存储，并且用规定了在扩展点插入到核心流程模型中的扩展的受限制的行为的约束来注释，扩展点遵循流程扩展约束定义语言；由核心流程模型提供者将扩展点披露给核心流程模型的用户；从用户接收用于将所选择的扩展插入到核心流程模型的实例中的指令，每个所选择的扩展包括用于在核心流程运行时将在相应的扩展点运行的扩展的用户定制的行为；以及确认核心流程模型的实例，包括对于每个扩展，针对于由约束规定的受限制的行为确认用户定制的行为。

前述以及其它实施方式中的每一个可以选择性地包括一个或多个以下特征，无论是单独的还是组合的。特别是，一个实施方式可以包括所有以下特征：

在第一方面，可与先前任何方面组合，该方法还包括，在确认核心流程模型的实例之前，将核心流程变换为不同的格式。

在第二方面，可与先前任何方面组合，确认核心流程模型的实例包括，基于计算树逻辑(CTL)和属性规范模型的流程扩展模型检查。

在第三方面，可与先前任何方面组合，确认核心流程模型的实例包括，使用指示用于扩展任务实例的确认规则的相关性和行为的约束语义。