The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
May. 05, 2026

Filed:

Mar. 06, 2025
Applicant:

Infosys Limited, Bangalore, IN;

Inventor:

Steven Schilders, Columbus, IN (US);

Assignees:

Infosys Limited, Bangalore, IN;

InvertIT Inc., Columbus, IN (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 16/00 (2019.01); G06F 16/901 (2019.01);
U.S. Cl.
CPC ...
G06F 16/9024 (2019.01);
Abstract

A method for contract-based loading of executable-graph based models is provided. A stimulus and an associated context are received. The stimulus is associated with a contract node having a contract identifier. Based on the contract identifier, a contract node manifest associated with the contract node, a storage location associated with a contract node state, and node identifiers of nodes associated with the contract node are obtained. The contract node is generated based on the contract node manifest and the contract node state. Node manifests associated with the nodes are obtained. Each node manifest comprises a node identifier and a storage location associated with a respective node state. Node states for the nodes are obtained. Each node state is obtained from the storage location associated with the respective node state. The nodes are generated based on the node manifests and the node states.


Find Patent Forward Citations

Loading…