基于进程代数WS-CDL交互模式建模研究

来源 :江西科学 | 被引量 : 0次 | 上传用户：menangchen

【摘要】

：

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义.基于进程代数提出了PA4WS（Process Algebra for WS-CDL）来描述WS-CDL的形式化语法和语义.相比其他相关

【作者】

：

袁晓月万珍珍冯星

【机构】

：

江西省科学院应用物理研究所

【出处】

：

江西科学

【发表日期】

：

2014年6期

【关键词】

：

WS—CDL 进程代数形式化方法 WS-CDL process algebra formal methods

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义.基于进程代数提出了PA4WS（Process Algebra for WS-CDL）来描述WS-CDL的形式化语法和语义.相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模.最后,通过一个例子给出了PA4WS带来的好处.

其他文献

智能制造背景下机械设计专业人才培养模式改革的困境与对策研究

随着科技的进步,智能技术正在潜移默化地影响着人们的生活。在智能制造的推动下,大部分现代化企业正朝着智能、高端的方向转型。这就使市场上对于人才的需求量增加,进而引发

期刊

智能制造机械设计专业人才培养模式改革

虚拟物体间碰撞检测系统的设计

X3D是开放式的基于WEB的虚拟现实3D标准,是XML和VRML集成应用技术。首先介绍了X3D的碰撞检测的模型;其次描述了碰撞检测算法;通过X3D规范中提供的可扩展的插件机制,提出了一种用于X3D的碰撞检测系统的结构,通过测试该系统,它能够在具有大量的运动物体的环境中进行较为准确的碰撞检测,实时性和健壮性也基本上达到应用的要求。

期刊

X3D虚拟现实建模语言可扩展标记语言碰撞检测Extensible 3D： VRML XML Collision Detection

PLC与监控站通信机理的研究及实现

本文以Quantum系列PLC为研究对象，研究了其支持的通信协议。并且以Modbus协议为应用层协议,TCP协议为传输层协议，IEEE802.3为介质访问控制协议，结合VC＋＋6．0里的Winsock网络编程控件

期刊

协议MODBUS协议TCP协议套接字PLCprotocol Modbus protocol TCP protocol Socket PLC

基于AT91RM9200的嵌入式网络摄像机的设计与实现

本文介绍了一种基于AT91RM9200的嵌入式网络摄像机设计方案。该系统以嵌入式Linux作为操作系统。采用MPEG-4的专用编码芯片对采集到的数字视频进行压缩编码，生成MPEG-4码流。M

期刊

嵌入式系统AT91RM9200MPG440公共网关接口embedded system AT91RM9200 MPG440 CGI

基于无线传输的多探头湿度控制仪

本文介绍了一种多探头输入利用无线数据进行传输的湿度控制仪,给出了单元电路图和程序流程图.该系统提供多个探头输入,可以采集多点的湿度值得到其平均值,进而控制加湿器的可

期刊

湿度单片机无线数据传输humidity single chip microcomputer wireless data transmission

基于进程代数WS-CDL交互模式建模研究

其他学术论文