Feature oriented protocol modeling
US8103495B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 8, 2007 |
| Grant date | Jan 24, 2012 |
| Priority date | — |
| Expiry date | Nov 23, 2030 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L69/03
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.