Checking undoability of an API-controlled computing system
US9519528B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 14, 2014 |
| Grant date | Dec 13, 2016 |
| Priority date | — |
| Expiry date | Apr 14, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/008
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention generally relates to an application program interface (API)-controlled computing system (100). A computer-implemented method is proposed for determining undoability of an action to be conducted in the API-controlled computing system (100) represented by a formal domain model. A set of pre-states of the API-controlled computing system (100) for the action are obtained. A set of post-states of the API-controlled computing system (100) corresponding to each pre-state in the set of pre-states for the action are obtained. The method automatically determines if each post-state in each set of post-states of the API-controlled computing system can be undone to its pre-state in the set of pre-states by using a reachability task for the post-state and its pre-state. The action to be conducted in the API-controlled computing system (100) is undoable if each post-state in each set of post-states of the API-controlled computing system (100) can be undone to its pre-state in the set of pre-states.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.