The Mathworks, Inc.

Alan John Moore

Ebrahim Mehran Mestchian

Pieter Johannes Mosterman

Nathan Edward Brewton

Jean-Yves Brunel

Methods, mediums and systems are provided to enable a user to build and edit a UML model for a system containing one or more physical component, which includes the across variable and/or the through variable of the components. A UML model may include classifiers, such as classes, interfaces, datatypes, signals, components, nodes, use cases and subsystems, that describes the structural and behavioral features of the system. A UML model may include at least one of the classifiers that is described using the across variables and/or the through variables of the system. For example, the interface of a component in a UML model may be described using the across variables and/or the through variables of the component.

Modeling a physical component interface in a unified modeling language model

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.

Systems and methods for generating message sequence diagrams from graphical programs

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.

Message-based model verification

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.

System and method for generating message sequence diagrams from graphical programs

In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model.

Growing community of inventors

Devon, United Kingdom

Alan John Moore