WS—CDL模型到Pi-演算的形式化描述方法研究

• 作 者: 贺聪 李绪蓉 万麟瑞
• 机 构: 南京航空航天大学 信息科学与技术学院，南京 210016
• 出 处: 第五届中国软件工程大会
• 发表日期: 2008年期
• 关键词: 系统模型 Pi-演算 形式化描述 映射规则 表达式 自顶向下 元素 验证 网上购物 分析系统 Web服务 参与方 转换 理论 结构 交互 观点 方法

WS—CDL编舞从全局的观点描述Web服务参与方之间的交互，自顶向下的方法分析系统。为了验证CDL编舞的结构良好，引入Pi-演算理论，给出了WS—CDL的主要元素到Pi-演算元素的映射规则，将CDL编舞转换成Pi-演算表达式，以基于CDL编舞的网上购物系统模型为例，应用给出的映射规则对CDL编舞进行Pi-演算描述，并对该Pi-演算的表达式做并发验证。