基于MAS系统的动态web服务组合形式化建模研究

来源 :东南大学学报(英文版) | 被引量 : 0次 | 上传用户:hanqianghuoer
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
其他文献
  目的:   本课题从加味四逆散治疗慢性疲劳综合征的免疫学研究入手,通过与帕罗西汀组、小柴胡汤组、柴胡龙骨牡蛎汤组、四物汤组、黄芪建中汤组、人参煎液组、牛膝组对
目的:通过电针刺激法对功能性便秘模型大鼠肠胃及血清中SP的影响的实验研究,从功能性便秘模型大鼠肠胃组织及血清中SP含量的变化角度探讨电针治疗功能性便秘的作用机理,为临床针
目的及背景:在临床治疗心律失常过程中,抗心律失常药物西药治疗有不少的副作用,如致心律失常、肝肾功能损害,在控制心律失常同时,增加了死亡率,依赖性等。中药治疗心律失常,
从2004年11月1日开始,英国《泰晤士报》全部改成“小报”的形式出版。在此之前,另一份著名的英国大报《独立报》也早已在2003年9月就开始同时发行大开张和小开张报纸。这种改
股市的风险不仅仅在于行情的涨跌,股民也容易遇到一些法律上的风险。“股市有风险”是人们常用的提醒之语。因炒股而发生的代理风险、抵押贷(借)款风险、资金管理风险、劳动
长春的雕塑,似乎是融入到了这个城市的血脉与灵魂里,载其韵而耀其辉。城市的各个角落都可见风格和主题异然的雕塑作品,街心花园、医院学校、街旁巷尾、大小广场、主题公园处
目的:观察小针刀结合封闭疗法治疗肱骨外上髁炎的临床疗效。  方法:选取2015年11月至2016年7月我院门诊的肱骨外上髁炎患者中选择符合纳入标准的90例患者为研究对象,采用随
由于先前的研究工作不够综合和精确,不足于建立准确的高血压风险评估系统,根据2 231个正常样本及823个高血压样本计算的信息增益,对高血压致病因素的重要程度进行了排序,总共
目的:临床上酒精性股骨头缺血性坏死常见。长期大量饮酒可引起股骨头髓内脂肪细胞大量增殖,脂肪细胞肥大,使相对密闭的骨髓内压力明显增高,微小血管受压变细,血流受阻。但其机制
某铅锌冶炼厂湿法炼锌超浸渣组成复杂、酸度高、粒度细,存在部分硅胶,是一种难选物料。采用一粗、一扫、一次空白精选流程,添加硫化钠—丁铵黑药组合剂混合浮选铅、银,可获良