期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向自然语言需求的验证性质生成方法
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
作者
李晓劼
杨志斌
王翰丰
周勇
李维
机构
南京航空航天大学计算机科学与技术学院
高安全系统的软件开发与验证技术工信部重点实验室
航宇救生装备有限公司
出处
《小型微型计算机系统》
CSCD
北大核心
2024年第1期84-92,共9页
基金
国家自然科学基金项目(62072233)资助
国防基础科研项目(JCKY2020205C006)资助
航空科学基金项目(201919052002)资助.
文摘
安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性.
关键词
形式化验证
模式定义语言
自然
语言
处理
规约生成
Keywords
formal verification
contract pattern language
natural language processing
specification generation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于XML Web Service的分布式解决方案
被引量:
10
2
作者
胡学骏
曾凡智
机构
佛山科学技术学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第13期204-205,222,共3页
文摘
介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现方法简单的特点。提高了企业组建企业管理信息系统的效率和质量。
关键词
XML
WEB
SERVICE
模式
对象模型
数据集
模式定义语言
Keywords
XML Web Service
Pattern object model
Data set
Pattern definition language
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
智能客户端系统中数据同步策略的研究与实现
被引量:
21
3
作者
索红光
王雷全
机构
中国石油大学(华东)计算机与通信工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第2期351-353,共3页
文摘
针对智能客户端系统离线/在线的工作模式,以及智能客户端系统终端多样化、智能部署等特点,提出了一种离线与在线切换过程中,基于XML与Web服务的数据同步策略。该策略弥补了已有数据同步方法存在的不足,具有便于部署与更新,为多种平台提供统一编程模型,以及轻松穿越防火墙等优点。对于智能客户端系统的开发,具有实际的应用价值。
关键词
数据同步
智能客户端
可扩展标记
语言
WEB服务
可扩展标记
语言
模式定义
Keywords
data synchronization
smart clients
extensible markup language
web service
XML schema definition
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向自然语言需求的验证性质生成方法
李晓劼
杨志斌
王翰丰
周勇
李维
《小型微型计算机系统》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
2
一种基于XML Web Service的分布式解决方案
胡学骏
曾凡智
《计算机工程》
EI
CAS
CSCD
北大核心
2005
10
在线阅读
下载PDF
职称材料
3
智能客户端系统中数据同步策略的研究与实现
索红光
王雷全
《计算机工程与设计》
CSCD
北大核心
2007
21
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部