Petri-Net-Based Analysis Method for Grid Services Composition Model

Author

Yu Xue-li ; Jiang Jing ; Xia Bai-Qiang ; Pan Zhen-Kuan

Author_Institution

Inf. Eng. Coll., ShanDong QingDao Univ., Qingdao, China

fYear

2010

fDate

30-31 Jan. 2010

Firstpage

180

Lastpage

184

Abstract

Although many methods for services composition can guarantee enforceability of services composition, they can not guarantee the rationality of services composition that can not determine whether an instance of services composition to achieve the desired target. Petri net-based model for grid services compositon is proposed for the grid application system in the paper. Then the reachability, boundedness, liveness, etc. of the model are analyzed to validate whether the services composition to achieve the desired target. Finally, as an instance the Dynamic Application Customization and Service Compstosition System (DACSC) which was developed by our project team is modeled and analyzed to test the rationality and effectiveness of the method.

Keywords

Petri nets; grid computing; Petri-net-based analysis method; dynamic application customization; grid application system; grid services composition model; service compstosition system; Educational institutions; Error correction; Grid computing; Information analysis; Information technology; Libraries; Oceans; System testing; Underwater communication; Web services; dynamic reconfiguration; grid; petri net; services composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Innovative Computing & Communication, 2010 Intl Conf on and Information Technology & Ocean Engineering, 2010 Asia-Pacific Conf on (CICC-ITOE)

Conference_Location

Macao

Print_ISBN

978-1-4244-5634-5

Electronic_ISBN

978-1-4244-5635-2

Type

conf

DOI

10.1109/CICC-ITOE.2010.54

Filename

5439240