DocumentCode
3171631
Title
Formalizing semantic workflow in term of pi- calculus
Author
Jiang, Yue ; Jiang, CuiQiang ; Wang, MeiJiao ; Yu, Kui
Author_Institution
Vocational & Tech. Coll., Yunnan Univ. of Finance & Econ., Kunming, China
fYear
2011
fDate
8-10 Aug. 2011
Firstpage
378
Lastpage
383
Abstract
Despite the strong ability to description, OWL-S is a non-formal language and cannot verify whether there are livelock, deadlock, service compatibility and other issues. This paper seeks to use Pi-calculus to formalizing OWL-S, and transform the description of workflow patterns based on OWL-S into the description of workflow patterns in term of Pi-calculus.
Keywords
knowledge representation languages; pi calculus; workflow management software; OWL-S; deadlock; livelock; nonformal language; pi-calculus; semantic workflow; service compatibility; workflow pattern description; Calculus; Organizations; Semantic Web; Semantics; System recovery; Web services; OWL-S; Pi-Calculus; Workflow Patterns;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), 2011 2nd International Conference on
Conference_Location
Deng Leng
Print_ISBN
978-1-4577-0535-9
Type
conf
DOI
10.1109/AIMSEC.2011.6010467
Filename
6010467
Link To Document