By Topic

A Grid Service Model Framework Based on Object-Z and Statechart

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Wei Liu ; Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai ; Dong Xu ; Zongtian Liu ; Wen Zhou
more authors

In order to manage the dynamic characteristics and provide theoretical foundation for modeling the grid services and services collaboration, by combining Object-Z with formal Statechart based on CREs (Concurrent Regular Expressions), this paper proposes an extension version of Object-Z language, GS-Z. As well, GS-Z extends Object-Z to enable the lifecycle management of grid service by introducing a concept of channel and a concept of life-thread. Furthermore, on the basis of GS-Z, this paper presents a framework for modeling grid services following WSRF specification. The model framework is illustrated through a case study.

Published in:

Future Information Technology and Management Engineering, 2008. FITME '08. International Seminar on

Date of Conference:

20-20 Nov. 2008