- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于行为描述的Web服务组合兼容性检查.pdf
第26卷第 7期 计 算 机 应 用 研 究 Vol_26No.7
2009年 7月 ApplicationResearchofComputers Ju1.20o9
基于行为描述的Web服务锢纠}=L△12:1
兼容性检查
张 驰
(江西财经大学 软件学院,南昌330013)
摘 要:定义了服务的基调视图和行为视 图,设计了将Web服务行为转换为 演算进程表达的建模方法,并给
出了实现服务视 图向1T演算进程 自动转换的算法;最后借助 盯演算的操作语义和形式化推理技术实现了对
Web服务组合时的兼容性进行检查。
关键词:Web服务;接 口;行为视图;兼容性;1T演算
中图分类号 :TP311 文献标志码 :A 文章编号:1001.3695(2009)07.2586.04
doi:10.3969/j.issn.1001-3695.2009.07.052
Webservicecompositioncompatibilitycheckingbasedonbehaviordescription
ZHANG Chi
(SchoolofSofiwa~,JiangxiUniversityofFinance&Economics,Nanchang330013,China)
Abstract:Thepaperfirstdefinedthesignatureviewandthebehaviorviewoftheservice,thendesignedthemodelingmethod
thattransferredtheW ebservicebehaviorinto1Tcalculusprocessexpressionandproposedthealgorithm thatmadetheservice
viewtransferinto calculusprocessautomatically.Atlast.withthehelpofoperational andtransitionalsemanticsandformal
deduction,checkedwhethertwoserviceswerebehaviorcompatiblewhenWebserviceswerecompositing.
Keywords:Webservices;interface;behavioralview;compatibility;1Tcalculus
操作 op5和op6。该服务在接收到order消息后生成一个它的
0 引言
实例后开始执行 ,其内部执行的逻辑流程为:服务在初态A获
SOC以服务为基本构件 ,通过 SOA框架研究服务的发布、 得客户的order消息之后进入状态B。如果商店存货不足以满
协调和交互 ,将来 自Internet上不同提供商提供的服务,通过对 足客户订单需求 (即noStock=yes),则向客户发出拒绝消息re.
相关功能的组合,得到更加丰富且具有增值效果的组合服务并 fusal后进入交易结束状态 E;如果存货满足该次订单需求
以此为基础构建新的应用u 。 (noStoek=no),则向客户发送确认消息confirm,进入状态C,
在开放环境下,Web服务作为 “黑盒”实体,其实现细节对 等待客户支付。客户可采用现金支付或银行转账,现金支付使
其客户透明,Web服务通过接 口声明其提供的服务和请求的 用消息pay,银行转账使用消息 transfer,在状态C上只要获得
服务,Web服务使用者通过组件接 口理解
您可能关注的文档
- 基于PLC的自动电梯运行系统设计论文.doc
- 基于pxe、tftp、ftp、kickstart、yum、网络启动的无人值守安装手把手教程.doc
- 基于Python的ABAQUS二次开发及在板料快速冲压成形模拟中的应用.pdf
- 基于Python的设计模式研究.pdf
- 基于Python语言的P2P文件共享系统研究.pdf
- 基于QoS的语义Web服务选择框架.pdf
- 基于QTP的自动化测试毕业论文(源代码) .doc
- 基于Qt的嵌入式GUI开发的应用研究.pdf
- 基于SOPC的数字频谱分析仪设计.pdf
- 基于Struts+Hibernate+Spring的Web 应用开发.doc
- 2024年江西省寻乌县九上数学开学复习检测模拟试题【含答案】.doc
- 2024年江西省省宜春市袁州区数学九上开学学业水平测试模拟试题【含答案】.doc
- 《GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语》.pdf
- 中国国家标准 GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语.pdf
- GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- 《GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构》.pdf
- 中国国家标准 GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 中国国家标准 GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 《GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南》.pdf
文档评论(0)