Symbolic program model compositions
US7926025B2 · kind B2 · utility
8Cited by
2References
14Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 30, 2005 |
| Grant date | Apr 12, 2011 |
| Priority date | — |
| Expiry date | Feb 11, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3672
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.