Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach

This paper presents analysis, design and implementation of Multi Agnet framework for user centric interactive Job management system. A reliable approach is adopted by analyzing this system using formal methods. Formal methods allow a software engineer to create a specification that is more complete, consistent, and unambiguous. Most of the grid middleware supports for batch processing of jobs which is dominating paradigm leading challenges for execution of parallel and interactive jobs on the grid environment. In current situation starting from the console based job submission to monitoring, the process is cumbersome. Specifically in long running job, lack of interactive support creates difficulty in tracing the failure of job which may sometimes leads to wastage of resources. Overcoming these lacunas, efforts taken for this project have resulted into development of Globus compatible interactive user driven scheduler facilitating user an ease in managing jobs.