A Modelling Notation for Grid Computing
A Modelling Notation for Grid Computing
Script is a modelling language designed for Grid computing. This modelling language can be used to model and check the correctness of global-size grid-based applications. Script models the abstract of applications. It provides simple structure to define the model and basic reductions to describe the actions. It uses assertions for the initial state and conditions, and intends to achieve the final state defined as goal(s), so the user can check the correctness. A graphic based model checker is also provided for Script to animate, check and verify the models. In this paper, the structure of Script model is introduced and scenarios will be modelled to show how Script models are used.
Lee, Yih-Jiun
74d396a1-f31c-45b3-8def-b8b10f8827c1
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
2005
Lee, Yih-Jiun
74d396a1-f31c-45b3-8def-b8b10f8827c1
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Lee, Yih-Jiun and Henderson, Peter
(2005)
A Modelling Notation for Grid Computing.
The Workshop of International Conference on Computational Intelligence and Security, Xian, China.
15 - 19 Dec 2005.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Script is a modelling language designed for Grid computing. This modelling language can be used to model and check the correctness of global-size grid-based applications. Script models the abstract of applications. It provides simple structure to define the model and basic reductions to describe the actions. It uses assertions for the initial state and conditions, and intends to achieve the final state defined as goal(s), so the user can check the correctness. A graphic based model checker is also provided for Script to animate, check and verify the models. In this paper, the structure of Script model is introduced and scenarios will be modelled to show how Script models are used.
Text
cis2005_final.pdf
- Other
More information
Published date: 2005
Additional Information:
Event Dates: 15-19 December 2005
Venue - Dates:
The Workshop of International Conference on Computational Intelligence and Security, Xian, China, 2005-12-15 - 2005-12-19
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261060
URI: http://eprints.soton.ac.uk/id/eprint/261060
PURE UUID: 0726be70-7e8a-454b-947c-4c5935f6fc11
Catalogue record
Date deposited: 05 Oct 2005
Last modified: 14 Mar 2024 06:46
Export record
Contributors
Author:
Yih-Jiun Lee
Author:
Peter Henderson
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