The University of Southampton
University of Southampton Institutional Repository

A Modelling Notation for Grid Computing

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
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
Download (71kB)

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×