可信的应用集成制造技术

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

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


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

技术介绍

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

技术实现思路

[0010]根据一些实施例，方法和系统可以与可信的应用集成相关联。形式化(formalization)平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合(single pattern composition)形式化，并将单例模式组合(compose)为基于模板的形式化的组合(formalized composition)。正确性平台然后可以检查由形式化平台所组合的形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性(correctness)平台还可以检查组合语义并生成形式模型(formal model)。实现(implementation)平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。
[0011]一些实施例包括：用于由形式化平台的计算机处理器促进由集成开发者对模式需求的定义的装置；用于由形式化平台将单例模式组合形式化的装置；用于由形式化平台将单例模式组合为基于模板的形式化的组合的装置；用于由正确性平台检查由形式化平台组合的形式化的组合的结构正确性的装置；用于由正确性平台执行到模式特性的语义变换或绑定和相关联的交互的装置；用于由正确性平台检查组合语义并生成形式模型的装置；用
于由实现平台转化由正确性平台生成的形式模型的装置；用于由实现平台配置转化后的形式模型的参数的装置；以及用于由实现平台根据所配置的实现参数执行转化后的形式模型的装置。
[0012]本文所公开的一些实施例的一些技术优点是以安全、自动和有效的方式提供可信的应用集成的改进的系统和方法。
附图说明
[0013]图1是根据一些实施例的与可靠的(responsible)模式组合过程相关联的信息流程图。
[0014]图2是根据一些实施例的系统的高级框图。
[0015]图3是根据一些实施例的方法。
[0016]图4示出了根据一些实施例的域抽象。
[0017]图5示出了根据一些实施例的域形式化。
[0018]图6示出了根据一些实施例的域验证。
[0019]图7是根据一些实施例的混合集成场景。
[0020]图8是根据一些实施例的集成模式契约(contract)图的示例。
[0021]图9是根据一些实施例的“串行到并行(sequence to parallel)”优化之后的集成模式契约图。
[0022]图10示出了根据一些实施例的开始(start)和结束(end)模式。
[0023]图11示出了根据一些实施例的无条件分叉(fork)模式的转化。
[0024]图12示出了根据一些实施例的无条件联接(join)模式的转化。
[0025]图13示出了根据一些实施例的条件分叉模式的转化。
[0026]图14示出了根据一些实施例的消息处理器(message processor)模式的转化。
[0027]图15示出了根据一些实施例的合并(merge)模式的转化。
[0028]图16示出了根据一些实施例的外部调用(external call)模式的转化。
[0029]图17是根据一些实施例的1:1模式契约(contract)构造(construction)。
[0030]图18是根据一些实施例的1:o模式契约构造。
[0031]图19是根据一些实施例的消息转化器构造的示例。
[0032]图20是根据一些实施例的联接路由器构造的示例。
[0033]图21示出了根据一些实施例的完整集成模式契约图。
[0034]图22是根据一些实施例的具有边界的定时db-net(timed db-net，定时数据库网络)中的材料(material)复制场景。
[0035]图23是根据一些实施例的预测性维护场景的完整集成模式契约图。
[0036]图24示出了根据一些实施例的重写规则。
[0037]图25A和图25B示出了根据一些实施例的冗余子过程和组合兄弟(sibling)模式。
[0038]图26A和图26B示出了根据一些实施例的早期过滤器和早期映射。
[0039]图27A和图27B示出了根据一些实施例的早期聚合(aggregation)和早期声明(claim)检查。
[0040]图28A和图28B示出了根据一些实施例的早期分割(split)和(插入的)早期分割。
[0041]图29A和图29B示出了根据一些实施例的串行到并行过程和并行合并过程。
[0042]图30示出了根据一些实施例的异构串行到并行过程。
[0043]图31A和图31B示出了根据一些实施例忽略失败端点并尝试失败端点。
[0044]图32示出了根据一些实施例的减少请求过程。
[0045]图33是根据一些实施例的模式组合评估流水线。
[0046]图34是根据一些实施例的人机界面显示。
[0047]图35是根据一些实施例的装置或平台。
[0048]图36是根据一些实施例的应用集成数据存储的部分。
[0049]图37是根据一些实施例的提供可信的应用集成显示的平板计算机。
具体实施方式
[0050]本文档来自技高网...

【技术保护点】

【技术特征摘要】
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欧洲公司，
类型：发明
国别省市：