期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
形式描述语言COOZ的集成支撑环境COOZ-Tools 被引量:1
1
作者 袁晓东 胡德强 +2 位作者 许皓 李勇 郑国梁 《计算机工程与设计》 CSCD 北大核心 1999年第1期38-43,共6页
介绍支持面向对象的形式描述语言COOZ的集成支撑环境COOZ-Tools的设计原则、系统结构、功能、特点和关键的实现技术。COOZ是Z语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。COOZ-Tool... 介绍支持面向对象的形式描述语言COOZ的集成支撑环境COOZ-Tools的设计原则、系统结构、功能、特点和关键的实现技术。COOZ是Z语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。COOZ-Tools支持基于COOZ的软件开发,它主要由如下工具组成:规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。 展开更多
关键词 形式描述语言 面向对象 COOZ COOZ-Tools
在线阅读 下载PDF
SDL_TRAN,一个形式描述语言SDL的交互式生成器
2
作者 张尧学 彭明田 张越 《计算机研究与发展》 EI CSCD 北大核心 1994年第11期44-49,共6页
本文报告一种能将FSM自动转换为SDL描述的SDL描述生成器──SDL_TRAN。除了自动变换部分之外,SDL_TRAN还包含一个具有友好用户接口的图形编辑器。
关键词 形式描述语言 交互式生成器 SDL语言
在线阅读 下载PDF
一个基于属性文法的通信协议形式描述语言及协议开发环境
3
作者 房鼎益 安娜 《计算机应用与软件》 CSCD 2000年第8期9-15,56,共8页
通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发... 通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言L_PSAG定义一个协议,然后给出一个基于属性文法的协议设计环境。 展开更多
关键词 通信协议 属性文法 形式描述语言 协议开发环境
在线阅读 下载PDF
一种适用于过程控制系统建模的形式描述语言PROTOB
4
作者 胡家宝 彭向荣 《计算机应用与软件》 CSCD 1998年第1期10-14,22,共6页
本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。
关键词 形式语言 PROTOB网 形式描述语言 过程控制系统
在线阅读 下载PDF
SDL形式描述语言初探 被引量:2
5
作者 齐赛 《通讯世界》 2001年第3期52-53,共2页
关键词 SDL语言 形式描述语言 通信协议
在线阅读 下载PDF
ISO形式描述语言LOTOS
6
作者 闵京华 《中国计算机用户》 1990年第9期28-31,共4页
关键词 ISO LOTOS语言 形式描述语言
在线阅读 下载PDF
SDL形式描述语言
7
作者 钟嘉强 《中国计算机用户》 1990年第9期24-27,共4页
关键词 SDL语言 形式描述语言
在线阅读 下载PDF
数据流图描述语言的研究与设计 被引量:10
8
作者 徐天伟 夏幼明 李凯佳 《云南师范大学学报(自然科学版)》 2003年第3期4-8,共5页
数据流图是软件设计开发过程中概念模型设计的重要图形表示法 ,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言 ,并给出示例说明此语言的使用 ,将图示的数据流图以语言的方式进行描述。用该语言可对... 数据流图是软件设计开发过程中概念模型设计的重要图形表示法 ,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言 ,并给出示例说明此语言的使用 ,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述 ,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。 展开更多
关键词 数据流图 软件开发 软件工程 需求分析 形式描述语言 概念模型设计
在线阅读 下载PDF
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 被引量:2
9
作者 马莉 钟勇 霍颖瑜 《计算机科学》 CSCD 北大核心 2014年第4期184-189,共6页
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描... Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。 展开更多
关键词 形式描述语言 责任授权模型 OBJECT-Z 分布式时态逻辑
在线阅读 下载PDF
一种描述安全协议的形式化规范语言 被引量:2
10
作者 刘政 赵保华 屈玉贵 《小型微型计算机系统》 CSCD 北大核心 2004年第7期1246-1249,共4页
安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来... 安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham- 展开更多
关键词 安全协议 构造类别代数 形式描述语言
在线阅读 下载PDF
RSL应用于协议形式化描述的研究
11
作者 赵静 屈玉贵 赵保华 《小型微型计算机系统》 CSCD 北大核心 2004年第3期447-450,共4页
在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问... 在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问题 ,又可以使所描述的协议具有可重用性、可组装性且易于维护 ;最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 展开更多
关键词 形式描述 RSL 形式描述语言 面向对象 FSM 时间描述机制 通信协议
在线阅读 下载PDF
专业语言的描述工具文本语言TL 被引量:2
12
作者 柯栋忠 周力 +2 位作者 郑应文 蔡晓真 陈兰生 《福州大学学报(自然科学版)》 CAS CSCD 2003年第4期404-407,共4页
着重讨论一种描述专用语言的工具文本语言TL ,它是一种形式化的描述语言 ,用文本语言TL可以严格地刻划所描述的专用语言的全信息 ,包括语法、语义等 .
关键词 专用语言 形式描述语言 文本语言 语法 语义
原文传递
设计模式形式化描述方法的研究与实现
13
作者 张权 董晶 姜亚萍 《价值工程》 2012年第6期118-118,共1页
软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。如何从成千上万的设计模式中寻找合适的设计模式成为关注的焦点。文章在深入研究和分析的基础上,形成了Di... 软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。如何从成千上万的设计模式中寻找合适的设计模式成为关注的焦点。文章在深入研究和分析的基础上,形成了DisCo语言和BPSL语言相接合的形式化描述语言。在此基础上提出了基于谓词匹配的设计模式检索算法,使设计者能够快速方便的重用设计模式。 展开更多
关键词 设计模式 形式描述语言
在线阅读 下载PDF
软件体系结构获取过程的形式化描述方法比较 被引量:1
14
作者 鄢波 桑军 +1 位作者 向宏 胡海波 《计算机工程》 CAS CSCD 北大核心 2009年第21期29-32,共4页
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方... 为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方法的相似处及不同的应用领域。 展开更多
关键词 软件体系结构 着色PETRI网 状态机 形式描述语言
在线阅读 下载PDF
执行LOTOS形式说明的编译器支持
15
作者 李伟 郭宏亮 《平原大学学报》 2006年第6期125-127,共3页
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTO... LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO鳊译器。 展开更多
关键词 形式描述语言 LOTOS 编译器
在线阅读 下载PDF
基于SDL语言代码自动生成技术研究 被引量:1
16
作者 吴琦 熊光泽 《计算机科学》 CSCD 北大核心 2003年第4期104-107,共4页
As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code... As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code generation, the combination with the hardware and software and etc. In thus paper, the main factors of code autogeneration are introduced in details. The main parts of the code auto-generation based on SDL and the main factors which will effect the ultimately code performance are analyzed. The improved methods aiming at the different software and hardware platform and application performance are presented. 展开更多
关键词 SDL语言 代码自动生成 软件开发 计算机 形式描述语言 建模语言
在线阅读 下载PDF
基于运动生物力学的舞蹈动作分析与描述方法 被引量:7
17
作者 徒鹏佳 杜丹丹 +3 位作者 李军怀 姬文超 曹霆 王怀军 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2021年第5期101-108,共8页
基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作的形式化描述语言。首先,以三维人体骨骼层次结构为描述对象,基于运动分析方法解析舞蹈动作捕捉数据,建立... 基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作的形式化描述语言。首先,以三维人体骨骼层次结构为描述对象,基于运动分析方法解析舞蹈动作捕捉数据,建立人体舞蹈动作描述模型;其次,利用拉班运动分析技术方法描述舞蹈动作,并进一步从时间、空间、重力和流畅度4种力效角度提取舞蹈动作肢体姿态特征,以实现对舞蹈动作形式化描述语言的定义;最后,开发了一种舞蹈动作分析与描述系统,为保护和传承民族舞蹈提供有效手段。 展开更多
关键词 运动生物力学 运动捕捉技术 骨骼层次结构 形式描述语言
在线阅读 下载PDF
基于CSP的网络协议描述与仿真 被引量:3
18
作者 宋金晶 沈军 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第A01期28-33,共6页
首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文... 首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础. 展开更多
关键词 形式描述语言 通信顺序进程 协议仿真 系统建模
在线阅读 下载PDF
一种基于形式化可配置特征单元的特征模型 被引量:1
19
作者 苏浓光 杨贯中 《计算机应用与软件》 北大核心 2018年第1期44-51,共8页
针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计... 针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计的可靠性和鲁棒性。提出特征到可配置特征单元的映射规则,通过这些规则可以验证特征模型约束关系与可配置特征模型的一致性。 展开更多
关键词 软件产品线 特征模型 可配置特征模型 映射规则 形式描述语言 特征描述
在线阅读 下载PDF
融合网络中SIP协议的SDL形式化研究
20
作者 刘业 《中国新通信》 2022年第14期25-27,共3页
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本... 作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本文利用SDL语言对SIP协议进行形式化研究,包括协议交互消息的形式化定义,用户代理客户端/服务器端的形式化描述,客户端/服务器端请求事务的内部流程形式化等工作,进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程。这样当我们在SIP协议的基础上进行新型应用协议开发时候,可以在开发初期将协议一致性、可达性、活锁、死锁等协议验证工作做好,提前将部分协议错误在设计初期找出来,以加快企业新型应用的开发效率。 展开更多
关键词 SIP 形式描述语言 协议 融合网络
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部