买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜SAP欧洲公司申请的专利可信的应用集成获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113626062B 。

龙图腾网通过国家知识产权局官网在2024-09-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202010986291.1，技术领域涉及：G06F8/70；该发明授权可信的应用集成是由D.里特设计研发完成，并于2020-09-18向国家知识产权局提交的专利申请。

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

本发明授权可信的应用集成在权利要求书中公布了：1.一种与可信的应用集成相关联的系统，包括：形式化平台，包括：计算机处理器，以及计算机存储器，耦合到所述计算机处理器，存储指令，所述指令当由所述计算机处理器执行时，使得所述形式化平台：i由集成开发者使用界面设备定义模式需求，所述模式需求包括控制和数据流、事务资源和时间，ii使用具有每个模式的模式特性和模式契约的第一形式模型形式化单例模式，其中，所述模式特性描述由相应的模式处理的数据，所述模式契约包括入站模式契约和出站模式契约，并且其中，所述入站模式契约和出站模式契约分别描述模式能够接收和发送的数据格式，并且其中，所述模式契约指定在数据交换期间数据是如何根据模式的所需消息属性被交换的，以及iii将形式化的单例模式组合到基于模板的形式化的组合中，包括对模式的约束和配置的形式化，以获得组合的模式；正确性平台，从所述形式化平台接收信息，以：i检查由所述形式化平台组合的所述形式化的组合的结构正确性，ii通过用契约扩展模式类型图获得模式契约图来执行所述形式化的组合到模式特性的语义变换或绑定和相关联的交互，以及iii检查组合语义并生成第二形式模型，所述检查组合语义包括契约验证以获得正确的模式图；以及实现平台，从所述正确性平台接收信息，以：i转化由所述正确性平台生成的第二形式模型，以创建具有用于与外部世界通信的开放边界的定时db-net，作为转化后的形式模型，ii配置转化后的形式模型的实现参数，以及iii根据所配置的实现参数执行所述转化后的形式模型。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人SAP欧洲公司，其通讯地址为：德国瓦尔多夫；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。