AN IMPROVED ALGORITHM FOR THE CONSISTENCY TEST OF COMPONENT TRANSACTION

Rapide, a kind of architecture description language (ADL in short) , provides a method for testing the consistency of component transaction. However it only focuses on the global consistency of component transaction. In fact the inconsistency of component transaction between two components often takes place. In order to find the inconsistency efficiently, an improved algorithm is developed. By testing the inconsistency of transaction between different components (called local transaction against global transaction in Rapide) the improved algorithm can find out not only the global transaction inconsistency but also the local transaction inconsistency. In addition, it can decrease runtime from O(n2) consumed by the original algorithm to O(n) spent by the improved one in the case of only local transaction inconsistency occurrence. The efficiency of the new algorithm has been proved both theoretically and experimentally.