【摘 要】
：
Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅
【机 构】
：
计算机理论研究所 软件学院 华东师范大学，上海 200062
论文部分内容阅读
Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅助程序设计者设计高质量的 WS-CDL程序．其一是在设计阶段对WS-CDI程序进行分析从而帮助服务组合设计者尽早地发现程序的缺陷：其二是通过自动覆盖全路径测试帮助WS-CDL程序设计者在部署前有效地发现缺陷。
其中分析方法中提出了一种通用的基于关系演算的性质检验方法,该方法适用于类似于XML的程序的分析．我们已经将本文提出的方法实现了开源工具CDLChecker。
其他文献
87岁的澳门赌王何鸿燊于2009年7月29日,在家中跌倒,脑内淤血,一度昏迷,不排除要接受第3次手术清除淤血和中风的后果。赌王的一丝一发均牵动传媒神经,只因为他的一生充满传奇
继2007年有色人才首届论坛取得圆满成功后,有色行业人才工作取得突破性进展,行业职工技能竞赛与行业巡回校园招聘活动先后举办成功。为解决行业人力资源开发工作难点,“第二
广西北部湾经济区作为我国西南部与东盟国家陆地与海域通道的省区,具有十分独特的国际地缘经济、政治区位优势。
Guangxi Beibu Gulf Economic Zone, as the province’s la
有一年,陈毅陪同刘少奇访问缅甸,吴奈温(时任缅甸联邦总理)亲自陪同他们到缅甸西部著名的额不理海滩休息一天。这是一处风景宜人的海滨胜地,在阳光的照耀下,细软的黄沙一望无
中国国际铝工业展览会在落户广州之前,已在上海成功举办3年,现已跻身世界三大铝展,汇聚来自铝业及其应用行业的1万余名专业人士。之后便将以奇数年上海、偶数年广州的方式交
中国有色金属工业集团是2003年根据国务院有关精神和部署,由中铝公司牵头组建、并经国家工商行政管理总局注册批准后成立的。2007年3月经过国家有关部门批准,正式更名为中国
全球铝土矿资源十分丰富,仅探明330亿吨储量基础即可满足世界200年的需要,资源量更大。因此全球铝土矿资源不存在找矿问题,矿已摆在那里,加速勘探即可。
The world is rich
2004年以来,我国氧化铝发展对国内氯碱工业和烧碱市场的影响越来越大,直接带动烧碱的产量增长和价格上涨,为我国氯碱工业的快速发展提供了有力的支持,做出了极大的贡献。
Si
美国经济从2007年美国次级债危机爆发后,美国经济增长速度大幅下滑,尽管由于美联储采取了一系列干预措施,美国多项经济指标最近阶段稍有起色,但居高不下的高油价再使美国经济
面向服务计算不仅有助于解决分布异构环境下的软件集成问题．还有助于促进软件重用，提高业务灵活性． 在面向服务计算模式下，是通过组合已有服务构建新服务．但是由于服务组合问题