Web服务编排描述语言WSCDL的形式化模型框架
摘要内容：
服务编排描述语言 WS-CDL从全局的角度定义了一组 Web服务之间的协作和交互 必须遵守的规则作为一个基于ＸＭＬ 的描述性规范语言 ,缺乏形式化的模型和验证机制 ,难以保证协作和交互的正确性。本文针对ＷＳ－ＣＤＬ 规范提出了一个基于全局的形式化模型框架 Ａｂｓｔｒａｃｔ WS-CDL,包括语法 、同构关系和操作语义 ,同时定义 一套从该模型框架到基于Pi演算描述的局部模型的映射规则 ,最后通过案例 分析给出了全局和局部 2个层次的模型脸证方法。
