【摘 要】
：
对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的。Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web
【机 构】
：
湖北工业大学计算机学院,武汉大学计算机学院
【基金项目】
：
国家自然科学基金：隐私保护策略函数策略加密体制（61272404）,国家自然科学基金：抗泄露的身份基类加密体制及可证明安全研究（61370224）, 湖北省自然科学基金重点项目：敏感信息泄漏条件下的隐私保护技术研究（2013CFA046）资助
论文部分内容阅读
对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的。Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web服务或子Web服务组合;死锁验证用来发现是否存在可能的服务盲区;陷阱验证用来发现是否存在可能的服务异常区。给出了上述各项验证的实现算法,测试实验验证了该算法的正确性。
其他文献
现阶段企业党建政工工作开展面临着非常多的挑战,且工作模式存在着较多问题,需要加以优化和调整。企业应当主动适应党建政工工作的发展需求,积极进行党建政工工作模式改革,不
目的建立高危孕产妇病情预警系统,对高危孕产妇病情变化进行评估、预警、监测及有效干预,提高护士对高危孕产妇病情的早期预警和处置能力,保障母婴安全。方法选取2020年2—3
上学前,妈妈和外祖母一遍遍叮嘱我:千万要听话啊——听各种人的话,无论是谁都不要招惹啊。还有一件最重要的事儿,这是我必须记住的,即在外面千万不能提到父亲。就这样,我心里
摘要：“生本课堂”就是以学生为本，让学生生长。小学高年段品德“生本课堂”要积极营造人文环境，合理定位教学目标，适度开发课程资源，有效创设探究情境，努力遵循以学定教，以学生的发展为核心，促使学生自行主动地不断去探索，不断去积累，不断去创新，最终形成良好的道德品质。关键词：生本课堂；品德教学；教学策略；道德品质中图分类号：G623.15 文献标识码：A 文章编号：1006-3315（2015）08-0
在当今社会中,科技的发展速度是非常快的。计算机技术获得了大范围的推广和应用。语言程序变成了电子信息的重要形式。计算机技术的使用不断提高了电子信息工程的发展水平,变
考虑了具有数目约束的负载平衡问题的一种特殊情形,称之为2-半匹配问题。分析了此问题在3种目标函数下的计算复杂性,并设计了相应的近似算法。
针对大规模复杂系统建模分析时的状态爆炸问题,提出一种扩展了时间因素的分层贝叶斯Petri网模型（Hierarchical Bayesian Petri Net With Time Factor,TF-HBPN）,并基于该模型提
提出一种基于宽窄带语谱图融合分带投影的方法对特定人二字汉语词汇进行识别。该方法将图像处理技术应用到语音识别领域,在图像特征提取过程中,首先对窄带语谱图进行等宽度分带行投影和二进宽度分带行投影,并将其分别作为窄带语谱图的第1个特征集合和第2个特征集合,同时将窄带语谱图进行再次图像傅里叶变换之后进行等宽度行投影,作为第3个特征集合。然后对宽带语谱图进行等宽度分带列投影,作为第4个特征集合。将上述特征集
网络安全应急响应是未来信息安全策略的重心.目前应急响应主要依靠应急响应团队和安全管理者,他们虽能够有效处理部分安全事件,但不能给出在具体环境下合理、快速、有效地处
清代文学家方东树在《昭昧詹言》中称赞这首诗“清切有真趣”。诚然,诗的前三联,仿若六幅动图——倚楼望海天,山阔水复长;环城灯火明,水中星河亮;风声似雨声,月照沙如霜——