云南高校图书馆联盟文献共享服务平台- 形式化描述

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

面向DO-178C的襟缝翼控制系统需求的形式化描述: 《计算机科学》2018年第4期196-202,共7页战芸娇魏欧胡军; 国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047)资助; DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于...; 关键词：DO-178C SCR方法四变量模型机载软件 T-VEC

基于矩阵理论的UML类图形式化描述与检测被引量：1: 《中南民族大学学报（自然科学版）》2017年第2期109-114,137,共7页王智广王雷李聪莹; 国家自然科学基金资助项目(60803159);国家"973"计划项目(2013CB228602); 针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实...; 关键词：二元关系矩阵 UML类图形式化描述检测

基于AADL的数据流转换与验证: 《计算机技术与发展》2016年第4期41-45,共5页孙健徐敏; 国家"973"重点基础研究发展计划项目(2014CB744900); AADL在嵌入式实时系统领域,支持系统软、硬件结构建模的同时又能对可靠性、实时性等非功能属性进行描述,可以在模型驱动开发过程中的早期模型建立阶段,通过形式化的模型检验方法对系统模型的关键属性进行验证,从而能够及早地发现在设计...; 关键词：AADL 数据流时延形式化描述时间自动机性质验证

基于形式化描述的交换机网络自动配置策略的设计与实现被引量：3: 《清华大学学报（自然科学版）》2012年第8期1041-1048,共8页杨家海姜宁安常青李福亮; 国家"九七三"重点基础研究项目(2009CB320505);国家"十一五"科技支撑计划项目(2008BAH37B05);国家"八六三"高技术项目(2008AA01A303;2009AA01Z251);国家自然科学基金资助项目(61170211;61170209); 配置管理是网络管理中的重要组成部分,随着IPv6的使用、安全机制的完善,园区网的配置变得更加复杂。该文提出交换机网络自动配置策略并实现原型系统。该系统以网络拓扑为基础,将其自动转化成alloy语言的描述,通过对配置规则进行形式化描...; 关键词：网络管理自动配置 alloy语言

可信应用环境的安全性验证方法被引量：1: 《计算机工程》2011年第23期152-154,共3页陈亚莎胡俊沈昌祥; 国家"863"计划基金资助重点项目(2009AA01Z437);国家"973"计划基金资助项目(2007CB311100); 针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,...; 关键词：无干扰通信顺序进程形式化描述形式化验证可信计算

Web服务的颜色Petri网模型及验证: 《计算机应用与软件》2011年第3期80-82,88,共4页李景霞赵慧娟; 国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100); 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组...; 关键词：颜色PETRI网模型驱动体系结构形式化描述模型 WEB服务组合验证

基于CSP的网络协议描述与仿真被引量：3: 《东南大学学报（自然科学版）》2008年第A01期28-33,共6页宋金晶沈军; 国家重点基础研究发展计划(973计划)资助项目(2003CB314801;2009CB320501); 首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文...; 关键词：形式化描述语言通信顺序进程协议仿真系统建模

语义Web服务组合的形式化描述与验证研究被引量：3: 《计算机科学》2008年第4期40-43,共4页程永上王志坚; 国家自然科学基金(60573098);973项目(2002CB312002);江苏省自然科学基金(BK2006168); Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务...; 关键词：WEB服务 WEB服务组合 PETRI网建模验证

面向服务的企业应用集成系统描述与验证被引量：46: 《软件学报》2007年第12期3015-3030,共16页张广胜蒋昌俊汤宪飞徐岩; Supposed by the National Natural Science Foundation of China under Grant Nos.60534060;60473094(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863));the National Basic Research Program of China under Grant No.2003CB317002(国家重点基础研究发展计划(973));the 2006 Mountaineering Program ofShanghai;China under Grant No.06JC14065(上海市科委2006年度"登山行动计划"); 在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时...; 关键词：面向服务的体系架构体系架构模型综合前置系统时序逻辑 PETRI网形式化描述正确性验证

ForCES体系结构下的FE建模技术研究: 《计算机工程与科学》2007年第4期18-19,58,共3页高蕾王宝生龚正虎; 国家973计划资助项目(2003CB3148020);国家自然科学基金资助项目(90104001); 本文为构建ForCES体系结构中的转发单元FE提出了一个参考模型。该模型利用拓扑建模法来构造报文转发数据通路,形成FE模型拓扑依赖关系图。同时,还采用XML语言对FE的能力和状态、拓扑连接以及元数据等信息做出形式化描述,向CE提供动态配...; 关键词：FE 拓扑法建模 LFB建模形式化描述

形式化描述