公开(公告)号：US09547423B1

公开(公告)日：2017-01-17

申请号：US14513978

申请日：2014-10-14

Applicant: The MathWorks, Inc.

Inventor： Alan J. Moore ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

IPC: G06F9/54 ,  G06F3/0484 ,  G06F3/0481

CPC classification number: G06F3/0484 ,  G06F3/0481 ,  G06F8/10 ,  G06F8/34 ,  G06F9/546 ,  G06F17/5009 ,  G06F2217/84

Abstract: A system and method automatically generating one or more message view windows or panes based on an analysis of the execution behavior of a model, such as a computer-generated, executable graphical model. A model analyzer examines execution instructions including schedules generated for the model and the sending and receiving of messages by model components or elements. An auto diagram builder generates the one or more message view windows that includes graphical affordances representing at least some of the messages. The messages may be presented in the one or more message view windows in the order of the occurrence of the messages during execution of the model.

Abstract translation: 基于对诸如计算机生成的可执行图形模型的模型的执行行为的分析，系统和方法自动生成一个或多个消息视图窗口或窗格。 模型分析器检查执行指令，包括为模型生成的计划以及模型组件或元素发送和接收消息。 自动图构建器生成一个或多个消息视图窗口，其包括表示至少一些消息的图形能力。 消息可以在模型的执行期间以消息的发生的顺序呈现在一个或多个消息视图窗口中。

公开(公告)号：US09501339B2

公开(公告)日：2016-11-22

申请号：US14997027

申请日：2016-01-15

Applicant: The MathWorks, Inc.

Inventor： Alan J. Moore ,  Ebrahim M. Mestchian

IPC: G06F9/54 ,  G06F9/44

CPC classification number: G06F9/546 ,  G06F8/34

Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.

Abstract translation: 系统和方法可以生成具有根据基于消息的执行语义运行的块的可执行框图。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。

公开(公告)号：US20160132371A1

公开(公告)日：2016-05-12

申请号：US14997027

申请日：2016-01-15

Applicant: The MathWorks, Inc.

Inventor： Alan J. Moore ,  Ebrahim M. Mestchian

IPC: G06F9/54 ,  G06F9/44

CPC classification number: G06F9/546 ,  G06F8/34

Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.

Abstract translation: 系统和方法可以生成具有根据基于消息的执行语义运行的块的可执行框图。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。

公开(公告)号：US09256485B1

公开(公告)日：2016-02-09

申请号：US14150282

申请日：2014-01-08

Applicant: The MathWorks, Inc.

Inventor： Alan J. Moore ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

IPC: G06F9/54 ,  G06F17/50 ,  G01R31/3183

CPC classification number: G06F9/546 ,  G01R31/318357 ,  G06F8/34 ,  G06F17/5009 ,  G06F17/5031

Abstract: A system and method automatically generating one or more message sequence diagrams based on an analysis of the execution behavior of a model, such as a computer-generated, executable graphical model. A model analyzer examines execution instructions generated for the model. A filtering unit identifies execution instructions that concern designated elements of the model. An auto diagram builder generates one or more message sequence diagrams. The diagrams may include display features that represent activities involving the designated model elements. The diagrams may show the relative execution time order of the activities.

Abstract translation: 基于对诸如计算机生成的可执行图形模型的模型的执行行为的分析，系统和方法自动生成一个或多个消息序列图。 模型分析器检查为模型生成的执行指令。 过滤单元识别涉及模型的指定元素的执行指令。 自动图构建器生成一个或多个消息序列图。 这些图可以包括表示涉及指定的模型元素的活动的显示特征。 图表可能显示活动的相对执行时间顺序。