State machine method for editing requirements using transition systems, a sub-state mechanism, and a partial behaviors mechanism in order to reduce complexity and the number of states
US8121964B2 · kind B2 · utility
0Cited by
4References
19Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 12, 2008 |
| Grant date | Feb 21, 2012 |
| Priority date | — |
| Expiry date | Dec 8, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/10
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for providing writing requirements for a structured transition system employing state machines. The requirements employ a plurality of structuring mechanisms, namely, sub-state based structuring, abstraction based structuring and partial behavior structuring that uses event sequences. The sub-state based structuring has to do with the hierarchical requirements of the state machines, abstraction based structuring provides an abstraction of the state machines that reduces the number of states, and partial behavior structuring looks at certain states to predict how those states will affect other states.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.