一种改进的基于Pi演算的Web服务自动组装方法

作者：刘琼; 彭鑫; 赵文耘

来源：计算机工程与应用, 2007, (16): 67-70.

• Web服务组装
• Pi演算
• UML

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

• 单位
  复旦大学