会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Message-based modeling
    • 基于消息的建模
    • US08689236B2
    • 2014-04-01
    • US13117531
    • 2011-05-27
    • Hidayet Tunc SimsekVijaya RaghavanRamamurthy Mani
    • Hidayet Tunc SimsekVijaya RaghavanRamamurthy Mani
    • G06F3/00
    • G06F9/546G06F8/34
    • A system and method may generate executable block diagrams in which at least some of the blocks 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 message-based execution engine may control execution of message-based blocks in which a source block may generate a message at a particular point in time, the message may be sent to one or more destination blocks triggering execution of those blocks, and the message may be destroyed on or after a determined time interval. Other execution domains, such as a time-based or state-based execution domain, may be provided, and the system may implement a hybrid execution model. 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. If not, the verification block may perform one or more predefined actions, such as suspending further execution of the block diagram.
    • 系统和方法可以生成可执行框图,其中至少一些块根据基于消息的执行语义运行。 消息可以包括不随时间改变的输入数据有效载荷,并且消息可以在执行框图期间仅持续确定的时间间隔。 基于消息的执行引擎可以控制基于消息的块的执行,其中源块可以在特定时间点生成消息,该消息可以被发送到触发这些块的执行的一个或多个目的地块,并且消息 可能在确定的时间间隔之后或之后销毁。 可以提供其他执行域,例如基于时间或状态的执行域,并且系统可以实现混合执行模型。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互,并确定实际消息是否等同于预期的交互。 如果不是,验证块可以执行一个或多个预定义的动作,诸如挂起框图的进一步执行。
    • 5. 发明申请
    • MESSAGE-BASED MODELING
    • 基于消息的建模
    • US20110296435A1
    • 2011-12-01
    • US13117531
    • 2011-05-27
    • Hidayet Tunc SimsekVijay RaghavanRamamurthy Mani
    • Hidayet Tunc SimsekVijay RaghavanRamamurthy Mani
    • G06F3/00G06F9/44
    • G06F9/546G06F8/34
    • A system and method may generate executable block diagrams in which at least some of the blocks 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 message-based execution engine may control execution of message-based blocks in which a source block may generate a message at a particular point in time, the message may be sent to one or more destination blocks triggering execution of those blocks, and the message may be destroyed on or after a determined time interval. Other execution domains, such as a time-based or state-based execution domain, may be provided, and the system may implement a hybrid execution model. 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. If not, the verification block may perform one or more predefined actions, such as suspending further execution of the block diagram.
    • 系统和方法可以生成可执行框图,其中至少一些块根据基于消息的执行语义运行。 消息可以包括不随时间改变的输入数据有效载荷,并且消息可以在执行框图期间仅持续确定的时间间隔。 基于消息的执行引擎可以控制基于消息的块的执行,其中源块可以在特定时间点生成消息,该消息可以被发送到触发这些块的执行的一个或多个目的地块,并且消息 可能在确定的时间间隔之后或之后销毁。 可以提供其他执行域,例如基于时间或状态的执行域,并且系统可以实现混合执行模型。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互,并确定实际消息是否等同于预期的交互。 如果不是,验证块可以执行一个或多个预定义的动作,诸如挂起框图的进一步执行。