Title :
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
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;
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
DOI :
10.1109/FITME.2008.91
