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

Author

Liu, Wei ; Xu, Dong ; Liu, Zongtian ; Zhou, Wen ; Lei, Lei

Author_Institution

Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai

fYear

2008

fDate

20-20 Nov. 2008

Firstpage

246

Lastpage

251

Abstract

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.

Keywords

grid computing; groupware; object-oriented languages; concurrent regular expressions; grid service; lifecycle management; object-Z language; services collaboration; statechart; Chromium; Concurrent computing; Engineering management; Information management; Information technology; Interleaved codes; Resource management; Seminars; Technology management; Web services; Formal Model; GS-Z; Grid Service; WSRF;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Leicestershire, United Kingdom

Print_ISBN

978-0-7695-3480-0

Type

conf

DOI

10.1109/FITME.2008.91

Filename

4746484