基于语义Web的软件需求验证工具研究

来源 :null | 被引量 : 0次 | 上传用户:vazumi126
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSVerifyTool。它在动态方面,能把OWL-S文档转换为PNML描述的Petri网文档的形式,用Petri网进行分析验证;并在静态方面,组合了基于DL的推理引擎Pellet和基于F-logic的推理引擎Flora-2,发挥其各自优势进行推理和验证。该自动化验证工具能对OWL-S描述的Web服务提供有效的验证支持。
其他文献
作为云南首批省级全域旅游示范区的香格里拉,拥有丰富的自然景观资源和藏族传统建筑文化资源,保护利用价值较高,改造型民宿的发展尤为迅猛。实地调研考察发现:目前,香格里拉地区,尤其是独克宗城区(建塘镇)内的藏族传统民居,在民宿化改造过程中出现了空间使用不便、文化挖掘不深、资源利用不合理、建设性破坏、管理粗放等现实问题,直接影响了游客的旅居体验、传统建筑的保护利用及当地民宿行业的可持续发展,迫切需要地方政
故障预测是实现预测性维修策略的关键,也是现代工程装备保障重要的研究内容之一。科学的故障预测可以有效降低装备维修保障费用,提高装备的安全性和完成任务的成功概率。本文综述工程装备故障预测的研究现状,简述开展工程装备故障预测的基本步骤,详细从故障趋势预测、剩余寿命预测、故障模式预测以及故障率预测等层面分析故障预测内容,归纳故障预测的方法体系,评价主流故障预测方法的优缺点。最后,对故障预测技术的发展前景做
互联网金融作为传统金融和网络信息技术的结合和创新,现已发展成为我国金融市场的重要组成部分,在弥补传统金融行业不足的同时,也为促进金融业创新发展做了有益的补充。但互联网金融产品在给人们的消费和生活带来方便的同时,也产生了很多的问题。文章在分析我国互联网金融发展现状的基础上,针对我国互联网金融运行中存在的问题进行了研究,并根据互联网金融产品、行业的特性分析了产生问题的原因,最后从完善政府监管模式、制定
<正>近年来,江苏省常州市钟楼区小学语文学科致力于“精读+略读”全课时整体设计研究,通过“初读感知—理解内化—运用巩固”进阶式学习,引导学生由教师指导下的阅读走向自主独立的阅读,实现由“知”向“行”的能力提升。一、教材解读:由主题关联到深层融合要实现“精读+略读”(精读2课时、略读1课时)全课时整体设计,需要教师从专业角度深入理解文本内核,发掘精读课文与略读课文在语言文字运用、
期刊
作为现代信息技术的高级形态,人工智能在变革教学形态、方式、环境以及促进教学个性化和精准性等方面具有显著价值。同时,也给教师重构教学、角色转换、技术依赖和教学伦理等带来了严峻挑战。为此,需要我们坚守教学的人文主义立场,遵循智能化教学伦理规范,研究人工智能融入教学的契合度,提升教师智能教育素养,确保立德树人根本任务的实现。
<正>近些年来我国的综合国力快速发展,建筑给排水工程施工是重要的组成部分。社会在不断地进步,人们对生活质量的要求也越来越高,在实际生活中,给排水工程建设关系到人们的日常生活,也是市政工程建设的基础,是政府形象和实力的象征。在具体的给排水工程施工建设中,必须积极引起重视,要确保施工的质量安全。在本次研究中针对建筑给排水工程常见的质量问题,对具体的控制对策进行分析。
期刊
<正>作为我国市场和经济发展的重要力量,房地产行业的项目投资决策不仅与人们的生活紧密相关,更能有效推动国民经济增长。房地产企业项目投资决策与其未来长远发展有着直接的联系。基于房地产行业本身的特殊性,一旦制定了项目决策就很难发生改变,如果决策发生更改,就会为企业带来较大的损失。房地产企业项目在建设过程中,每个环节都会要投入大量的物力和人力成本,一旦中途发生决策变更,企业将会遭受经济上的严重损失。因此
期刊
文章依托G30连霍高速公路洛阳-郑州段改扩建工程项目,介绍主线改扩建设计技术标准,对沿线自然地理特征进行研究,对比分析了分离式路基段及整体式单侧加宽等段落的具体工程措施,并从路线、路基路面及排水、桥涵、交通工程及沿线设施等四个方面探讨总体设计方案。研究成果可为相关高速公路改扩建工程项目提供借鉴。
将质疑释疑策略运用于初中议论性课文学习中,可以提升学生批判性思维。经过实践发现,教师要精心筹划,引导学生依据文体特征,围绕论点、论据、论证、意图四个承载点进行质疑释疑,有助于培养学生批判性思维的各项具体技能。
<正>小学语文情境化的家庭作业融情境性、趣味性、实践性为一体,不但激发了学生浓厚的作业兴趣,而且培养了学生动手、动脑、想象、观察等诸方面的能力,使学生的训练从"单一"走向"综合",也使"减负"落到了实处。因此,只要我们在家庭作业形式、内容的设计上花一番工夫,创设学生感兴趣的情境,便能真正使家庭作业焕发其生命的色彩!一、再现文本情境——家庭作业的趣味性小学语文教材凭借多彩的语言,丰富的人文,绵延的情
期刊