COMPUTING DEVICE FOR STATE TRANSITIONS OF RECURSIVE STATE MACHINES AND A COMPUTER-IMPLEMENTED METHOD FOR THE DEFINITION, DESIGN AND DEPLOYMENT OF DOMAIN RECURSIVE STATE MACHINES FOR COMPUTING DEVICES OF THAT TYPE

摘要

A computing device for state transitions of recursive state machines and a computer-implemented method for the definition, design and deployment of domain recursive state machines for computing devices of that type; such devices are intended for the simulation of large systems involving human and automated components, particularly the type generally called “Enterprise Applications”; such devices are also applicable to a much wider range of fields, such as cognitive modelling or robotics. The commonality between the computing device and the computer-implemented method is the Subject Predicate Object Protocol (SPOP) which is used to capture instructions by the computer-implemented method for the definition, design and deployment of recursive state machines and also is the protocol used by the computing device for state transitions of recursive state machines to communicate inbound and outbound events based on the captured instructions.

主权项

1. A computing device for state transitions of recursive state machines, the computing device comprising:
a processor for processing digital data; a memory device for storing digital data including computer program code coupled to the processor; a data interface for sending and receiving data coupled to the processor, wherein the processor is controlled by the computer program code to:
receive via the data interface, event data representing an event in relation to a first object;receive via the data interface, first object data representing the first object;receive via the data interface, second object data representing a second object;receive via the data interface, data representing a predicate relationship between the second object and the first object;calculate a first state in relation to the first object;calculate a second state in relation to the second object; andcalculate a valid state transition in accordance with the predicate relationship between the second state and the first state.