Formal model and algorithm for transaction integrity control in distributed financial information systems

In this study, it was analyzed the problem of transaction integrity control in distributed financial information systems operating under asynchronous execution conditions. It was investigated the limitations of local rule-based verification methods in detecting system-level integrity violations in distributed transaction environments. It was developed a formal transaction model that represents transaction structures, temporal attributes, and entity relationships in distributed systems. It was defined a set of global integrity constraints, including identifier uniqueness, value balance consistency, temporal ordering, and structural distinctness. It was proposed an algorithmic approach for transaction integrity verification based on indexed transaction structures and graph-based representation. It was implemented a deterministic verification procedure that evaluates integrity constraints through system-level analysis of aggregated transactions. It was evaluated the performance of the proposed algorithm using synthetic transaction datasets with controlled integrity violation patterns. It was demonstrated that the proposed method significantly improves integrity violation detection compared to baseline verification approaches. It was established that the algorithm maintains stable detection accuracy and scalable execution time under increasing transaction volumes.