【摘 要】
：
针对面向服务体系结构（Service Oriented Architecture，SOA）在形式化和可信属性建模方面的不足，用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象，把服务组
【基金项目】
：
国家“八六三”高技术研究发展计划项目基金(2007AA010302);北京市属高等学校人才强教深化计划学术创新团队建设计划;北京市教委科研计划项目基金(KM200710009009)资助~~
论文部分内容阅读
针对面向服务体系结构（Service Oriented Architecture，SOA）在形式化和可信属性建模方面的不足，用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象，把服务组合解释成组件“运算”实现，并结合进程代数中算子概念，定义了多种服务组合运算，从而建立SOA的代数模型．在代数模型基础上，进一步对SOA可信属性建模，提出多种SOA可信范式，为可信SOA软件设计提供理论支持．最后介绍了一个应用案例．
其他文献
花生蛋白是优质的植物蛋白。我国花生粕来源丰富，大部分花生粕却被用作饲料或者肥料，造成蛋白资源的巨大浪费。反胶束萃取，作为一种新型的生物分离技术，近年来已被广泛应用在蛋白
我国鸭肉产量居世界第一,鸭骨资源极为丰富,但利用率很低。目前,利用血管紧张素转化酶抑制剂(ACEI)类药物抑制血管紧张素转化酶(ACE)的活性是临床治疗高血压的重要途径。食源
随着我国经济进入转方式、调结构的增速换挡期,尤其是近两年,地方电视台经济下行压力突如其来,地方电视台的未来发展面临新一轮选择。作者考察了地方电视台面临的困境,认为通
以超微绿茶粉为主要原料研制一种硬糖,以感官评价为基础,通过实验确定硬糖的最佳配方,并初步分析加工过程中的一些关键因素,目的在于制成一种具有诱人色泽、独特风味的硬糖。
目的探究血液透析过程中存在的风险因素分析及护理管理措施。方法选取我院2013年6月~2016年6月收治的血液透析患者50例作为研究对象,根据护理方法的不同,将其分为对照组（n=25）
随着配电网自动化及其相关系统建设水平的日益提高,系统之间的信息交换更加频繁。但鉴于当前不同系统对相同电力设备图元尚缺乏统一的定义标准,导致不同系统间图形缺乏交互能
为给獭兔饲养管理、品种选育和肉品加工提供依据,试验选择美系獭兔20只（雌雄各半）,比利时兔10只（雌雄各半）,宰前进行颈静脉采血、并分离血清,对血液生理生化指标、屠宰性能、食用
本文以自贡电视台为例,运用企业战略分析的相关原理及要素对实行频道制进行逐一分析,阐述了城市电视台在频道制改革的道路上,应当因地制宜,采取有别于全盘推行完全频道制的新
<正>《语文课程标准》明确指出:"利用图书馆、网络等信息渠道获取资料。扩展阅读面。"由此可见,在"大语文"教育观下,阅读教学要立足于课本但决不能禁锢于课本。利用网络拓展