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

• 作者: 刘琼 彭鑫 赵文耘
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Web服务组装 Pi演算 UML
• 年，卷（期）: 2007,（16）
• 所属期刊栏目: 学术探讨
• 页码范围: 67-70
• 页数: 4页
• 分类号: TP393
• 字数: 3636字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.16.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭鑫	复旦大学计算机科学与工程系	96	641	15.0	19.0
2	赵文耘	复旦大学计算机科学与工程系	154	1327	20.0	28.0
3	刘琼	复旦大学计算机科学与工程系	7	51	4.0	7.0