信息系统软件开发的特点是开发三种模型：（1）业务目标和需求的业务模型，（2）解决方案设计的逻辑模型，以及（3）实际实现的物理模型。交易的概念可以有益地应用于这些模型。过去将低级事务概念应用于高级模型的努力主要集中在传统关系 DBMS 支持的原子性、一致性、隔离性和持久性 (ACID) 属性上。我们提出了一种新颖的交易模型，它 (1) 改进了 ACID 属性的形式主义，以及 (2) 添加了受区块链启...