网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.     

FORTRAN语言的一个属性文法

本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。     

拓广属性文法

一、引言属性文法被普遍用作为基于语言的环境中增量语义分析的基础。传统属性文法中,属性是局部的,即语义等式仅能引用相同产生式实例中属性的值。对于以属性文法为基础的增量语义分析,属性的局部性无法有效地传递语义树中符号定义点和引用点之间的语义信息。换言之,为了把符号的定义信息传送到引用点上,定义信息必须逐结点地经过许多中介属性;一个符号的定义和删     

基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.     

一个基于混合模型的用户界面管理系统的设计和实现

1.引言 用户界面及其管理系统的研究逐渐成为计算机图形学中一个颇受重视的课题,Siggraph在1982年召开的GIIT专题会上阐明了用户界面管理系统(UIMS)的基本概念,并于1986年在西雅图召开的“用户界面管理软件工具”专题讨论中对该领域进行了深入的讨论,目前广泛采用的Seeheim模型把用户界面分成表示元素、对话控制和应用接口模型三个部分,其核心对话控制通常采用转移网络、上下文无关文法及事件等三种基本模型     

新型属性图文法反应式规约验证方法

属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑（propositional temporal logic）无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点及属性,将包含相应关联属性的规约公式等价转换为命题式时序逻辑,从而可以间接支持该类型规约的验证。以流行的对象式属性图文法模型检测工具GROOVE为平台,结合启发案例,验证了所提出方法的有效性。     

面向对象的界面设计方法

本文讨论了一种基于窗口的面向对象的用户界面设计思想及方法,详细描述了各种类的定义,在ＤＯＳ环境下运用Ｗａｔｃｏｍ Ｃ＋＋语言开发在微机上运行。它可以使用户方便地进行再开发工作,界面运用事件处理方式由窗口,弹出选单,图标,按钮等组成,效果良好。     

基于网络叠加运算的用户界面模型

本文在分析了已有的一些用于描述和控制用户界面的模型之后，提出了一个新的用户面模型－基于网络叠加运算的用户界面模型（ＯＰＥ）模型，该模型利用面向对象的方法以及网络叠加运算使事件处理器模型和状态转换网络有机地结合起来，达到了和谐的统一，本文系统全面地对ＯＰＥ模型及与此相关的概念进行了，根据该模型形成的一个用户界面管理系统（Ｆａｓｔｏｏｌ）已在ＳＧＩ的ＵＮＩＸ环境和微机的ＤＯＳ环境下实现，并已得到了很好     

一个基于用户界面对象模型的多窗口界面工具

本文提出了在ＤＯＳ环境下建立一个基于用户界面对象（ＵＩＯ）模型的多窗口界面工具的总体设计思想，根据ＤＯＳ的特点，设计并实现了基本图形软件包、用户界面表示元素库及事件处理器库，并在上述工作的基础上，实现了一个ＵＩＯ类库。本文还着重讨论了界面工具中多窗口管理机制，进一步描述了该界面工具的应用接口。     

一种基于弹出式STN的用户界面描述模型

在研究了已有的几种用户界面描述模型后,利用面向对象的概念及弹出式STN的概念,提出了一种新的用户界面描述模型——弹出式STN模型。该模型利用面向对象的概念将弹出式STN的概念和基于事件的描述模型有机地结合起来,互相取长补短,获得了很好的效果。文中给出了弹出式STN描述模型中用户界面各对象的定义。在该模型中,用户界面被看成是一个复杂的对象——STN,用户界面的所有组件均被描述为相应的对象,该模型已在SGI图形工作站上实现,并已应用于系统的开发,取得了很好的效果。     

一个基于属性文法的通信协议形式描述语言及协议开发环境

通信协议是网络技术的核心。由于异质构环境中网络协议固有的复杂性,因此需要研制一磁建立在严格数学模型基础这之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言Ｌ＿ＰＳＡＧ定义一个协议,然后给出一个基于属性文法的协议设     

一个用户接口管理系统

本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点.     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。     

OODM：基于形式独立结构模型的面向对象UIMS

ＯＯＤＭ是一个面向对象的用户界面管理系统，主要用于快速建立和改进用户界面原型。本文分析了已有ＵＩＭＳｓ的不足，提出了一种新的ＵＩ结构模型──形式独立的模型，并以此作为ＯＯＤＭ开发的理论基础。ＯＯＤＭ不需要界面规范说明语言，它采用直接操纵技术，结合面向对象的程序设计方法和可视编程技术及约束技术，建立和改进了基于事件模型的界面原型，因而提高了ＵＩＭＳ的易使用性、易修改性、易重用性和易扩充性。本文介绍了ＯＯＤＭ的设计思想。     

一种改进的基于属性频率的约简算法

分析HORAFA算法和HORAFA-A算法的不足,给出一种获得最优约简的启发式算法.算法以核属性为初始约简集,以属性频率为启发式信息,选择必要的属性加入约简集.该算法不仅适用于相容决策表系统,也适用于不相容决策表系统;同时,改进了反向消除方法,可以更快速地删除多余条件属性.实验表明,该算法是正确的,并且效率优于HORAFA-A算法.     

基于PAC模型的多Agent用户界面设计

介绍了基于多Agent的用户界面模型PAC,提出了应用PAC模型按照功能与表现分离、层次化组织结构的原则开发多gent用户界面的分析与设计方法,提出了10条用于多Agent用户界面设计的启发式规则。该方法具有概念清楚,分析设计容易等特点。最后,应用该方法,设计了具有机器学习功能的航空公司安全管理智能决策支持系统的用户界面。