【摘 要】
：
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言（WSDL）的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服
论文部分内容阅读
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言（WSDL）的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。
其他文献
分析时态约束关联规则挖掘的TCAR算法,针对其在挖掘频繁时态项集时效率较低的问题,提出一种基于时态约束的关联规则挖掘算法。该算法对源数据库进行处理,缩减存储空间,并在更
采用NaClO氧化联苯二胺成功合成了N,N′-二氯苯醌二亚胺、3,3′-二甲基-N,N′-二氯联苯醌二亚胺和3,3′-二甲氧基-N,N′-二氯联苯醌二亚胺，将其分别与4,6-二氯嘧啶采用金属配
政策指导性中长期贷款是农发行实行“两轮驱动”战略的重大创新,在支持地方经济发展及新农村建设方面做出了突出的贡献,成为各省农发行支持三农、服务地方、履行政策性银行职
为探讨北京八达岭山地土壤肥力状况,以黑桦、糠椴、核桃楸3种次生林为对象,对其土壤养分和磷酸酶活性进行研究。结果表明:土壤养分有明显的表聚效应;土壤全磷含量仅为0·39~0·66g·kg-1之间,有可能出现缺磷现象;土壤磷酸酶的活性以酸性磷酸酶为主,呈垂直递减分布规律;各种土壤养分和磷酸酶活性均有明显的根际效应,根系/本土比值在1·02~5·25之间。用SPSS软件进行分析表明,土壤磷酸酶活性与土壤
为研究晋西黄土丘陵区刺槐林分土壤水分状况,通过2年的定位观测,标定了该地区刺槐林分土壤水分特征曲线,探讨了刺槐林分土壤水分的空间变化规律及其影响因子。结果表明:刺槐林分利用土壤水分范围较广,其林分可以栽植在峁顶、阳坡及半阳坡等处;12年刺槐林分密度低于2 250株/hm2时,林地土壤水分可以在生长季末得到补充,而超过2 250株/hm2时,林地土壤水分得不到补充,林分在翌年的部分月份处于水分亏缺状
苎麻为适合南方坡耕地种植,具有生态、经济、社会多种效益的优良植物.近年来苎麻产业由于受一些关键技术、设备及产品研发等因素的影响,出现了萎缩低糜现象.我国苎麻产量约占
本文以北票市金禄矿业有限公司取水井抽水试验为例,介绍利用抽水试验确定涌水量Q及渗透系数K值、影响半径R值的工作方法,。
我国货币政策的中介目标在1996年被正式定为货币供应量后,这种模式一直沿用至今。如今,大量学者认为货币供应量已经不能成为调控货币政策的有效手段。近些年,全球经济日趋一
教师应使学生懂得数学来源于课外,又反过来作用于课外。数学课外活动不仅让学生主动地获取知识,还促使学生去发现和研究问题;不仅让学生积累了知识,还增强了学生运用数学的意
通过加入新型给电子体制备了适用于乙烯淤浆聚合工艺的Ziegler-Natta催化剂。采用激光粒径分析仪、扫描电子显微镜、比表面吸附仪及X射线衍射仪分析和表征了催化剂的粒径、形