Abstract: A data processing device 10 receives a process request from an external interface 20 of a client terminal etc., carries out the transaction request with respect to a message according to the process request and passes to an API which forms the interface of various types of program carried out in the server 30. The data processing device 10 includes a process (n) which carries out transaction processing with respect to a message with a trade category [n], and a backup process (n) which carries out transaction processing with respect to a message in the case where the transaction processing carried out by the process (n) fails. In addition, the data processing device 10 includes an error process part 123 which isolates the cause of a failure according to a result of a process by the backup process (n).

Abstract: The development of an application program that includes a user interface (UI), which can provide a processing parameter to be handed to a web service when a UI screen is called via a link, is realized without coding operations. When the UI screen is called via the link, in which link information is embedded with the processing parameter, a platform program obtains the processing parameter and stores the processing parameter in a corresponding storage region. A call program that has been attached to an unconditional starting button, which is located in the UI screen by a developer, in advance activates the web service by using the processing parameter in the storage region as an argument. After the processing for storing the output variables of the web service in the corresponding storage region is carried out, the processing, in which the called UI screen is generated and distributed, is carried out.

Abstract: An inference device is disclosed including a rule base including a graph data structure corresponding to a table formed from columns, each column corresponding to a symbol, and one or more rows including cells, each cell arranged in a position of a column and storing a value for forming a logical expression by applying to each symbol corresponding to a column where the cell is located, the graph data structure including a root node and sequences of nodes connected in series, each sequence of nodes corresponding to a row and each node corresponding to a cell. An end-node of each sequence nodes is connected to the root node, the nodes can be scanned in order following pointers from the root node, each row represents a rule in which logical expressions are arranged on the left side as a logical conjunction and logical expressions are arranged on the right side.

Abstract: An authentication system includes a movable terminal, a communication server connected with the terminal by wireless communication managing predicted location data of the terminal, a service usage device allowing a service provider to provide a service to a user of the terminal, and a service provision server connected with the service usage device and the communication server and managing location data of the service usage device.

Abstract: User validation accuracy is improved without inconveniencing a user. When an authentication request packet is received from a terminal and the authentication is successful based on a user ID and a password, an HTTP header, user-agent information, and access source IP address are extracted from the packet, and user authentication is performed by verifying the IP address and the user-agent information against usage history information where at most two sets of the IP address and the user-agent information extracted from the authentication request packet which is received from the same user previously are registered. When the set of the IP address and the UA information corresponding to the new extracted IP address and the new extracted UA information is registered in the usage history information, the authentication is successful, and the usage history information is overwritten with the new IP address and the new UA information.