基于Pi演算的Web服务建模与WSDL转换 (2008年)

【文件属性】：

文件名称：基于Pi演算的Web服务建模与WSDL转换 (2008年)

文件大小：255KB

文件格式：PDF

更新时间：2024-06-03 04:20:53

工程技术 论文

为顺利地执行Web复合服务，实现服务的自动组合，对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证。运用进程代数对Web服务及其组合进行建模，提出并建立了PICM2WSDL模型。通过形式化的方法验证，基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的。wsdl文件。