Paper Title :Cloud-Based Dynamic Routing With Feedback in Formal Methods

Author :Jawid Ahmad Baktash, Mursal Dawodi, Tomokazu Nagata

Article Citation :Jawid Ahmad Baktash ,Mursal Dawodi ,Tomokazu Nagata , (2016 ) " Cloud-Based Dynamic Routing With Feedback in Formal Methods " , International Journal of Advance Computational Engineering and Networking (IJACEN) , pp. 17-20, Volume-4, Issue-8

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.

Type : Research paper

Published : Volume-4, Issue-8

	|		PDF	|	Viewed - 61	|	Published on 2016-09-13