期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
面向自然语言需求的验证性质生成方法
1
作者 李晓劼 杨志斌 +2 位作者 王翰丰 周勇 李维 《小型微型计算机系统》 CSCD 北大核心 2024年第1期84-92,共9页
安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需... 安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性. 展开更多
关键词 形式化验证 模式定义语言 自然语言处理 规约生成
在线阅读 下载PDF
一种基于XML Web Service的分布式解决方案 被引量:10
2
作者 胡学骏 曾凡智 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期204-205,222,共3页
介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现... 介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现方法简单的特点。提高了企业组建企业管理信息系统的效率和质量。 展开更多
关键词 XML WEB SERVICE 模式对象模型 数据集 模式定义语言
在线阅读 下载PDF
智能客户端系统中数据同步策略的研究与实现 被引量:21
3
作者 索红光 王雷全 《计算机工程与设计》 CSCD 北大核心 2007年第2期351-353,共3页
针对智能客户端系统离线/在线的工作模式,以及智能客户端系统终端多样化、智能部署等特点,提出了一种离线与在线切换过程中,基于XML与Web服务的数据同步策略。该策略弥补了已有数据同步方法存在的不足,具有便于部署与更新,为多种平台提... 针对智能客户端系统离线/在线的工作模式,以及智能客户端系统终端多样化、智能部署等特点,提出了一种离线与在线切换过程中,基于XML与Web服务的数据同步策略。该策略弥补了已有数据同步方法存在的不足,具有便于部署与更新,为多种平台提供统一编程模型,以及轻松穿越防火墙等优点。对于智能客户端系统的开发,具有实际的应用价值。 展开更多
关键词 数据同步 智能客户端 可扩展标记语言 WEB服务 可扩展标记语言模式定义
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部