1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究连续插值三次样条曲线.pdf

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

上传者: 2020-04-21 19:39:38上传 PDF文件 923.66KB 热度 46次
提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。
下载地址
用户评论