形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
RSSP-Ⅱ协议消息鉴定层的形式化描述及验证
《计算机应用与软件》2023年第6期77-82,180,共7页徐倩 林俊亭 
国家自然科学基金项目(61963023)。
协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现...
关键词：RSSP-Ⅱ 消息鉴定层 实体对等认证 消息源认证 有色PETRI网 
一种基于形式化可配置特征单元的特征模型被引量：1
《计算机应用与软件》2018年第1期44-51,共8页苏浓光 杨贯中 
湖南省产学研结合重大科技成果转化项目(2010XK6024)
针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计...
关键词：软件产品线 特征模型 可配置特征模型 映射规则 形式化描述语言 特征描述 
基于新活动演算的SysML活动图形式化描述
《计算机应用与软件》2015年第10期49-53,共5页惠文涛 周雁舟 邵楠 严亚伟 
针对Sys ML(Systems Modeling Language)活动图自身缺乏精确语义描述的不足,提出使用新活动演算来表示Sys ML活动图形式化语义的方法。通过分析Sys ML活动图的基本图符及其特点,对活动演算进行重新设计,增加了概率因子,并且在新活动演...
关键词：SYSML 活动图 活动演算 形式化描述 
半结构化数据的形式化描述及数据抽取方法研究被引量：3
《计算机应用与软件》2013年第4期145-148,共4页李亚红 赵冬玲 
河南省教育厅自然科学研究计划项目(2010C520007)
半结构化数据的形式化描述和信息抽取是解决用户查询和信息获取的核心问题。随着信息资源的多样化和快速膨胀,现有的描述和抽取方法存在召回率和查准率低等缺陷。为解决此问题,提出一种新的半结构数据形式化描述方法,重新定义领域概念...
关键词：半结构数据 形式化描述 领域概念集 领域知识集 数据抽取 
一个基于MAS的公共即时通信系统接入方案
《计算机应用与软件》2012年第8期74-77,共4页覃国蓉 何涛 刘志军 
国家自然科学基金项目(61172165);广东省自然科学基金项目(S2011010006113;S2011040000672)
企业应用系统接入各公共即时通信系统(IM)的难点在于如何无缝集成这些不同的IM,同时又具有良好的扩展性。提出一个基于多Agent系统(MAS)的接入框架并给出其形式化描述。在这个接入框架中,企业应用系统Agent(EA Agent)负责连接企业应用系...
关键词：即时通信系统 多AGENT系统 客户端仿真 消息转储 黑板模式 形式化描述 
AspectualACME语言切点指示器的形式化描述方法
《计算机应用与软件》2011年第11期214-217,共4页倪友聪 叶鹏 杜欣 肖如良 张琳琳 
福建省自然科学基金项目(2011J05146);湖北省教育厅科学技术研究项目(B20111607);新疆维吾尔自治区高校科研计划青年教师科研培育基金(XJEDU2009S15);新疆大学博士毕业生科研启动基金项目(BS090142)
面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)...
关键词：面向方面软件体系结构描述语言 AspectualACME 方面编织 切点指示器 
Web服务的颜色Petri网模型及验证
《计算机应用与软件》2011年第3期80-82,88,共4页李景霞 赵慧娟 
国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100)
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组...
关键词：颜色PETRI网 模型驱动体系结构 形式化描述模型 WEB服务组合验证 
基于形式化描述可复用测试用例库的研究与实现被引量：2
《计算机应用与软件》2010年第7期43-46,共4页张红燕 杨根兴 蔡立志 
国家高技术研究发展计划资助(2007AA010401)
软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用...
关键词：形式化语言 Z规格 软件测试 可复用测试用例 测试用例库 
CSP的扩展及其在匿名混淆协议形式化中的应用
《计算机应用与软件》2009年第5期275-277,284,共4页霍成义 
甘肃国防科工委(办)科研项目(Gb2007-3)
自DavidChaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展。研究为进行匿名混淆协议形式化描述而进行的CSP扩展问题,向CSP中引入了混淆操作的概念,提出了匿名混淆导管算子"┃>>",该算子...
关键词：通信顺序进程 匿名 混淆协议 形式化描述 
一种用户身份认证系统的形式化描述
《计算机应用与软件》2009年第1期277-280,共4页孙凌宇 冷明 彭宣戈 
科技部国际合作项目(CB7-2-01);江西省教育规划项目(04BY453)
身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据。运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述。在形式化过程中,对该系统用户身份记录定义了读、添加、更新、...
关键词：Z 形式化 身份认证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部