Abstract: A transaction has: lock release information; and a lock release condition. A first transaction has a record with a plurality of successive lock release conditions. A lock release condition of the first transaction includes public key information pertaining to an electronic signature different from the electronic signature of the issuer of the transaction. An asset/fund settlement device posts the first transaction in a ledger and determines executability of a second transaction issued after the first transaction by comparing, in accordance with the order of the plurality of successive lock release conditions, the lock release information and the lock release condition which have been posted in the ledger to lock release information and a lock release condition in a ledger of the second transaction. Thus, in a DvP transaction using electronic settlement, locked assets are safely returned, and deterioration in liquidity of assets/funds is avoided when the transaction is not established.

Abstract: A trail recording system includes a trail recording apparatus and a report receiving apparatus, the trail recording apparatus: holds a plurality of measurement. values measured by a sensor, and trail data generated based on at least. some of the plurality of measurement values; and transmits the trail data to the report receiving apparatus, the report receiving apparatus transmit, to the trail recording apparatus, a request indicating the trail data of the sensor that is an audit target, the trail recording apparatus transmits, to the report receiving apparatus, out of the plurality of measurement values, measurement values that have been used to generate the indicated trail data, the report receiving apparatus verifies, based on the trail data a.n.d the measurement values received from the trail recording apparatus, whether the at least some of the plurality of measurement values measured by the sensor are tampered is verified.

Abstract: Operation management with consistent policies and timings between nodes even in a situation where there are a plurality of administrators in the distributed ledger system is realized. In an operation management system 10 for a distributed ledger system 6 comprising a plurality of nodes, each of at least two or more predetermined nodes in the plurality of nodes manages an operation smart contract 372 for operation management of the distributed ledger system with a distributed ledger 37, when at least one node in the two or more predetermined nodes receives a transaction, the node which has received the transaction judges whether or not a type of the transaction is the operation smart contract 372, and, based on the judgment result, executes the operation smart contract 372.

Abstract: Disclosed is a business model generation support method for proposing a new business model. A computer receives a first business model and a second business model, and adds, for the plurality of business models, a first activity and a second activity which are respectively performed by the first and second business models to first information that predefines jobs performed by the business models as activities. Next, the computer adds the relation between a first data item and the first activity and the relation between a second data item and the second activity to second information that predefines the relation between the activities and the data items used for performing the activities. The first and second data items are used for performing the first and second activities, respectively. Then, the computer searches the second information to obtain a third activity including both the first data item and the second data item.

Abstract: A settlement system having a settlement requesting device that has a processor and a memory; a settlement execution device that has a processor and a memory; and an electronic credit management device that manages electronic credits or debts, wherein the settlement requesting device issues a payment request in accordance with an electronic settlement medium, and the settlement execution device accepts the payment request in accordance with the settlement medium, causes the electronic credit management device to record the occurrence of a debt in accordance with the payment request, and transmits the settlement medium to a receiver.

Abstract: Disclosed is a business model generation support method for proposing a new business model. A computer receives a first business model and a second business model, and adds, for the plurality of business models, a first activity and a second activity which are respectively performed by the first and second business models to first information that predefines jobs performed by the business models as activities. Next, the computer adds the relation between a first data item and the first activity and the relation between a second data item and the second activity to second information that predefines the relation between the activities and the data items used for performing the activities. The first and second data items are used for performing the first and second activities, respectively. Then, the computer searches the second information to obtain a third activity including both the first data item and the second data item.

Abstract: A business process design support method for supporting a design of a business process includes: a computer receiving definition information of the business process; the computer extracting one or more data items, one or more roles to execute processing, contents of tasks to be processed by the role for each data item, and a relationship between sending and reception of a message among roles from the definition information to generate a model of the business process; the computer selecting an element of information management set in advance; the computer executing a simulation to apply the selected element of information management to the model; and the computer determining whether the selected element of information management is applicable to the model based on results of the simulation.

Abstract: Operation management with consistent policies and timings between nodes even in a situation where there are a plurality of administrators in the distributed ledger system is realized. In an operation management system 10 for a distributed ledger system 6 comprising a plurality of nodes, each of at least two or more predetermined nodes in the plurality of nodes manages an operation smart contract 372 for operation management of the distributed ledger system with a distributed ledger 37, when at least one node in the two or more predetermined nodes receives a transaction, the node which has received the transaction judges whether or not a type of the transaction is the operation smart contract 372, and, based on the judgment result, executes the operation smart contract 372.

Abstract: An analysis apparatus comprises a processor configured to execute a program; and a storage device configured to store the program and a document group having a spreadsheet format, the processor being configured to execute: acquisition processing for acquiring the document group from the storage device; classification processing for classifying documents in the document group acquired by the acquisition processing into at least one shared form group having a shared form based on a commonality relating to a character string included in a cell of each document among the documents in the document group and to a position of the cell including the character string; and output processing for outputting a classification result obtained by the classification processing.

Abstract: A requirements definition aiding method causes a designer to become aware of study omissions by visualizing relations between measures and businesses. Measures that become a cause of reform of a business are previously described in relation to targets that change on business. Each business is previously described by using targets (resource, processing, and rule) handled on the business. Dependence relations and exclusive relations are previously defined as relations between measures. Relations between measures and businesses are extracted by using targets that become common in measures and businesses. A measure that is not assigned to a business, insufficient application of a measure in a dependence relation, and an application contradiction of a measure in an exclusive relation are extracted.