形式描述语言

作品数：14被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：程志李勇袁晓东张宏丽赵静更多>>
相关机构：内蒙古大学北京师范大学内蒙古农业大学中国科学技术大学更多>>
相关期刊：《计算机研究与发展》《通讯世界》《计算机工程与设计》《计算机与现代化》更多>>
相关基金：国家自然科学基金教育部科学技术研究重点项目国家高技术研究发展计划“九五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
执行LOTOS形式说明的编译器支持
《平原大学学报》2006年第6期125-127,共3页李伟 郭宏亮 
LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体，抽象实体与实际实体都有效地作用于环境，并且允许环境影响说明特性。本篇文章描述了由LOTO...
关键词：形式描述语言 LOTOS 编译器 
知识工程的KADS建模方法被引量：1
《计算机与现代化》2006年第11期71-73,共3页程志 
KADS被广泛认为是最优秀的知识工程建模方法之一。本文论述了KADS建模方法的主要特点、KADS建模的形式描述语言和KADS建模的实现环境。
关键词：KADS 专家模型 形式描述语言 
基于改进设计模式的联销管理系统建模研究被引量：1
《微机发展》2005年第6期137-139,共3页张靓 
从面向构件方法学及软件体系结构的观点出发,致力于探讨观察者模式(Observer)的改进及其构架设计问题。分析现有Observer模式的原理和缺陷;进而采用统一建模语言描述改进模式的结构模型和行为模型;最后,将其应用到联销管理软件中,采用AD...
关键词：统一建模语言 观察者模式 形式描述语言 模板 
RSL应用于协议形式化描述的研究
《小型微型计算机系统》2004年第3期447-450,共4页赵静 屈玉贵 赵保华 
国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 863计划项目 ( 2 0 0 1AA112 0 62 )资助
在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问...
关键词：形式化描述 RSL 形式描述语言 面向对象 FSM 时间描述机制 通信协议 
EFSM模型中测试序列的产生方法
《内蒙古师范大学学报（自然科学汉文版）》2003年第S1期46-48,共3页张宏丽 田振清 高浥川 邱国华 
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。
关键词：扩展有限状态机 有限状态机 形式描述语言 
基于求精关系的多视点需求工程框架模型被引量：1
《计算机科学》2002年第9期140-142,共3页何炎祥 黄谦 
国家教育部重点项目资助; 大学自强科技创新基金
1 引论 传统需求工程方法应用于大型分布式系统的开发有一个严重问题:需求工程中的每一子过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不适应.
关键词：软件工程 求精关系 多视点需求工程框架模型 形式描述语言 
SDL形式描述语言初探被引量：2
《通讯世界》2001年第3期52-53,共2页齐赛 
关键词：SDL语言 形式描述语言 通信协议 
一个基于属性文法的通信协议形式描述语言及协议开发环境
《计算机应用与软件》2000年第8期9-15,56,共8页房鼎益 安娜 
国家自然科学基金资助(编号:69673023)
通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发...
关键词：通信协议 属性文法 形式描述语言 协议开发环境 
形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
《计算机工程与设计》1999年第1期38-43,共6页袁晓东 胡德强 许皓 李勇 郑国梁 
国家"九五"攻关项目;国家自然科学基金
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ...
关键词：形式描述语言 面向对象 COOZ COOZ-Tools 
一种适用于过程控制系统建模的形式描述语言PROTOB
《计算机应用与软件》1998年第1期10-14,22,共6页胡家宝 彭向荣 
国家自然科学基金
本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。
关键词：形式语言 PROTOB网 形式描述语言 过程控制系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部