软件体系结构描述语言(Architecture Description Language,ADL)Rapide提出了一种全局组件事务一致性测试方法,但未讨论组件之间事......