Representing state transitions
AssigneeInternational Business Machines Corporation
InventorMarcos Nogueira Novaes
Life of this patent
Estimating the term…
Abstract
A method for representing state transitions within a state machine includes representing a set of allowed transitions between states as a transition pair wherein a first value of the transition pair indicates a set of nodes from which to transition and a second value of the pair indicates a set of nodes to which to transition. The nodes represent states within a state machine. The method further includes defining a role of an entity within the state machine by assigning a number of transition pairs to the entity, the value pairs defining how the entity can transition through the state machine.
Claims20
A method for representing state transitions within a state machine, the method comprising:
- with a physical computing system, representing a set of allowed transitions between states as a transition pair wherein a first value of said transition pair indicates a set of nodes from which to transition and a second value of said pair indicates a set of nodes to which to transition, said nodes representing states within a state machine;
- and
- with said physical computing system, defining a role of an entity within said state machine by assigning a number of transition pairs to said entity, said transition pairs defining how said entity transitions through said state machine.
A computing system comprising:
- a processor;
- and
- a memory communicatively coupled to said processor;
- in which said processor is configured to:
- represent a set of allowed transitions between states as a transition pair wherein a first value of said transition pair indicates a set of nodes from which to transition and a second value of said pair indicates a set of nodes to which to transition, said nodes representing states within a state machine;
- and
- define a role of an entity within said state machine by assigning a number of transition pairs to said entity, said transition pairs defining how said entity transitions through said state machine.
A computer program product for representing transitions between states in a state machine, said computer program product comprising:
- a computer readable storage medium having computer readable code embodied therewith, said computer readable program code comprising:
- computer readable program code configured to represent a set of allowed transitions between states as a transition pair wherein a first value of said transition pair indicates a set of nodes from which to transition and a second value of said pair indicates a set of nodes to which to transition, said nodes representing states within a state machine;
- and
- computer readable program code configured to define a role of an entity within said state machine by assigning a number of transition pairs to said entity, said transition pairs defining how said entity transitions through said state machine.
Dependencies are inferred from the claim text.