【摘 要】
：
针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务
论文部分内容阅读
针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不
其他文献
给出了系统的运行模式和运行工况,建立了系统能耗模型,定量对比了冷水相变能热泵系统与其他冷热源的一次能源利用率,研究了初投资的构成和运行费用的计算方式,并以青岛地区某
摘 要:本文结合现行规范条文,对火灾时切断非消防电源的问题进行了分析,提出了一些自己的见解。 关键词:切断非消防电源 分励脱扣装置 中图分类号:TU892文献标识码:A文章编号:1672-3791(2011)03(b)-0072-01 大家都知道火灾时要切断有关部位的非消防电源,但是该怎样切断？该在什么位置切断？不同的人有不同的看法。其中“在变配电房低压配电屏非消防电源出线开关处是否需要
摘 要:随着我国教育体制的不断改革以及新时期社会对于人才需求的不断转变,全新的人才培养形势也为我们独立院校的毕业设计质量提出了更为严格的要求。可以说毕业设计对于培养学生的创新能力与实践能力来说,所发挥的作用是不可替代的。本文尝试对于当前我国独立学院毕业设计质量较低的原因以及具体解决措施两方面内容进行简要地论述。 关键词:独立学院 毕业设计 质量监控 中图分类号:G4文献标识码:A文章编号:
结合铜黄高速上坡双联拱隧道工程实例。介绍浅埋联拱隧道在施工过程中塌方的预防、处理方法与体会。
针对经典Canny算子高、低阈值的选择存在被动性,实时性差,不适于在线检测的问题,给出了一种改进的Canny算子。该方法应用最大类间方差法自适应地确定Canny算子的高、低阈值,