基于Web Services服务管理协议的设计与分析

来源 :电子与信息学报 | 被引量 : 6次 | 上传用户:kamomoo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。
其他文献
继黄金产量连续5年住居世界第一后,中国白银产量及加工量也在世界市场占据了重要位置。世界白银协会近日发布报告称,中国2012年已成为全球第二大白银加工国。据世界白银协会统
提出了生焦反应焦化炉给热及生焦反应给热比的概念,在确保焦化炉管不发生严重结焦的条件下,研究了焦化炉注气及炉出口温度的优化方法,以提高生焦反应焦化炉给热及延迟焦化装
两段提升管催化裂化新工艺突破常规催化裂化工艺单一依靠调节反应参数来改善产品分布和质量的控制模式,在优化外部操作条件的同时,在反应内部改变中间产物的油气分压,使反应
该文在离散对数类数字签名及关于数据串的不经意传输的基础上提出了一种增强的不经意传输协议,解决了一种不经意传输的接入控制问题。除了具备一般不经意传输协议的特征外,该方案具有如下特点:只有持有权威机构发放的签字的接收者才能打开密文而且发送者不能确定接收者是否持有签字,即不能确定接受者的身份。在DDH(Decisional Diffie-Hellman)假设和随机预言模型下该文所提协议具有可证明的安全性
CFD数值模拟技术因其高计算残差精度、对模型参数化设计适应能力强、可大幅度缩短水力开发周期短等特点,已经成为水力机械研究研究最主要手段。以石油化工用屏蔽泵为例,应用A
列举了在中小批量生产中,在摩擦压力机上镦锻大头杆类锻件的工艺过程,并与其他模锻工艺进行了比较。
2007年12月2日,五年一次的全国工程建设标准定额工作会议在成都圆满召开。国务院副总理曾培炎向大会发了贺信,代表国务院向会议的召开表示祝贺;建设部部长汪光焘在会上作了重要
常规单站逆合成孔径雷达(ISAR)不能对沿雷达视线方向飞行的目标成像,收发分置的双站逆合成孔径雷达 (双站ISAR)系统解决了以上问题。该文分析了双站ISAR目标回波的特点,研究了双站ISAR对目标成像时的成像原理、方位分辨力、目标尺寸限制和采样率要求,得到了严格数学解,最后给出了模拟飞机目标的成像结果。
Motor-CAD是十分强大的电机设计工具,可进行电机的电磁、热及磁热互耦设计,使用方便,计算速度快,非常适合于工程实际[1]。介绍利用Motor-CAD软件对某型三相异步感应电机进行
该文提出了利用由矢量网络分析仪构造的VHF/UHF双频、多极化合成孔径雷达(SAR)测量深层土壤湿度的方法;给出植被后向散射机理、深层土壤后向散射机理,土壤介电常数模型;对裸露土壤深层后向散射、土壤介电特性给出仿真结果。通过已知的单层土壤(双层介质粗糙面模型)的后向散射验证了模型的正确性。