形式化描述

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向方面软件体系结构编织的形式化描述方法被引量：1
《计算机应用研究》2016年第8期2381-2385,2416,共6页侯金奎 杨春花 
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作为行为描述和结构描述的...
关键词：软件体系结构 面向方面的模型描述 形式化描述 结构编织 PETRI网 
面向移动云服务系统的形式化语义描述方法
《计算机应用研究》2016年第2期467-472,共6页侯金奎 张玉艳 
山东省优秀中青年科学家科研奖励基金计划资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)
针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一种形式化语义描述模型。该方法中,将agent描述为范畴理论中的对象节点,agent之间的交互和依赖关系作为态射...
关键词：移动云服务 AGENT 形式化描述 语义验证 范畴理论 
基于语义的物流云服务发现技术研究被引量：2
《计算机应用研究》2015年第11期3399-3403,共5页张水旺 王涌 胡小建 
2013年安徽省教育厅人文社科重大项目(SK2013D08)
针对云物流系统中物流云服务的发现需求,依据本体论的基本原理和云物流系统中云服务和物流任务的特点,给出了物流云服务和云物流任务的本体形式化描述方法,设计了物流云服务发现模型的流程图。同时构建了物流云服务领域本体,提出了整合...
关键词：物流云服务 形式化描述 服务发现 领域本体 语义 
分布式系统的分层形式化描述方法被引量：1
《计算机应用研究》2014年第8期2407-2410,共4页毛莉 齐德昱 
国家自然科学基金资助项目(61070015);广东省自然科学基金团队项目(10351806001000000)
为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并发行为:嵌入离散事件(DE)模型的有限自动机模型(FSM)描述软件模块内各进程间的并发及状态转换,定义基于...
关键词：分布式 有限自动机模型 离散事件 双外推 
基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2
《计算机应用研究》2011年第8期2999-3003,共5页胡静 冯志勇 
天津市科技支撑计划重点资助项目(08ZCKFGX00700);应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生...
关键词：WEB服务 Web服务组合功能验证 类型化的形式化描述模型 多元Pi-演算 
基于Pi-演算的Web服务形式化描述模型*被引量：2
《计算机应用研究》2011年第6期2168-2173,共6页胡静 冯志勇 
天津市科技支撑计划重点资助项目(08ZCKFGX00700);应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建...
关键词：WEB服务 WEB服务组合 形式化描述模型 PI-演算 
安全属性形式化描述统一框架及其分析方法研究
《计算机应用研究》2011年第4期1460-1464,共5页谢鸿波 谭兴烈 周明天 
国家"863"计划863-104-03-01课题资助项目
在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠...
关键词：进程演算 知识推理 安全属性 形式化分析 安全协议 
操作系统安全机制复合行为模型掘取技术研究被引量：1
《计算机应用研究》2009年第1期314-316,共3页安喜锋 李伟华 薛静 
国家"863"计划资助项目(2006AA01Z406)
以信息安全理论和软件逆向工程技术为依托,研究了操作系统安全机制复合行为模型掘取技术及其实现方法和技术路线。通过结合操作系统的多尺度软件逆向理解技术,对操作系统安全机制的相关程序进行逆向分析、模型掘取和形式化描述,从而发...
关键词：操作系统安全机制 静态分析 程序理解 模型掘取 形式化描述 
网络攻击过程的形式化描述方法研究被引量：3
《计算机应用研究》2007年第5期150-152,155,共4页史志才 陈超 彭丹 陶龙明 
辽宁省教育厅高等学校科学技术研究项目(20040046)
采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYN-Flooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了一种更为直观的形式化手段。
关键词：计算机网络 有限状态自动机 网络攻击 
并行程序开发平台体系结构的形式化研究被引量：1
《计算机应用研究》2004年第12期73-75,共3页李代平 罗寿文 张信一 方海翔 
广西自然科学基金资助项目(桂科自0229009)
用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述,指出这种描述的优点以及软件体系结构形式化研究的重要性。
关键词：软件体系结构 软件体系结构描述语言 并行计算 形式化描述 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部