DOIONLINE 
DOIONLINE Publish In |
International Journal of Advance Computational Engineering and Networking (IJACEN)-IJACEN |
 Journal Home Volume Issue |
||||||||
Issue |
Volume-4, Issue-8 ( Aug, 2016 ) | |||||||||
Paper Title |
Cloud-Based Dynamic Routing With Feedback in Formal Methods | |||||||||
Author Name |
Jawid Ahmad Baktash, Mursal Dawodi, Tomokazu Nagata | |||||||||
Affilition |
Graduate School of Engineering and Science, University of the Ryukyus, 1 Senbaru, Nishihara, Okinawa Japan 903-0213 School of Electrical Engineering and Computer Science, Technical University Of Berlin, 10623 Berlin, Germany Graduate School of Engineering and Science, University of the Ryukyus, 1 Senbaru, Nishihara, Okinawa Japan 903-0213 | |||||||||
Pages |
17-20 | |||||||||
Abstract |
with the rapid growth of Cloud Computing, Formal Methods became a good choice for the refinement of message specification and verification for Dynamic Routing in Cloud Computing. Cloud-based Dynamic Routing is becoming increasingly popular. We propose feedback in Formal Methods for Dynamic Routing and Cloud Computing; the model and topologies show how to send messages from index zero to all others formally. The responsibility of proper verification becomes crucial with Dynamic Routing in the cloud. Formal Methods can play an essential role in the routing and development of Networks, and the testing of distributed systems. Event-B is a formal technique that consists of describing the problem rigorously and introduces solutions or details in the refinement steps. Event-B is a variant of B, designed for developing distributed systems and message passing of the dynamic routing. In Event-B and formal methods, the events consist of guarded actions occurring spontaneously rather than being invoked. Keywords— Cloud, Dynamic Routing, Formal Method. | |||||||||
| View Paper | ||||||||||
