数据流事务相关论文
该文提出了一种面向事务处理的确认测试控制方法,其核心是实现事务处理流程的形式化.该方法在数据流图规范化的基础上引入了数据流......
提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据......