[发明专利]可信的应用集成在审
| 申请号： | 202010986291.1 | 申请日： | 2020-09-18 |
| 公开（公告）号： | CN113626062A | 公开（公告）日： | 2021-11-09 |
| 发明（设计）人： | D.里特 | 申请（专利权）人： | SAP欧洲公司 |
| 主分类号： | G06F8/70 | 分类号： | G06F8/70;G06F8/71 |
| 代理公司： | 北京市柳沈律师事务所 11105 | 代理人： | 邵亚丽 |
| 地址： | 德国瓦*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 根据一些实施例，方法和系统可以与可信的应用集成相关联。形式化平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合形式化，并将单例模式组合为基于模板的形式化的组合。正确性平台然后可以检查形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性平台还可以检查组合语义并生成形式模型。实现平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。 | ||
| 搜索关键词： | 可信 应用 集成 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于SAP欧洲公司，未经SAP欧洲公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010986291.1/，转载请声明来源钻瓜专利网。
- 上一篇：平面变压器
- 下一篇：用于控制车辆悬架的装置和方法
