Systems and methods for contracts in graph-based models

A system for access management in an executable graph-based model, the executable graph-based model comprising a plurality of nodes and an overlay structure comprising processing logic, the overlay structure associated with one or more executable nodes of the plurality of nodes, the system comprising processing circuitry and a memory unit operatively coupled to the processing circuitry and having instructions stored thereon that, when executed by the processing circuitry, cause the processing circuitry to:

• determine a first node group of the executable graph-based model, the first node group comprising at least one node;
• associate a first contract with the first node group such that the first contract is configured to act as a proxy for one or more nodes within the first node group in relation to requests from outside the first node group;
• receive a stimulus and a context associated therewith, wherein the stimulus is associated with the first contract;
• in response to the stimulus being received, map the stimulus to the first contract to determine an access response;
• and
• process the stimulus based on the access response.

A non-transitory computer readable medium for access management in an executable graph-based model, the executable graph-based model comprising a plurality of nodes and an overlay structure comprising processing logic, the overlay structure associated with one or more executable nodes of the plurality of nodes, the non-transitory computer readable medium storing instructions which, when executed by processing circuitry, cause the processing circuitry to:

• determine a first node group of the executable graph-based model, the first node group comprising at least one node;
• associate a first contract with the first node group such that the first contract is configured to act as a proxy for one or more nodes within the first node group in relation to requests from outside the first node group;
• receive a stimulus and a context associated therewith, wherein the stimulus is associated with the first contract;
• in response to the stimulus being received, map the stimulus to the first contract to determine an access response;
• and
• process the stimulus based on the access response.

A method for contract-based loading of executable-graph based models, the method comprising:

• receiving, by processing circuitry, a stimulus and an associated context, wherein the stimulus is associated with a contract node having a contract identifier;
• obtaining, by the processing circuitry and based on the contract identifier, a contract node manifest associated with the contract node, the contract node manifest comprising the contract identifier, a first storage location associated with a contract node state, and one or more node identifiers of one or more nodes associated with the contract node;
• obtaining, by the processing circuitry, the contract node state from the first storage location;
• generating, by the processing circuitry, the contract node based on the contract node manifest and the contract node state;
• obtaining, by the processing circuitry and based on the one or more node identifiers, one or more node manifests associated with the one or more nodes, wherein each of the one or more node manifests comprises a respective node identifier of the one or more node identifiers and a storage location associated with a respective node state;
• obtaining, by the processing circuitry, one or more node states for the one or more nodes, wherein each node state is obtained from the storage location associated with the respective node state;
• generating, by the processing circuitry, the one or more nodes based on the one or more node manifests and the one or more node states;
• generating, by the processing circuitry, one or more mappings from the contract node to the one or more nodes such that the contract node acts as a proxy for the one or more nodes;
• and
• processing, by the processing circuitry, the stimulus based on the contract node.

A system for contract-based loading of executable graph-based models, the system comprising processing circuitry and a memory unit operatively coupled to the processing circuitry and having instructions stored thereon that, when executed by the processing circuitry, cause the processing circuitry to:

• receive a stimulus and an associated context, wherein the stimulus is associated with a contract node having a contract identifier;
• obtain, based on the contract identifier, a contract node manifest associated with the contract node, the contract node manifest comprising the contract identifier, a first storage location associated with a contract node state, and one or more node identifiers of one or more nodes associated with the contract node;
• obtain the contract node state from the first storage location;
• generate the contract node based on the contract node manifest and the contract node state;
• obtain, based on the one or more node identifiers, one or more node manifests associated with the one or more nodes, wherein each of the one or more node manifests comprises a respective node identifier of the one or more node identifiers and a storage location associated with a respective node state;
• obtain one or more node states for the one or more nodes, wherein each node state is obtained from the storage location associated with the respective node state;
• generate the one or more nodes based on the one or more node manifests and the one or more node states;
• generate one or more mappings from the contract node to the one or more nodes such that the contract node acts as a proxy for the one or more nodes;
• and
• process the stimulus based on the contract node.

A non-transitory computer readable medium for contract-based loading of executable graph-based models, the non-transitory computer readable medium storing instructions which, when executed by processing circuitry, cause the processing circuitry to:

• receive a stimulus and an associated context, wherein the stimulus is associated with a contract node having a contract identifier;
• obtain, based on the contract identifier, a contract node manifest associated with the contract node, the contract node manifest comprising the contract identifier, a first storage location associated with a contract node state, and one or more node identifiers of one or more nodes associated with the contract node;
• obtain the contract node state from the first storage location;
• generate the contract node based on the contract node manifest and the contract node state;
• obtain, based on the one or more node identifiers, one or more node manifests associated with the one or more nodes, wherein each of the one or more node manifests comprises a respective node identifier of the one or more node identifiers and a storage location associated with a respective node state;
• obtain one or more node states for the one or more nodes, wherein each node state is obtained from the storage location associated with the respective node state;
• generate the one or more nodes based on the one or more node manifests and the one or more node states;
• generate one or more mappings from the contract node to the one or more nodes such that the contract node acts as a proxy for the one or more nodes;
• and
• process the stimulus based on the contract node.