Active Transaction Graphs: A New Scientific Framework for Transactional Interactive Systems
 |
|---|
A new scientific paper by Oleksandr Vityaz, "Active Transaction Graphs: A Formal Framework for Transactional Interactive Systems" has been published on ResearchGate.
The paper introduces Active Transaction Graphs (ATGs) — a formal framework for interactive systems where state, interaction, execution traceability, and accounting consequences must be modeled together. In ATGs, system participants are modeled as actors, graph edges act as computational mediators of transactions, and system behavior is observed through the semantic triple (result, trace, ledger).
Within the formal core, the paper proves several results including a noise projection theorem, an embedding of Petri nets into ATGs, and a representation of CHAM-style systems as quotients of ATGs. The framework is intended as a semantic foundation for transactional interactive systems such as workflow engines, enterprise platforms, and human–AI operational environments.
Publication details:
Title: Active Transaction Graphs: A Formal Framework for Transactional Interactive Systems
Author: Oleksandr Vityaz · corezoid.com · March 2026
