Abstract: A data inconsistency correction method to be applied is selected in consideration of a specification of a transaction, execution status of the transaction, and the like. A computer system includes a computer that executes a service, is connected to a computer that divides a transaction across a plurality of services into a plurality of local transactions and executes the plurality of local transactions, and holds service management information for managing a specification of the local transaction in the service and program management information for storing a program for correcting data inconsistency and data associated with an application condition. The computer system selects the program to be applied based on the service management information, the program management information, and execution states of the plurality of local transactions when a failure of the transaction is detected.

Abstract: A distributed transaction in which appropriate patterns are combined without modifying implementation of a management system even when a service characteristic of a participating system changes. A management system receives input of a distributed transaction flow defining respective call sequential numbers of participating systems and service characteristic information representing respective service characteristics of the participating systems. The management system specifies an applied pattern for each of the participating systems based on pattern information including information for each pattern that represents a constraint condition of a service characteristic of a participating system as a call target. The applied pattern is a pattern satisfying the constraint condition corresponding to the service characteristic of the participating system.

Abstract: A distributed transaction in which appropriate patterns are combined without modifying implementation of a management system even when a service characteristic of a participating system changes. A management system receives input of a distributed transaction flow defining respective call sequential numbers of participating systems and service characteristic information representing respective service characteristics of the participating systems. The management system specifies an applied pattern for each of the participating systems based on pattern information including information for each pattern that represents a constraint condition of a service characteristic of a participating system as a call target. The applied pattern is a pattern satisfying the constraint condition corresponding to the service characteristic of the participating system.

Abstract: The present invention maintains data consistency of an entire system. A distributed transaction system includes a service information management device that manages a service provided by each device existing in the distributed transaction system, a data consistency strategy management device that manages a data consistency strategy describing a strategy relating to data consistency maintenance in the distributed transaction system, a distributed transaction processing device that executes a distributed transaction, inquires the data consistency strategy management device and the service information management device after the execution of the distributed transaction, and outputs feedback information relating to data consistency maintenance on the basis of the data consistency strategy, the service information, and the execution result. One or more data consistency maintaining devices acquire the feedback information to execute a process relating to the data consistency maintenance.