The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 12, 2011
Filed:
Dec. 30, 2005
Colin L. Campbell, Seattle, WA (US);
Margus Veanes, Bellevue, WA (US);
Nicolas Kicillof, Buenos Aires, AR;
Nikolai Tillmann, Redmond, WA (US);
Wolfgang Grieskamp, Redmond, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Colin L. Campbell, Seattle, WA (US);
Margus Veanes, Bellevue, WA (US);
Nicolas Kicillof, Buenos Aires, AR;
Nikolai Tillmann, Redmond, WA (US);
Wolfgang Grieskamp, Redmond, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
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.