Data Consistence for Distributed Vision-based Traffic Surveillance Systems

How to stipulate data consistence is very important when developing software packages for integrating or modifying the existing distributed vision-based traffic surveillance systems into a larger one. We extend our previous holonic architecture to verify formally the data consistence of the novel system via an intermediate modular using a STF-based set theoretical approach under the assumption that all existing subsystems are data consistent.