Abstract

Flood is the overflow of water from its normal ways to submerges land which is usually dry. It is clear that floods cannot be stopped, but the timely prediction and management is the only way to combat this hazard. Much work is documented on physical and logical solution to predict on the basis of risk to save people and reduce the destruction of their belongings. In this work we developed a logical model based on client and server agent communication to predict the hazard. In the process, initially a conceptual model is developed, further, an algorithm is constructed. Moreover, for it correctness and verification the algorithm is transformed to formal language Z. Finally the specified formal model is implemented using JAVA programming language.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call