可信的应用集成制造技术

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

【技术实现步骤摘要】
可信的应用集成


[0001]本申请涉及与可信的应用集成相关联的方法和系统。

技术介绍

[0002]近来的趋势导致了业务应用和设备的模块化和分布，这增加了应用和业务过程的重要性。由于模块化，产生的集成场景或程序—本质上是集成模式的组合(composition)(即，集成操作员(integration operator)的形式的最佳实践)—变得越来越复杂。尽管现有的集成平台供应商可以允许集成程序的开发，但是这些供应商通常不提供形式上可验证的基础。因此，以下类型的问题可能很常见：
[0003]·
不存在设计时(design-time)功能验证或确认(例如，正确性检查)；
[0004]·
需要详尽的手动运行时(runtime)确认；
[0005]·
在开发阶段后期(甚至在生产中)发现设计缺陷和功能错误；
[0006]·
在业务过程中可能会出现无意的问题(例如，集成场景行为与预期的不同)；以及
[0007]·
频繁更改集成解决方案(例如，为了改进和/或优化)需要付出大量努力，本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种与可信的应用集成相关联的系统，包括：形式化平台，包括：计算机处理器，以及计算机存储器，耦合到所述计算机处理器，存储指令，所述指令当由所述计算机处理器执行时，使得所述形式化平台：(i)促进集成开发者对模式需求的定义，(ii)将单例模式组合形式化，以及(iii)将单例模式组合为基于模板的形式化的组合；正确性平台，从所述形式化平台接收信息，以：(i)检查由所述形式化平台组合的所述形式化的组合的结构正确性，(ii)执行到模式特性的语义变换或绑定和相关联的交互，以及(iii)检查组合语义并生成形式模型；以及实现平台，从所述正确性平台接收信息，以：(i)转化由所述正确性平台生成的所述形式模型，(ii)配置转化后的形式模型的实现参数，以及(iii)根据所配置的实现参数执行所述转化后的形式模型。2.根据权利要求1所述的系统，其中，可以结合所述形式模型来执行优化策略。3.根据权利要求2所述的系统，其中，所述优化策略包括静态或动态优化策略，并且所述优化策略保持结构和语义正确性。4.根据权利要求3所述的系统，其中，所述静态或动态优化策略与以下中的至少一个相关联：(i)过程简化，(ii)数据减少，(iii)并行化，(iv)交互减少，以及(v)模式布局。5.根据权利要求1所述的系统，其中，所述形式模型与以下中的至少一个相关联：(i)基于图的模式组合，(ii)集成模式图，以及(iii)集成模式契约图。6.根据权利要求1所述的系统，其中，所述形式模型与具有边界的定时db-net相关联。7.根据权利要求1所述的系统，其中，基于规则的图重写系统结合所述形式模型应用优化策略。8.根据权利要求7所述的系统，其中，所述优化策略与以下中的至少一个相关联：(i)过程简化，(ii)冗余子过程，以及(iii)组合兄弟模式。9.根据权利要求7所述的系统，其中，所述优化策略与以下中的至少一个相关联：(i)并行化，(ii)串行到并行，(iii)并行合并，以及(iv)异构并行化。10.根据权利要求7所述的系统，其中，所述优化策略与模式布局相关联。11.根据权利要求7所述的系统，其中，所述优化策略与以下中的至少一个相关联：(i)交互减少，(ii)忽略失败端点，以及(iii)减少请求。12.根据权利要求7所述的系统，其中，所述优化策略与以下中的至少一个相关联：(i)早期过滤器，(ii)早期映射，(iii)早期聚合，(iv)早期声明检查，以及(v)早期分割。13.一种与可信的应用集成相关联的计算机实现的方法，包括：由...

【专利技术属性】
技术研发人员：D里特，
申请(专利权)人：SAP欧洲公司，
类型：发明
国别省市：