形式化描述

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
支持模型驱动开发的软构件形式化描述方法被引量：2
《计算机应用》2015年第9期2692-2700,共9页侯金奎 王成端 
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探...
关键词：模型驱动的软件开发 模型转换 特性描述 语义验证 
方块苗文动态构造方法的形式化描述被引量：2
《计算机应用》2014年第3期861-864,868,共5页莫礼平 周恺卿 
国家自然科学基金资助项目(61363033)
针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文...
关键词：方块苗文 信息处理技术 形式化方法 上下文无关文法 谓词规则 
CSMA/CD协议的形式化描述与验证被引量：1
《计算机应用》2013年第A02期235-237,268,共4页张涛 袁键 田宏林 
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环...
关键词：PROMELA SPIN 协议验证 载波监听多路访问 冲突检测机制 形式化 
空间方向关系形式化描述研究进展被引量：2
《计算机应用》2013年第5期1324-1329,共6页王淼 李松阳 
河南省科技厅科技发展计划项目(122300410323);河南工程学院博士基金资助项目(D2012015);河南省教育厅自然科学研究重点资助项目(12A520014)
空间方向关系的表示与建模作为空间方向关系领域的一个基础性问题,近年来逐渐成为地理信息系统、空间数据库和人工智能等领域研究的热点和难点并取得了一系列研究成果。从二维空间精确对象方向关系模型、三维空间对象方向关系模型、模...
关键词：方向关系 空间数据库 形式化描述 模糊方向关系 
基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1
《计算机应用》2008年第6期1471-1474,共4页顾翔 邱建林 严燕 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划(05KJD520166);南通市应用研究计划(K2007013);2005年南通大学博士启动基金;南通大学自然科学基金项目(05Z057和06Z051);江苏省高校"青蓝工程"资助项目
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提...
关键词：协议测试 形式化描述 RAISE规范语言 
基于形式化描述测试用例生成的研究与实现被引量：4
《计算机应用》2008年第4期1018-1022,共5页王伟光 丁洪达 曾庆凯 
国家自然科学基金资助项目(60773170;60721002;60473053);国家863计划项目(2006AA01Z432);江苏省自然科学基金资助项目(BK2005074)
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形...
关键词：安全评估 测试用例生成 形式化描述 更改条件判定覆盖 
RSL在协议形式化描述中的应用研究被引量：3
《计算机应用》2007年第9期2236-2238,共3页顾翔 邱建林 蒋峥峥 
江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校"青蓝工程"项目;南通大学博士启动基金资助项目
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比...
关键词：协议工程 形式化描述 RSL 
PMI中属性权威与属性注册权威通信模型设计及形式化描述
《计算机应用》2007年第7期1597-1598,1602,共3页张磊 陈性元 张斌 
国家863计划项目(2006AA01Z457)
授权管理基础设施(PMI)系统中属性权威(AA)与属性注册权威(ARA)通信状态多且变化复杂。提出了一个PMI中AA与ARA的通信模型,以避免不安全的中间状态出现。对该模型的特征进行了分析,运用有限状态机(FSM)对该模型进行形式化描述,并证明了...
关键词：授权管理基础设施 属性权威 属性注册权威 有限状态机 
业务本体开发与描述方法被引量：2
《计算机应用》2007年第6期1423-1425,共3页刘云杰 龚传信 刘铁林 
中国博士后基金资助项目(20060390769)
业务本体是业务概念模型的形式化描述,对构建可重用的业务模型具有重要的价值。分析了现有本体开发方法对业务本体开发与描述的局限性,提出了面向活动的业务本体开发方法,阐述了基于UM-OCL的业务本体描述方法。
关键词：业务模型 本体 形式化描述 重用 UML-OCL 
体系结构描述语言XYZ/ADL到UML的映射被引量：4
《计算机应用》2006年第2期468-471,共4页陈琳琳 戎玫 张广泉 
国家自然科学基金资助项目(60073020);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303);江苏省高校自然科学研究项目(05KJB520119);重庆市科学技术研究项目(040803)
选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。
关键词：软件体系结构 形式化描述 可视化描述 XYZ/ADL UML 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部