【摘 要】
：
针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务
论文部分内容阅读
针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不
其他文献
给出了系统的运行模式和运行工况,建立了系统能耗模型,定量对比了冷水相变能热泵系统与其他冷热源的一次能源利用率,研究了初投资的构成和运行费用的计算方式,并以青岛地区某
摘 要:本文结合现行规范条文,对火灾时切断非消防电源的问题进行了分析,提出了一些自己的见解。 关键词:切断非消防电源 分励脱扣装置 中图分类号:TU892文献标识码:A文章编号:1672-3791(2011)03(b)-0072-01 大家都知道火灾时要切断有关部位的非消防电源,但是该怎样切断？该在什么位置切断？不同的人有不同的看法。其中“在变配电房低压配电屏非消防电源出线开关处是否需要
2010年7月初，河北省做出了推进工业聚集区建设的战略部署，符合全省发展实际、符合时代发展的要求、符合经济发展规律，必将对全省经济社会快速发展起到积极的促进作用。下面根据
为及时、准确了解当前经济金融环境下小微型企业发展情况，人行滦县支行采取问卷调查与实地调查相结合的方式，对县域小微型企业生产经营及融资情况进行了调查。
2010年唐山成功获得了2016年世界园艺博览会的承办权，我市已成为我国第一个承办世园会的地市级城市。唐山世园会将以“都市与自然·凤凰涅粲”为主题，弘扬时尚园艺、绿色环
摘 要:随着我国教育体制的不断改革以及新时期社会对于人才需求的不断转变,全新的人才培养形势也为我们独立院校的毕业设计质量提出了更为严格的要求。可以说毕业设计对于培养学生的创新能力与实践能力来说,所发挥的作用是不可替代的。本文尝试对于当前我国独立学院毕业设计质量较低的原因以及具体解决措施两方面内容进行简要地论述。 关键词:独立学院 毕业设计 质量监控 中图分类号:G4文献标识码:A文章编号:
京唐港液体化工码头有限公司作为京唐港区刚刚起步运营的码头作业公司，着眼港口发展大局，围绕核心业务，积极开展液化品、油品海、陆中转运输和在港仓储服务，实现了生产运营的快速
结合铜黄高速上坡双联拱隧道工程实例。介绍浅埋联拱隧道在施工过程中塌方的预防、处理方法与体会。
针对经典Canny算子高、低阈值的选择存在被动性,实时性差,不适于在线检测的问题,给出了一种改进的Canny算子。该方法应用最大类间方差法自适应地确定Canny算子的高、低阈值,