Modeling high assurance agent-based Earthquake Management System using formal techniques
The Journal of Supercomputing
| Hi-index | 0.00 |
Earthquake is a natural phenomenon which has resisted the major efforts to tackle it. The major problems in earthquake management are inefficient communication, complex interaction as well as lack of coordination and prompt service delivery in advent of earthquake. Software agent based systems are more suitable alternative to the available technologies. In this paper, a formal approach is used in the designing and modeling of an agent-based earthquake management system using pi-calculus. Pi-calculus is justified for this work because of its capability to model concurrent and parallel systems. This approach facilitates in removing redundancy in information flow, low chances of errors in system development as well as understanding the execution paths for generating test cases. The services from the system are expected to be more reliable, autonomous, and adaptive in performing timely relief operations.