Microsoft Technology Licensing, LLC

Nicolas Kicillof

Christopher G Kaler

Wolfram Schulte

Nikolai Tillmann

Wolfgang Grieskamp

Margus Veanes

Ning Sun

Colin L Campbell

Meng Jin

Sergio F Mera

Andrey Arkharov

Yiming Cao

Descriptions of communication interactions can be used to create a simulation of actual systems that send and receive communications including but not limited to messages complying with a protocol, events and so on. The communication interaction, event, state and state transitions of protocol or software components can be modeled to determine outcome and to validate the format and semantics of events, interaction values, etc. to identify variances against established policies or architectural guidelines.

Simulation of interactions between network endpoints

A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called 'action machines' can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.

Symbolic program model compositions

Growing community of inventors

Redmond, WA, United States of America

Nicolas Kicillof