The present disclosure describes methods, software, and systems, including methods for providing extension points for a core process model. Extension points are provided to the core process model associated with the core process. The extension point is predefined and annotated with constraints that specify extended, restricted behavior that is inserted into the core process model at the point of extension. Extension points are defined by the process extension constraint definition language and allow runtime behavior constraints. The process extension constraint definition language is based on temporal logic, and adds the existing attribute specification schema with specific support to constrain constraints on extended activity type levels for activities included in process extensions. Instruction received from users to insert selected extensions into instances of the core process model. Each of the selected extensions includes customized user behavior for expansion. An instance of the core process model is confirmed.
【技术实现步骤摘要】
软件即服务参考流程扩展验证框架相关申请的交叉引用本申请要求于2015年12月18日在美国专利和商标局提交的名称为“软件即服务参考进程扩展验证框架”的第14/974,713号的优先权,并且要求于2015年12月18日在美国专利和商标局提交的名称为“受控参考流程可扩展性框架”的第14/974,662号的优先权;其整体内容通过引用被合并于此。
本专利技术涉及软件即服务参考流程扩展验证框架。
技术介绍
多种类型的软件即服务(SaaS)企业系统典型地在行业中可用。系统的大部分将它们的核心参考流程记录为信息流程,例如,作为它们产品文档的一部分来运输。典型的SaaS产品不提供对流程扩展进行准确建模和约束流程扩展的行为的能力,例如,以诸如业务流程建模和标注(BPMN)的业务流程建模语言进行建模。多种学术方法可以用于应对业务流程模型和工作流程的变化的业务流程管理(BPM)研究领域。然而,这些研究并不应对约束在基于SaaS的企业软件的上下文中流程扩展的行为。在一些实施例中,建立在时间逻辑和模型检查原则上的更好的方案能够被使用作为基础方法。例如,解决方案可以在包含在扩展片段中的活动的类 ...
【技术保护点】
一种方法,包括:对于与核心流程相关联的核心流程模型提供扩展点,扩展点被核心流程模型提供者预先定义和存储,并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释,扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制,其中,流程扩展约束定义语言基于时间逻辑,并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式;由核心流程模型提供者将扩展点披露给核心流程模型的用户;从用户接收将所选择的扩展插入到核心流程模型的实例中的指令,每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运行的扩展的用户定制的行为;以及确 ...
【技术特征摘要】
2015.12.18 US 14/974,662;2015.12.18 US 14/974,7131.一种方法,包括:对于与核心流程相关联的核心流程模型提供扩展点,扩展点被核心流程模型提供者预先定义和存储,并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释,扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制,其中,流程扩展约束定义语言基于时间逻辑,并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式;由核心流程模型提供者将扩展点披露给核心流程模型的用户;从用户接收将所选择的扩展插入到核心流程模型的实例中的指令,每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运行的扩展的用户定制的行为;以及确认核心流程模型的实例,对于每个扩展,包括针对于由所述约束规定的受限制的行为,确认用户定制的行为。2.如权利要求1所述的方法,还包括在确认核心流程模型的实例之前,将核心流程变换为不同的格式。3.如权利要求1所述的方法,其中,确认核心流程模型的实例包括,基于计算树逻辑(CTL)和属性规范模式的流程扩展模型检查。4.如权利要求1所述的方法,其中,确认核心流程模型的实例包括使用指示用于扩展任务实例的确认规则的相关性和行为的约束语义。5.如权利要求1所述的方法,其中,所述扩展点是包括在软件即服务(SaaS)、基于云的企业系统中的应用域的一部分,该基于云的企业系统扩展了由SaaS提供者提供给客户和伙伴的参考流程。6.一种系统,包括:储存器,存储:包括关于核心流程模型和相关联的扩展点的信息的数据存储;以及用于提供指令的应用,包括:为与核心流程相关联的核心流程模型提供扩展点,扩展点被核心流程模型提供者预先定义和存储,并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释,扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制,其中,流程扩展约束定义语言基于时间逻辑,并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式;由核心流程模型提供者将扩展点披露给核心流程模型的用户;从用户接收将所选择的扩展插入核心流程模型的实例中的指令,每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。