Web service （WS） is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language （WS-CDL） is the standard for modeling the observable behavior o...Web service （WS） is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language （WS-CDL） is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view. However, it lacks of a formal semantics and could easily lead to misunderstanding and different implementations. In this paper, the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models. In addition, formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit （PAT）.展开更多
提出一种面向三网融合的Web Service系统架构模型CWSM(Converged Web Service Model),目标是允许系统对Web Service做自适应处理,实现其在三个网络中的融合发布;为了克服三个网络带宽的差异性、终端的多样性以及业务特征的差异性,通过...提出一种面向三网融合的Web Service系统架构模型CWSM(Converged Web Service Model),目标是允许系统对Web Service做自适应处理,实现其在三个网络中的融合发布;为了克服三个网络带宽的差异性、终端的多样性以及业务特征的差异性,通过设计若干发布控制网关,完成针对WSDL与服务响应内容的融合处理,实现面向三网融合的Web Service系统架构设计。展开更多
In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of we...In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.展开更多
针对传统远程监控系统难于集成问题,提出了一种基于Web Service的远程监控系统结构。文中讨论了 Web Service技术及基于Web Service技术的企业应用集成结构、数据采集、服务部署、发布和调用的方法。远程监控系统采用了安全审查、权限...针对传统远程监控系统难于集成问题,提出了一种基于Web Service的远程监控系统结构。文中讨论了 Web Service技术及基于Web Service技术的企业应用集成结构、数据采集、服务部署、发布和调用的方法。远程监控系统采用了安全审查、权限管理、冲突避免、日志管理等安全措施,对防火墙是友好的,系统易于扩展,不受平台、语言和物理位置的限制。系统实际运行效果表明,这种远程监控方式有其独特的优点。展开更多
基金supported by the Shanghai Leading Academic Discipline Project (Grant No.J50103)
文摘Web service （WS） is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language （WS-CDL） is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view. However, it lacks of a formal semantics and could easily lead to misunderstanding and different implementations. In this paper, the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models. In addition, formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit （PAT）.
文摘提出一种面向三网融合的Web Service系统架构模型CWSM(Converged Web Service Model),目标是允许系统对Web Service做自适应处理,实现其在三个网络中的融合发布;为了克服三个网络带宽的差异性、终端的多样性以及业务特征的差异性,通过设计若干发布控制网关,完成针对WSDL与服务响应内容的融合处理,实现面向三网融合的Web Service系统架构设计。
文摘In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.
文摘针对传统远程监控系统难于集成问题,提出了一种基于Web Service的远程监控系统结构。文中讨论了 Web Service技术及基于Web Service技术的企业应用集成结构、数据采集、服务部署、发布和调用的方法。远程监控系统采用了安全审查、权限管理、冲突避免、日志管理等安全措施,对防火墙是友好的,系统易于扩展,不受平台、语言和物理位置的限制。系统实际运行效果表明,这种远程监控方式有其独特的优点。
