基于同步网的BPEL建模和验证

来源 :系统仿真学报 | 被引量 : 4次 | 上传用户：MHSLOVE

【摘要】

：

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验

【作者】

：

徐春香屈婉玲王捍贫黄雨袁崇义

【机构】

：

北京大学信息科学技术学院软件研究所北京100871;教育部高可信软件技术重点实验室北京100871

【出处】

：

系统仿真学报

【发表日期】

：

2007年S1期

【关键词】

：

Web服务组合 BPEL建模验证同步网 WSL_net模型形式化模型

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

一类非线性系统的组合滑平面控制方案

针对一类非线性系统,提出了一种组合滑模控制方案,利用组合滑平面使系统状态在位于滑平面的同时趋近于状态零点;此外,在等效控制的基础上结合模糊控制,以抑制系统的参数摄动和外部干扰的影响,消除了滑模控制固有的高频振荡现象。该方案可以保证系统状态始终位于滑平面上,使系统具有很强的全局鲁棒性,仿真结果也表明了该方案的有效性。

期刊

非线性系统组合滑平面滑模控制模糊控制non-linear systems combining switching surfaces sliding-

基于ILMI算法的车辆半主动悬架PID控制

为了满足汽车的驾驶平顺性要求,利用PID控制方法对嵌入磁流变阻尼器的六自由度1/2汽车模型进行振动控制分析。利用迭代线性矩阵不等式(ILMI)算法的求解优势,确定PID控制器的控制参数。大量的仿真结果表明采用磁流变阻尼器的半主动控制悬架系统有效地改善了汽车驾驶平顺性和乘坐舒适性。

期刊

半主动悬架磁流变阻尼器PID控制迭代线性矩阵不等式(ILMI)semi-active suspension magnetorheological （M

厄贝沙坦复方制剂对高血压患者动态血压的影响分析

目的：研究厄贝沙坦复方制剂对原发性高血压患者的动态血压影响，并评价其疗效。方法：入选原发性高血压患者停药两周后，给予复方厄贝沙坦治疗，治疗期间1片／日，疗程六周，在治疗开始前和

期刊

动态血压厄贝沙坦复方制剂原发性高血压

论大学生诚信教育

诚信是我国公民道德建设的基本内容，是当代大学生成人戍才、立身处世的准则。我国大学生诚信缺失的表现形式有信用意识缺乏、失信行为严重、信任感失落等。当代大学生诚信缺失

期刊

诚信教育大学生思想政治教育社会环境约束机制honesty university students ideological and politica

丹参川芎嗪注射液联合知柏地黄丸治疗早期糖尿病肾病疗察

目的：观察丹参川芎嗪注射液联合知柏地黄丸治疗早期糖尿病肾病的疗效。方法：将早期糖尿病肾病患者126例随机分为治疗组63例，对照组63例。治疗组和对照组在控制血压血糖及抗感染

期刊

丹参川芎嗪知柏地黄丸糖尿病肾病Salvia TMP Zhibai Dihuang Wan diabetic nephropathy

基于CFD的挖掘机消声器结构优化研究

结合插入损失、压力损失和结构尺寸等影响抗性消声器产品质量的因素,利用三维计算流体力学仿真方法分析了某型号挖掘机消声器内部的压强分布,研究了造成压力损失过大的原因,对消声器的压力损失进行了预测,提出根据整机设计要求对消声器进行结构优化的设计流程,应用到实际抗性消声器的性能改进实践中。利用试验数据和计算机仿真分析,证明了改进后的消声器在压力损失、插入损失和在整机装配中均能满足该挖掘机的要求。

期刊

抗性消声器压力损失CFD穿孔率插入损失resistance muffler pressure loss CFD porosity insert

电动汽车驱动电机离散MRAC研究

电动汽车驱动系统是电动汽车的关键技术之一,离散模型参考自适应控制方法用于电动汽车驱动电机的控制将更好地提高电动汽车驱动系统的性能。首先建立电动汽车驱动电机离散化

期刊

电动汽车驱动系统模型参考自适应控制仿真electric vehicle drive system model reference adaptive

基于同步网的BPEL建模和验证

其他学术论文