异步交互的Web服务的相容性分析.pdfVIP

第38卷笫2期 计算机科学 V01．38No．2 ；!!!笙；旦 垡翌2旦!!!墨竺塑!竺 E竺!!Q!! 异步交互的Web服务的相容性分析 刘方方余洁李成玲 (上海大学计算机工程与科学学院 上海200072) 摘要Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。 用形式化的分析方法为Web服务的合成建模．给出服务合成满足相容性要求的限制条件。并提供了相容性的判断方 法。 关键词Web服务。服务合成，相客性 中图法分类号TP301文献标识码A On Services of Web AsynchronouslyCommunicating Compatibility LIU YU IJ Fang—fangJie Cheng—ling (SChooIof and 200072．China) EngineeringScience．ShanghaiUniversity．Shanghai Computer Abstract ofWebservicesisan issueintheresearchfieldofWebservices．InWebenviron— Compatibility important ment．Webservicesfromdifferent communicate this onformal organizations asynchronously．Inpaper，based description of ofservices the ofWebservicesandservices theeonstraints and composition，weanalyzed compatibility developed method tocheck Of services． compatibilitycomponent Web Keywordsservice．Services composition，Compatibility Web服务是霞要的分布式网络应用集成技术。web服容性定义是丽个服务的发送与接收消息的操作流程如果正好 务合成是Web服务的基本需求。已提出描述Web服务合成相反．即一个服务能够发送的消息与另一个服务能够接收的 消息集合相同，那么两个服务是相容的。但是这样的情形很 流程的几种语言规范。如BPEl4WSl。和WSCI：Z：．但它们大 多数仅关注规范Web服务消息流程的描述．缺乏验证合成流 少见．闪此作者又将棚容性定义的限制放松，认为一个服务发 程是否JI!确的分析机制。为保证Web服务合成的正确性．需送的消息的集合包含在另一个服务能够接收的消息集合中． 要用形式化的分析疗法分析Web服务之间的交互流程。 那么服务也可以相容。而限制最少的是。若两个服务交互执 目前．分析合成流程的研究方法主要有两种：一种是通过 行过程中至少