龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：SAP欧洲公司
摘要：根据一些实施例，方法和系统可以与可信的应用集成相关联。形式化平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合形式化，并将单例模式组合为基于模板的形式化的组合。正确性平台然后可以检查形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性平台还可以检查组合语义并生成形式模型。实现平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。
主权项：1.一种与可信的应用集成相关联的系统，包括：形式化平台，包括：计算机处理器，以及计算机存储器，耦合到所述计算机处理器，存储指令，所述指令当由所述计算机处理器执行时，使得所述形式化平台：i由集成开发者使用界面设备定义模式需求，所述模式需求包括控制和数据流、事务资源和时间，ii使用具有每个模式的模式特性和模式契约的第一形式模型形式化单例模式，其中，所述模式特性描述由相应的模式处理的数据，所述模式契约包括入站模式契约和出站模式契约，并且其中，所述入站模式契约和出站模式契约分别描述模式能够接收和发送的数据格式，并且其中，所述模式契约指定在数据交换期间数据是如何根据模式的所需消息属性被交换的，以及iii将形式化的单例模式组合到基于模板的形式化的组合中，包括对模式的约束和配置的形式化，以获得组合的模式；正确性平台，从所述形式化平台接收信息，以：i检查由所述形式化平台组合的所述形式化的组合的结构正确性，ii通过用契约扩展模式类型图获得模式契约图来执行所述形式化的组合到模式特性的语义变换或绑定和相关联的交互，以及iii检查组合语义并生成第二形式模型，所述检查组合语义包括契约验证以获得正确的模式图；以及实现平台，从所述正确性平台接收信息，以：i转化由所述正确性平台生成的第二形式模型，以创建具有用于与外部世界通信的开放边界的定时db-net，作为转化后的形式模型，ii配置转化后的形式模型的实现参数，以及iii根据所配置的实现参数执行所述转化后的形式模型。
全文数据：
权利要求：
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号