OPERATION SUPPORT SYSTEM, OPERATION SUPPORT METHOD, AND NON-TRANSITORY RECORDING MEDIUM

There is provision of an operation support system for supporting an operation of a demand-supply system including a resource supplying facility and a resource demander facility. The operation support system receives an input of a demand-supply system model of the demand-supply system, facility-capacity information of the resource supplying facility, and analysis condition information defining a plurality of variables and an external variable of the demand-supply system, to generate a correlation logical formula representing a relation among the plurality of variables and the external variable. The operation support system further acquires performance data of the demand-supply system which includes actual values of the plurality of variables and the external variable during an operation, and renders an area represented by the correlation logical formula when the external variable is equal to an actual data included in the performance data and a point represented by the performance data of the plurality of variables.