论文研究-连续插值三次样条曲线.pdf

【文件属性】：

文件名称：论文研究-连续插值三次样条曲线.pdf

文件大小：924KB

文件格式：PDF

更新时间：2022-09-26 17:41:42

论文研究

提出了一种改进的Web服务自动组装的方法，以提高Web服务组装的自动化。组装Web服务时，先用UML对复合Web服务进行建模，从UML模型得到复合服务的Pi演算描述，通过Pi演算的形式化验证，为这些逻辑子服务自动找到匹配的已实现的原子服务，最后生成可执行的复合Web服务。