DocumentCode
2797585
Title
A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net
Author
Dong, Shaoran ; Li, Zengzhi
Author_Institution
Inst. of Comput. Syst. Archit. & Network, Xi´´an Jiaotong Univ., Xi´´an, China
Volume
1
fYear
2009
fDate
Nov. 30 2009-Dec. 1 2009
Firstpage
47
Lastpage
50
Abstract
To analyze model of Web services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build high level Petri net model, then describe Petri net in Poses++ language, at last simulate Petri net with Poses++ to check data type and deadlock and calculate service performance. The experiment shows that this model analyzing method is able to accomplish type checking and deadlock and performance analyzing.
Keywords
Petri nets; Web services; knowledge representation languages; OWL-S services composition; Poses++ language; Web services; data type; high level Petri net; service performance; Analytical models; Computer networks; Data analysis; Knowledge acquisition; OWL; Ontologies; Performance analysis; Petri nets; System recovery; Web services; OWL-S; deadlock; performance analyzing; type checking;
fLanguage
English
Publisher
ieee
Conference_Titel
Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on
Conference_Location
Wuhan
Print_ISBN
978-0-7695-3888-4
Type
conf
DOI
10.1109/KAM.2009.18
Filename
5362197
Link To Document