Models of workflow in grid systems - with applications to security and mobile code
Models of workflow in grid systems - with applications to security and mobile code
Grid computing states the computation which supports geographically distributed heterogeneous resources sharing occurring in large-scale global distributed computing. The participants, including resource providers and requesters, involved in the computation originally belong to different administrative domains. In order to integrate resources and perform global cooperations, global policies have to be agreed to form the virtual organizations.
Because the effective participants of virtual organizations are distributed and large-scale, describing a globalized grid application or a grid security solution is such a complicated problem. This study is aimed to propose a new modelling language, including related utilities, for modelling grid systems. The new modelling language is called Script, which is designed for grid computing and security solutions used in grid computing. It provides several simple reductions and a clear model architecture to model global applications. In addition, the security solutions and other distributed computing architectures are also available by means of the language. A Script model can be verified by a model verifier to validate the correctness of application before real implementation. From the mathematical point of view, an operational semantics of Script is also proposed.
This thesis demonstrates the capability of the modelling language for wide-area distributed and grid computing. It demonstrates the functionalities to model grid scenarios and grid security solutions. Furthermore, a virtual organization solution is also presented in this thesis. This solution mainly focuses on the use of resource sharing and delegation, based on a web-services based grid application. It also demonstrates the capabilities of "Single Sign-On" and identity federation.
University of Southampton
Lee, Yih-Jiun
74d396a1-f31c-45b3-8def-b8b10f8827c1
2006
Lee, Yih-Jiun
74d396a1-f31c-45b3-8def-b8b10f8827c1
Lee, Yih-Jiun
(2006)
Models of workflow in grid systems - with applications to security and mobile code.
University of Southampton, Doctoral Thesis.
Record type:
Thesis
(Doctoral)
Abstract
Grid computing states the computation which supports geographically distributed heterogeneous resources sharing occurring in large-scale global distributed computing. The participants, including resource providers and requesters, involved in the computation originally belong to different administrative domains. In order to integrate resources and perform global cooperations, global policies have to be agreed to form the virtual organizations.
Because the effective participants of virtual organizations are distributed and large-scale, describing a globalized grid application or a grid security solution is such a complicated problem. This study is aimed to propose a new modelling language, including related utilities, for modelling grid systems. The new modelling language is called Script, which is designed for grid computing and security solutions used in grid computing. It provides several simple reductions and a clear model architecture to model global applications. In addition, the security solutions and other distributed computing architectures are also available by means of the language. A Script model can be verified by a model verifier to validate the correctness of application before real implementation. From the mathematical point of view, an operational semantics of Script is also proposed.
This thesis demonstrates the capability of the modelling language for wide-area distributed and grid computing. It demonstrates the functionalities to model grid scenarios and grid security solutions. Furthermore, a virtual organization solution is also presented in this thesis. This solution mainly focuses on the use of resource sharing and delegation, based on a web-services based grid application. It also demonstrates the capabilities of "Single Sign-On" and identity federation.
Text
1015086.pdf
- Version of Record
More information
Published date: 2006
Identifiers
Local EPrints ID: 465915
URI: http://eprints.soton.ac.uk/id/eprint/465915
PURE UUID: 96a67e17-d946-406a-93a1-852aa8943e8f
Catalogue record
Date deposited: 05 Jul 2022 03:33
Last modified: 16 Mar 2024 20:26
Export record
Contributors
Author:
Yih-Jiun Lee
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics