当前位置: 首页 > 专利查询>SAP欧洲公司专利>正文

软件即服务参考流程扩展验证框架制造技术

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

Software as a service reference flow extension verification framework

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.一种系统,包括:储存器,存储:包括关于核心流程模型和相关联的扩展点的信息的数据存储;以及用于提供指令的应用,包括:为与核心流程相关联的核心流程模型提供扩展点,扩展点被核心流程模型提供者预先定义和存储,并且用规定了在扩展点被插入到核心流程模型中的扩展的受限制的行为的约束来注释,扩展点以流程扩展约束定义语言制定并且允许扩展的运行时行为的限制,其中,流程扩展约束定义语言基于时间逻辑,并且以对于包括在流程扩展中的活动的扩展任务类型等级的公式约束的特定支持增强了现有属性规范模式;由核心流程模型提供者将扩展点披露给核心流程模型的用户;从用户接收将所选择的扩展插入核心流程模型的实例中的指令,每个所选择的扩展包括在核心流程运行时对于将在相应的扩展点运...

【专利技术属性】
技术研发人员:M奥尔盖耶
申请(专利权)人:SAP欧洲公司
类型:发明
国别省市:德国,DE

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1