模块化车间的弹性验证制造技术

本公开的实施例涉及模块化车间的弹性验证。提供了一种用于验证模块化车间的过程编排逻辑的方法(1300)。该方法包括：生成(1302)表示所述过程编排逻辑的车间执行模型；分析(1304)所述车间执行模型以标识一个或多个潜在故障场景；以及基于所标识的一个或多个故障场景生成(1306)一个或多个测试用例。场景生成(1306)一个或多个测试用例。场景生成(1306)一个或多个测试用例。

【技术实现步骤摘要】
模块化车间的弹性验证


[0001]本专利技术涉及用于验证模块化车间的过程编排逻辑的方法和系统。

技术介绍

[0002]模块化车间在工程阶段通过将一组预先设计的模块集成到车间拓扑中并定义协调模块的编排逻辑来设计。每个模块由模块类型包(Module Type Package,MTP)表示，MTP是标准化数据包,包含将模块集成到模块化车间中的所有必要信息，诸如通信、服务(即由模块执行的功能)、人机接口(HMI)描述和维护信息。模块可以通过选择MTP并将模块的输入和/或输出(如在MTP的HMI部分中定义的)与拓扑中的一个或多个其他模块的输入和/或输出连接来集成。编排逻辑被设计为调用由模块提供的服务(如MTP的服务部分中所定义的)。
[0003]用于验证编排逻辑的经设计的拓扑的集成测试可能存在挑战。尽管各个模块本身可以被很好地测试，但是一组模块的集成可能易受不可预见的情况的影响，所述不可预见的情况可能导致在测试期间昂贵的调试或调试之后的系统故障。消除故障原因可能是困难的，尤其是当工程师无法获得服务实现方式细节时，如第三方MTP的情况，在这种情况下本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于验证模块化车间的过程编排逻辑的方法(1300)，所述方法包括：生成(1302)表示所述过程编排逻辑的车间执行模型；分析(1304)所述车间执行模型，以标识潜在的一个或多个故障场景；以及基于所标识的所述一个或多个故障场景，生成(1306)一个或多个测试用例。2.根据权利要求1所述的方法，其中生成所述车间执行模型包括：获得在所述过程验证逻辑中被引用的相应服务的服务执行模型，并且基于所述过程编排逻辑，对所述服务之间的通信建模。3.根据权利要求2所述的方法，其中获得所述服务执行模型包括：通过基于定义所述模块化车间的数据修改至少一个模板服务执行模型来生成所述服务执行模型。4.根据权利要求3所述的方法，其中修改所述模板服务执行模型包括：基于定义所述模块化车间的所述数据，修改所述模板服务执行模型中的状态转换条件。5.根据权利要求2
‑
5中任一项所述的方法，其中对所述服务之间的通信建模包括：对所述服务之间的材料流和信息流中的一个或多个建模。6.根据权利要求5所述的方法，其中标识材料流包括：标识在定义车间拓扑的数据中的宿对象和源对象之间的连接。7.根据权利要求5或6所述的方法，其中标识信息流包括：标识在所述过程编排逻辑中的过程值的输出和输入之间的连接。8.根据前述权利要求中任一项所述的方法，其中...

【专利技术属性】
技术研发人员：桑托纳，
申请(专利权)人：ABB瑞士股份有限公司，
类型：发明
国别省市：