Submit Manuscript

Information Technology Journal

Year: 2006 | Volume: 5 | Issue: 5 | Page No.: 833-841
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Article Trend

Total views 430

Search

Authors

Yuyue Du

Changjun Jiang

Yubin Guo

Keywords

Research Article

Towards a Formal Model for Grid Architecture via Petri Nets

Yuyue Du, Changjun Jiang and Yubin Guo
Grid computing enables the virtualization of distributed computing and data resources to create a single system image, granting users and applications seamless access to vast IT capabilities. Grid architecture is a new software environment that developed to furnish users with grid computing platform that applications can access distributed resources through a well controlled, secure and mutually fair way. In this study a formal model based on Logical Petri Nets (LPNs) for grid architecture is proposed. Using this model, both static structure and dynamic behavior can be simulated and analyzed. The LPN model of grid architecture is constructed and causality relationship between the actions of grid components can be explicitly described. Based on this model, main properties of this grid structure is analyzed and verified formally.
PDF Fulltext XML References Citation

Leave a Comment

Your email address will not be published. Required fields are marked *