形式化描述

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种支持设计时软件重用的反射式软件体系结构及其形式化研究被引量：3
《计算机工程与科学》2019年第8期1434-1443,共10页罗巨波 应时 刘天时 
陕西省教育厅科研计划项目资助(项目编号:18JK0621);国家自然科学基金(61672392,61373038)
软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持...
关键词：软件体系结构重用 反射式软件体系结构 具体化 Object-Z形式化描述 
基于信息流的多级动态可信度量模型被引量：2
《计算机工程与科学》2018年第12期2156-2163,共8页迮恺 陈丹 庄毅 
国家自然科学基金(61572253);"十三五"装备预研领域基金(61402420101HK02001);航空科学基金(2016ZC52030)
系统运行时受环境和各种外界因素影响,加之内部多实体间信息流相互干扰,可能会破坏系统的可信性,最终导致产生非预期输出。现有研究主要针对初始化可信硬件环境下实体的完整性度量,未能考虑机密性带来的可信影响,同时对于实体可信度量...
关键词：可信度量 信息流 非传递无干扰 访问控制 形式化描述 
OWL-S过程模型的形式化描述与相容性分析
《计算机工程与科学》2016年第3期478-485,共8页唐郑熠 王金水 韦立 薛醒思 胡文瑜 
国家自然科学基金(61309006);福建省自然科学基金(2012J01245);福建省中青年教师教育科研基金(JB14069);福建工程学院科研启动基金(GY-Z13112,GY-Z13113)
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的...
关键词：服务组合验证 OWL-S 形式化模型 服务过程自动机 相容性分析 
Dolev-Yao攻击者模型的形式化描述被引量：8
《计算机工程与科学》2010年第8期36-38,45,共4页唐郑熠 李祥 
模型检测技术能够实现安全协议的自动化分析,是一种高效的形式化分析方法。然而,对于攻击者的建模却一直缺乏通用的方法,这导致了模型检测方法的自动化程度降低。本文为安全协议分析中,应用最为广泛的Dolev-Yao攻击者模型建立了一套形...
关键词：Dolev-Yao攻击者模型 形式化描述 模型检测 SPIN NSPK A(0) 
一种基于CSP的面向方面状态图形式化描述方法被引量：1
《计算机工程与科学》2008年第5期41-43,83,共4页王斌 刘菲 桂卫华 陈松乔 
湖南省自然科学基金资助项目(05JJ40132);中南大学理科发展基金资助项目;中南大学博士后科学基金资助项目
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML...
关键词：编织 形式化语义 CSP 面向方面的状态图 
ForCES体系结构下的FE建模技术研究
《计算机工程与科学》2007年第4期18-19,58,共3页高蕾 王宝生 龚正虎 
国家973计划资助项目(2003CB3148020);国家自然科学基金资助项目(90104001)
本文为构建ForCES体系结构中的转发单元FE提出了一个参考模型。该模型利用拓扑建模法来构造报文转发数据通路,形成FE模型拓扑依赖关系图。同时,还采用XML语言对FE的能力和状态、拓扑连接以及元数据等信息做出形式化描述,向CE提供动态配...
关键词：FE 拓扑法建模 LFB建模 形式化描述 
一种通用中间件安全模型及形式化描述被引量：3
《计算机工程与科学》2006年第1期112-114,共3页吴景阳 毋国庆 
本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机(FSM)对该模型进行形式化描述,...
关键词：中间件安全性 安全模型 体系结构 有穷状态自动机FSM 
基于概念模型工程的工作流建模研究被引量：1
《计算机工程与科学》2006年第1期139-142,共4页汪文元 沙基昌 谭东风 
工作流技术已经在越来越多的领域发挥出越来越重要的作用,然而针对大型系统工作流建模方面仍然没有良好的办法。本文将概念建模工程引入工作流建模进行一体化建模,并按照模型工程的思想将工作流建模划分成四个阶段,并重点对格式化描述...
关键词：工作流建模 概念模型 一体化建模框架 格式化描述 形式化描述 概念本体 
数字证书语义的形式化描述
《计算机工程与科学》2001年第1期5-7,共3页王礼强 龚俭 
为了对证书的语义有一个准确的理解 ,本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
关键词：形式化描述 数字证书语义 密码学 计算机网络 网络安全 
协议测试中用户信息的形式化描述技术
《计算机工程与科学》2000年第1期43-47,共5页尹霞 吴建平 
国家自然科学基金
无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在...
关键词：协议测试 计算机网络 用户信息 PITS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部