论文部分内容阅读
为了提高web服务流程的有效性和可靠性，提出了π-演算形式化方法．该方法能克服web服务流语言不能表明一致性及进行验证等缺陷．讨论了web服务流的丌．演算分析和建模，对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画，同时，对π-演算和WS-BPEL的相互映射进行了描述．最后，利用π-演算描述web商业流程基本结构，并从不同角度探讨了用π-演算进行商业建模的方法，有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模．