基于进程代数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

东江源区寻乌县稀土废弃矿山治理建议

随着经济社会和城市化的快速推进，稀土废弃矿山造成的水土流失，已对东江源区寻鸟县水资源造成了不同程度的污染，严重时曾造成三标水库水质泛蓝，致使城区饮用水质下降到Ⅲ类以下，给

期刊

东江源寻乌县稀土治理Origin of Dongjiang river Xunwu county Rare earth Administratio

8065型GPIB以太网控制器

8065型GPIB以太网控制器，可以控制一个公司网络或因特网上的GPIB设备和装置。该装置可为来自任意计算机的或通向任意TCP/IP网络的一个GPIB网关提供NIC界面。通过访问LabVIEW、

期刊

以太网控制器GPIBTCP/IP网络LabVIEWBASIC程序VISUAL应用程序服务程序VISA程序调用

世界一体化与树立全球意识

一、世界一体化是历史发展的必然趋势世界一体化是指世界各民族、各国家在愈来愈广泛的联系和接触中,逐渐结成为一个不可分离的整体。世界一体化是一个历史发展的必然过程。

期刊

世界一体化全球意识必然过程思想意识协作化国际分工竞争条件国外资源工业总产值进口替代

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

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

期刊

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

新型全方位霍尔效应速度传感器

该传感器可以提供两个定相、独立的数字输出信号和一个附加的逻辑输出信号。数字输出信号频率正比于铁质目标的速度，而逻辑信号能显示目标转动或偏转的方向。这个零点电压传感

期刊

速度传感器霍尔效应全方位输出信号电压传感器不锈钢外壳信号频率数字输出逻辑信号供电电压自校准偏转定相

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

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

期刊

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

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

与本文相关的学术论文