公开(公告)号：CN113626062B

公开(公告)日：2024-09-20

申请号：CN202010986291.1

申请日：2020-09-18

Applicant: SAP欧洲公司

Inventor： D.里特

IPC: G06F8/70 ,  G06F8/71

Abstract: 根据一些实施例，方法和系统可以与可信的应用集成相关联。形式化平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合形式化，并将单例模式组合为基于模板的形式化的组合。正确性平台然后可以检查形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性平台还可以检查组合语义并生成形式模型。实现平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。

公开(公告)号：CN116257500A

公开(公告)日：2023-06-13

申请号：CN202211319781.1

申请日：2022-10-26

Applicant: SAP欧洲公司

Inventor： R.塞德勒 ,  U.拉瓦特 ,  M.豪克 ,  H.雅克希奇 ,  D.里特

IPC: G06F16/21 ,  G06F16/22 ,  G06F16/23 ,  G06F16/2455 ,  G06F16/51 ,  G06F16/53

Abstract: 一种方法可以包括响应于对图数据进行操作的事务，访问存储与图数据相对应的图索引的缓存。可以检测由底层图数据的改变而触发的缓存缺失。响应于检测到缓存缺失，可以至少通过重放或重绕由一个或多个其他事务在该事务的第一时间和缓存中图索引的当前版本的第二时间之间对图数据做出的一个或多个其他改变来更新图索引。可以更新图索引以避免对图索引的完全重建。可以基于更新后的图索引来运行该事务。还提供了相关的系统和计算机程序产品。

公开(公告)号：CN103218288B

公开(公告)日：2017-07-07

申请号：CN201210528222.1

申请日：2012-12-10

Applicant: SAP欧洲公司

Inventor： D.里特 ,  S.鲁普里克

IPC: G06F11/36

CPC classification number: G06N5/02 ,  G06N5/022

Abstract: 一种用于知识验证的计算机实现的方法包括标识用于验证的事实。可以创建表示用于验证的事实的语义模型。可以标识与事实关联的上下文，并且可以至少部分地基于标识的上下文来创建自动机。可以使用自动机验证事实。

公开(公告)号：CN102447733B

公开(公告)日：2015-09-23

申请号：CN201110308679.7

申请日：2011-10-12

Applicant: SAP欧洲公司

Inventor： C.H.利比格 ,  A.巴特 ,  G.罗瑟梅尔 ,  J.埃克尔曼 ,  D.里特 ,  F.贝宁斯 ,  F.O.霍夫曼

IPC: H04L29/08

CPC classification number: G06Q10/06 ,  G06Q10/067

Abstract: 一种计算机实现的方法，包括：接收关于业务网络的元数据，该元数据由执行自动发现业务网络的基于计算机的实体来采集；基于元数据生成业务网络模型，该业务网络模型包含对象以及在对象之间的关联，该对象表示通过自动发现找到的业务网络的各个方面，所述方面至少包括：参与方、系统、关系、应用、接口、中间件、过程步骤、和文档；以及基于至少一个输入修改业务网络模型。

公开(公告)号：CN117389970A

公开(公告)日：2024-01-12

申请号：CN202211318567.4

申请日：2022-10-26

Applicant: SAP欧洲公司

Inventor： D.里特 ,  A.多辛格 ,  K.米勒 ,  N.梅

IPC: G06F16/174 ,  G06F16/22 ,  G06F15/78

Abstract: 一种用于提供诸如压缩即服务(Caas)的压缩服务的方法、系统和计算机程序产品。在一些实施方式中，提供了一种方法，包括：在压缩服务处接收关于数据库服务器的一个或多个列的度量信息；响应于接收到度量信息，由压缩服务处理度量信息，以将至少一个列识别为用于由压缩服务进行压缩的候选；响应于识别至少一个列，由压缩服务压缩至少一个列，其中压缩服务使用硬件加速器来执行压缩至少一个列的压缩算法；以及由压缩服务向数据库服务器通知由压缩服务压缩的至少一个列。还公开了相关的系统、方法和制品。

公开(公告)号：CN113626062A

公开(公告)日：2021-11-09

申请号：CN202010986291.1

申请日：2020-09-18

Applicant: SAP欧洲公司

Inventor： D.里特

IPC: G06F8/70 ,  G06F8/71

Abstract: 根据一些实施例，方法和系统可以与可信的应用集成相关联。形式化平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合形式化，并将单例模式组合为基于模板的形式化的组合。正确性平台然后可以检查形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性平台还可以检查组合语义并生成形式模型。实现平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。

公开(公告)号：CN102468981B

公开(公告)日：2017-01-18

申请号：CN201110356792.2

申请日：2011-11-11

Applicant: SAP欧洲公司

Inventor： A.巴特 ,  D.里特 ,  J.丹纳 ,  T.维斯特曼

IPC: H04L12/24

CPC classification number: H04L43/04 ,  G06Q10/06

Abstract: 根据一些实施例，可以在网络景观中发现多个互连的实体。然后所述实体的子集可以被自动地合并到业务参与者中，所述合并可以根据至少一个基于规则的算法来执行。然后，包括业务参与者的业务处理景观可以被生成和/或显示给操作者。