文献类型：期刊文献

英文题名：Formal modeling and analysis of grid services

作者：Zheng, Hong[1,2]

机构：[1] College of Information Science and Engineering, East China University of Science and Technology, Shanghai 200237, China; [2] Institute of Software, Chinese Academy of Sciences, Beijing 100080, China

年份：2007

卷号：3

期号：1

起止页码：165

外文期刊名：Journal of Computational Information Systems

收录：EI(收录号：20072110613567)

语种：英文

外文关键词：Distributed computer systems - Dynamical systems - Formal methods - Petri nets

摘要：Grid computing is a complex undertaking as distributed applications. Grid services provide for the controlled management in sophisticated distributed applications. But Grid services do not contain integrated formal descriptions and may be implemented in a variety of languages. Petri nets are a powerful instrument for modeling, analyzing, and simulating dynamic systems with concurrent and non-deterministic behavior. This paper introduces a high-level extended colored Petri nets (ECPNs) to model the behaviors of Grid service interfaces provided by a formal method on the basis of the ECPN. The results show the ECPN can model and represent explicitly dynamic behavior of the functionality of the Grid service interface.