面向服务体系结构的连接器规约及其验证

来源 :电子设计工程 | 被引量 : 0次 | 上传用户:qaz1164
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
连接器建模是软件体系结构设计中研究的重要问题之一。同样,考虑到面向服务体系结构松散耦合的特性.对其所涉及的连接独立于服务的设计进行规约也是一个关键问题。本文将SOA中的服务连接抽象为面向服务设计中的第一类实体——面向服务体系结构的连接器。给出了SOA的连接器模型的规约。并采用订演算作为文中方法的形式化基础以实现对其特性的分析与推理。结合实例给出了SOA连接器的连接语义,并定义了一系列操作原语以规约SOA中与连接器相关的动态重配置和连接器组合。同时,文章用实例展示了文中方法的应用。最后,利用π演算的等价理论
其他文献
以河南科技大学畜牧兽医专业本科生动物生物化学理论教学改革实践为基础,从信息化时代的课程体系建设、师资队伍建设、课程内容、教学形式等方面进行系统总结.同时针对近年来
内蒙古赤峰市春季整体气温偏高,降水偏多,日照充足,但温度起伏大,降水时空分布不均,东部降水少,西部降水多,并出现阶段性低温阴雨天气,造成低温冷冻害。总体来讲,光热水匹配较好,对顺利春播、作物出苗、幼苗及牧草生长有利,对交通运输、人们出行有利。预计夏季降水量接近常年,气温比历年偏高1℃左右。
目前基于VC++6.0建立的计算机通信机制方法多种多样,本文简单介绍了CSocket类,NDK,WinSock API 3类方法的基本概念,以及如何使用这3种方法实现计算机通信,指出使用3种方法时存
对以杜泊羊为父本,以当地蒙古羊或小尾寒羊为母本的杂交后代羔羊和当地蒙古羔羊、小尾寒羊羔羊在同等饲养管理条件下的生产性能进行了比较.试验结果表明,在相同的圈养舍饲饲
一、区域地质特征研究区位于兴安地槽褶皱系-喜桂图旗中华力西褶皱带-喜桂图旗复背斜的北东段。喜桂图旗中华力西褶皱带向南西延人蒙古,与中蒙古苏赫巴托隆起相接。元古界到新生
伴随网络金融的高速发展,国内商业银行如今面临较大压力,所以金融创新变成商业银行应对挑战的一个重要举措。基于此,本文在分析商业银行在网络金融这一背景之下的金融创新的
文[1]指出,可展曲面的球而表示是一条球面曲线,但没有说明该球面曲线的形状.本文推得,柱面的球面表示是 S~2上的一个大圆或一段大圆弧,而锥面和切线面的球面表示各是 S~2上两
在农用地转用和土地征收中,重点工作一是土地转征前期及被征地农民的补偿安置工作,二是征地方案批后实施工作。而在实际执行中,往往只注重前期工作程序,忽略后期实施工作程序。所
长期以来,初中平面几何课起始阶段的教学,常常不易取得良好的效果,这是初中数学教学的一个严重问题.现代教学方法强调,教学要充分调动学生学习的主动性、积极性,引导学生探索