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
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;
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
DOI :
10.1109/AIMSEC.2011.6010467
