【摘 要】
：
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一
【机 构】
：
新疆大学信息科学与工程学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家自然科学基金资助项目(61100017,61262089);自治区高校科研计划项目(XJEDU2011S24);福建省自然科学基金项目(2012J01250,2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助
论文部分内容阅读
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自动机构造出扩展序列图(Extended Sequence Diagrams,ESD)的语义模型的方法。最后,给出验证准则,根据Web服务的交互消息和规约建模的结果来验证Web服务运行时行为与需求规约之间的一致性。基于上述研究,设计开发了Web服务运行时验证工具(Runtime Verification Tool for Web Services,RVT4WS),以支持对Web服务运行时行为的验证。
其他文献
随着人工智能技术的发展,社交媒体成为各国开展舆论战的主战场。西方国家一些政治势力运用行为追踪识别技术,以运算法则作为推手,建立个人性格档案,精准锁定受众;部署"机器人
我国经济的快速发展和产业结构的转变,使城市规模不断扩大、人口进一步膨胀,轨道交通系统作为一种大运量、快捷、安全、节能、舒适、低污染的城市公共客运方式,成为适应现代
【摘要】在中学数学课堂中引入互动式的教学法，有助于增进师生间的感情;有助于调动学生的学习积极性;有助于提升教师的教学效率.在中学数学课堂实施师生互动时，教师应遵循教学实际情况，树立正确的互动观念，营造良好的互动环境，设立明确的互动目标，预设高效的互动问题，创设丰富的互动形式. 【关键词】中学数学课堂;师生互动;价值;策略 引言 传统的教学方法往往只重视知识的单向输出，存在忽视学生的倾向.由于
在肯特法指标体系的基础上,充分结合长输油气管道企业的实际情况,修正肯特法各评分项,调整各项的分值与权重,整合管道风险及敏感区属性,构建了长输油气管道环境敏感区风险评
随着经济和科技的发展,我国建筑事业在这一背景下逐渐完善。而在建筑企业的运行与管理过程当中,经济成本是其中至关重要的一部分,只有在科学的管理下,才能使经济成本最低,并
近几年,药品事件频繁发生,2006年的“齐二药”事件,2007年的欣弗事件,上海华联甲氨蝶呤事件……,每一个药品事件都牵动着广大老百姓的生命安全。国家也为此加大药品监管力度,
广州自秦建城以来,城市空间不断发展蔓延,城市的居住空间在不同时期也表现出了不同的分布特征和分异形式。改革开放后,城市经济发展和城市建设提速,在住房商品化、货币化的推
大学精神是高校文化的凝练,是一所高校的灵魂所在。培育与传承大学精神能够在提高高校核心竞争力、打造优良大学品牌、推进高校“双一流”建设和提升高校教师与学生的精神素
进入21世纪以来,我国的市场经济进入了一个飞速发展时期,尤其是建筑行业,在这个过程中得到了长足的发展。高层建筑在城市中的建设规模越来越大,有效的解决了城市人口密集化的
目的探讨在冠心病中实施系统护理干预对患者心理焦虑情况以及术后病症复发率的影响。方法将本院外科60例冠心病患者(2018年1月至2019年1月间)纳入研究,用计算机实施随机分组,