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
fDate :
Nov. 30 2009-Dec. 1 2009
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;
Conference_Titel :
Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3888-4
DOI :
10.1109/KAM.2009.18
