作者:周昆 金可音pi演算web服务服务组合组合验证
摘要:Web服务组合研究领域中一个重要的研究内容是服务组合验证问题,通过对Web服务组合建立形式化模型,在服务组合之前进行形式化验证,以确保满足服务组合符合设计者的预期目标。Pi演算是一种适合描述动态拓扑结构的并发系统的进程代数。本文首先介绍了Pi演算的基本语法,建立了Pi演算与BPEL4WS的映射关系,提出了一种基于Pi演算的BPEL4WS的形式化模型,最后通过案例给出了模型的验证过程。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社