%0 Journal Article
%T 基于Pi演算的Web服务建模与WSDL转换
%J 北京工业大学学报
%D 2008
%X 为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。
%K Pi演算
%K Web服务定义语言
%K Web服务
%K Web服务组合
%K XML语言
%U http://www.bjgd.cbpt.cnki.net/WKA/WebPublication/paperDigest.aspx?paperID=DD634E80-7C4B-4D66-88E6-E47E44088671