Title :
Describe visual business processes by pi-calculus
Author :
Shangyu, Wang ; Hong, Hou ; Xiaoqun, Guo
Author_Institution :
Software Eng. Inst., Northwest Univ., Xi´´an, China
Abstract :
According to the existing problems during the application of BPEL process orchestration tool, this paper put forward the method that describes visual business processes by pi-calculus. Based on the analysis of Web service composition mechanism, this paper clarified the correspondence between the pi calculus and visual BPEL process, and illustrated the process of describing BPEL processes made by Eclipse BPEL plug-in tool with pi calculus.
Keywords :
Web services; business data processing; calculus; BPEL process orchestration tool; Web service composition mechanism; eclipse BPEL plug-in tool; pi calculus; visual business process; Business; Calculus; Software; Software engineering; Visualization; Web services; eclipse BPEL plug-ins; pi-calculus; visual BPEL process orchestration; web service composition;
Conference_Titel :
Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6054-0
DOI :
10.1109/ICSESS.2010.5552351