Web application system, server, terminal, and storage medium

A server comprising:

• a server-side updating device that updates first information stored in a server-side storage device on the basis of a server-side event;
• a server-side detection device that detects that the first information has been updated;
• a server-side synchronization device that notifies a terminal of information indicating that the first information has been updated when the server-side detection device detects that the first information has been updated;
• and
• a program providing device that provides a program for causing the terminal to function as an application execution device in response to a request from a browser of the terminal, the application execution device including a terminal-side synchronization device that starts synchronization of second information stored in a terminal-side storage device with the first information when information indicating that the first information has been updated is received, and a process execution device that executes a process based on the second information according to an operation of a user,
• wherein the first information and the second information include a variable name, a value of a variable, a revision number associated with updating of the variable, and an acknowledged revision number for determining whether or not the first information and the second information have been synchronized, which are used in the server-side event,
• wherein the server further comprises,
• a server-side information management device that generates the first information;
• and
• a terminal-side information management device that generates the second information on the basis of structure information of the first information obtained from the server-side information management device.

A terminal comprising:

• an application execution device that functions by a web application being executed, the application execution device including a terminal-side synchronization device that starts synchronization of second information stored in a terminal-side storage device with first information stored in a server-side storage device when information indicating that the first information has been updated is received on the basis of a server-side event that is executed in a service device, and a process execution device that executes a process based on the second information according to an operation of a user,
• wherein the first information and the second information include a variable name, a value of a variable, a revision number associated with updating of the variable, and an acknowledged revision number for determining whether or not the first information and the second information have been synchronized, which are used in the server-side event;
• wherein the terminal further comprises,
• a server-side information management device that generates the first information;
• and
• a terminal-side information management device that generates the second information on the basis of structure information of the first information obtained from the server-side information management device.

A non-transitory computer-readable storage medium storing a computer program of a server, the program causing a computer of the server to:

• update first information stored in a server-side storage device on the basis of a server-side event;
• detect that the first information has been updated;
• notify a terminal of information indicating that the first information has been updated when it is detected that the first information has been updated;
• and
• provide a program for causing the terminal to function as an application execution device in response to a request from a browser of the terminal, the application execution device including a terminal-side synchronization device that starts synchronization of second information stored in a terminal-side storage device with the first information when information indicating that the first information has been updated is received, and a process execution device that executes a process based on the second information according to an operation of a user,
• wherein the first information and the second information include a variable name, a value of a variable, a revision number associated with updating of the variable, and an acknowledged revision number for determining whether or not the first information and the second information have been synchronized, which are used in the server-side event;
• wherein the computer program of the server m further causes the computer of the server to,
• generates the first information at a server-side information management device;
• and
• generate the second information at a terminal-side information management device on the basis of structure information of the first information obtained from the server-side information management device.

A non-transitory computer-readable storage medium storing a computer program that is downloaded to a terminal as a part of a web application, the program causing a computer of the terminal to:

• start synchronization of second information stored in a terminal-side storage device with first information stored in a server-side storage device when information indicating that the first information has been updated is received on the basis of a server-side event that is executed in a service device, and
• execute a process based on the second information according to an operation of a user,
• wherein the first information and the second information include a variable name, a value of a variable, a revision number associated with updating of the variable, and an acknowledged revision number for determining whether or not the first information and the second information have been synchronized, which are used in the server-side event;
• wherein the computer program further causes the computer of the terminal to,
• generates the first information at a server-side information management device;
• and
• generate the second information at a terminal-side information management device on the basis of structure information of the first information obtained from the server-side information management device.