基于Object-Z和状态图的网格服务模型框架

2008 International Seminar on Future Information Technology and Management Engineering Pub Date : 2008-11-20 DOI:10.1109/FITME.2008.91

W. Liu, Dong Xu, Zongtian Liu, Wen Zhou, Lei Lei

{"title":"基于Object-Z和状态图的网格服务模型框架","authors":"W. Liu, Dong Xu, Zongtian Liu, Wen Zhou, Lei Lei","doi":"10.1109/FITME.2008.91","DOIUrl":null,"url":null,"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.","PeriodicalId":218182,"journal":{"name":"2008 International Seminar on Future Information Technology and Management Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Grid Service Model Framework Based on Object-Z and Statechart\",\"authors\":\"W. Liu, Dong Xu, Zongtian Liu, Wen Zhou, Lei Lei\",\"doi\":\"10.1109/FITME.2008.91\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":218182,\"journal\":{\"name\":\"2008 International Seminar on Future Information Technology and Management Engineering\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-11-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 International Seminar on Future Information Technology and Management Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FITME.2008.91\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Seminar on Future Information Technology and Management Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FITME.2008.91","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

为了管理网格服务的动态特性，为网格服务的建模和服务协作提供理论基础，本文将Object-Z与基于cre (Concurrent Regular Expressions，并发正则表达式)的形式化状态图相结合，提出了Object-Z语言的扩展版本GS-Z。此外，GS-Z还扩展了Object-Z，通过引入通道和生命线程的概念来支持网格服务的生命周期管理。在此基础上，提出了一个遵循WSRF规范的网格服务建模框架。通过案例分析说明了模型框架。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2008 International Seminar on Future Information Technology and Management Engineering

自引率

0.00%

发文量