一种支持访问控制的用户界面设计模型*

针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI（access control user interface）模型。该模型在传统界面设计模型的基础上,引入了RBAC（role based access control）机制,通过对用户模型中的角色及用例进行形式化分析,并根据内部模型中描述的界面构成元素及其交互关系,在用户界面模型中给出了针对不同角色的界面展示规则和界面布局树,最终实现了界面代码的自动生成。实验证明,该模型能很好地指导多用户权限访问控制     

面向对象程序设计原则之三——可用性设计篇

说明:本文的所有内容均以VisualBasic为例,对于其他的面向对象的程序设计语言同样适用。上一篇的《面向对象程序设计原则》中我们讨论了关于界面设计方面的内容,在这一篇我们来讨论一下可用性的问题。任何应用程序的可用性基本上是由用户决定的。界面设计是需要多次反复的过程;在为应用程序设计界面时,第一步就设计非常完美的界面的情况非常少见。用户参与设计过程越早,花的力气越少,创建的界面就越好、越可用。1.什么是好的界面设计用户界面时,开始时最好是先看看Mi鄄crosoft或其他公司的一些卖得好的应用程序。毕竟,界面很差的应用程序…     

基于模型的用户界面变压器设计?

当前基于模型的用户界面设计不能较好处理界面和语义的隔离问题。为此,提出一种基于模型的用户界面变压器设计方法。将设计过程分为任务和领域、界面设计、抽象用户界面、具体用户界面、最终用户界面5个层次,利用相关的用户界面描述语言进行抽象描述,导出用户界面的抽象模型,经逐层模型映射后,通过客户端将其解析并显示。应用结果表明,该设计方法具有较好的可用性,能达到跨平台的目的。     

基于与或逻辑的界面关系模型表示方法

作为用户与系统直接交互的途径,界面设计的好坏将影响用户对系统的第一印象,因此界面设计在软件工程系统设计中十分重要.传统有限状态机在表达复杂的界面状态关系时存在困难.我们引入与或图表示方法来表达初始界面到最终界面的业务流程问题求解过程,建立基于与或逻辑的界面关系模型,并给出模型的逻辑表示,讨论了利用逻辑推理和演绎实现模型语法和语义检查的方法.     

X窗口下数据库应用系统的通用界面生成

本文提出了Ｘ窗口环境下用对象的方法处理多用户数据库应用系统的界面设计问题。它把全系统的界面模块调用关系一成菜单表，再把各用户所属的部分培养民用户菜单视图，由支持对象机制的界面驱动程序，生成相应用户界面，界面驱动程序服务于网络用户，通过配置网络用户的界面参数，就达到改变用户界面的目的。     

基于Web界面设计模式的复杂行为建模及其代码生成方法

目前基于模型的Web用户界面(UI)研究中缺乏对复杂行为的模型设计和开发方法,极大地限制了此类方法的工程化应用。针对此问题,提出了一种形式化的Web界面行为描述语言,对基于Web的用户界面中的复杂行为建模,实现了行为模型的代码自动生成。实验表明,本方法在Web用户界面设计的开发过程中具有极大的灵活性,提高了界面设计模式的复用性。     

软件界面设计的构想和基本原则探究

由于计算机系统通过用户界面面向用户提供数据输入环境、系统运行状态和程序运行结果,用户通过用户界面向计算机系统提供工作要求、设计想法和问题处理意见,所以用户界面设计的好坏对计算机系统的使用起着非常重要的作用。图形用户界面GUI通过在用户界面中使用色彩、图形和表格等图形技术来提高用户界面的质量。本文主要是探讨软件界面设计的构想及设计的原则。     

OSC:一个开放式情景演算系统的研究

在经典情景演算系统的基础上引入了广义信念修正理论，构建了一个开放式情景演算系统OSC(open situation calculus)，克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷．OSC系统保留了经典情景演算系统中的情景流result-of(a，s)，用以刻画行动的影响；同时又引入了新的情景流bel-rev(φ，s)，用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动．OSC系统采用了离线规划与在线执行相结合的运行方式，为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径．     

基于抽象设备的移动用户界面设计

由于移动设备的多样性及其输入输出通道的异构性,难以为多设备实现一个统一的界面描述,同一应用通常需要针对不同的设备特性进行多遍用户界面开发。为此,基于抽象设备提出一种移动用户界面设计方法。对当前多种移动设备的设备特征进行抽象,定义抽象设备的概念。通过抽象设备的定义标准,实现多设备环境中抽象用户界面模型的统一描述。实验结果表明,该方法使界面设计者只需在抽象设备上设计一次统一的移动用户界面描述,即可通过映射在多种不同类型的移动设备上生成最终界面,达到降低学习成本和缩短开发周期的目的。     

基于袁单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化，国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些工具都只是从界面本身考虑设计和编码的自动化，没有从用户需求出发考虑界面的设计。该文从需求模型出发设计用户界面逻辑，使得界面是依据用户需求设计的，并且是可以进行需求验证的。该文给出了从需求模型得到界面逻辑模型的算法，以及从界面逻辑模型反向推导需求模型元素的算法。     

计算机文档的用户界面及其设计方法

计算机文档是软件系统的重要组成部分，它帮助用户与软件系统进行沟通，是软件用户界面的重要补充，本文针对目前计算机文档特别是用户文档不如人意的开发状况，强调用户文档对于软件可用性的重要性，提出用户文档生命周期的概念指导计算机文档开发，并对文档结构设计和文档用户界面设计进行了具体的设计。     

基于SOP模型的用户界面构造生成

面向对象的用户界面设计是面对象领域的一大热点。本文基于ＳＯＰ模型探讨由界面构件组装构造用户界的方法，本文首先简单介绍ＳＯＰ软件构造模型，然后介绍通用界面对象类库的设计和实现，并利用此类库中的构件按ＳＯＰ方法为ＳＯＰ软件开发环境实现一个图形用户界面。     

基于智能规划的界面自动生成方法研究

将智能规划方法引入到软件工程中的界面设计与开发领域,提出了一种基于智能规划的界面自动生成方法。应用该方法进行界面设计,可以较好地实现界面设计与代码实现的分离,降低程序的耦合度,并且可以明确界面间的逻辑关系,使开发者可以不用通过手动编程来实现界面先后调用的逻辑顺序。实践证明,该方法可以大大降低界面开发者的工作强度,缩短软件开发周期,节约开发成本。     

A new deductive approach to planning

We introduce a new deductive approach to planning which is based on Horn clauses. Plans as well as situations are represented as terms and, thus, are first-class objects. We do neither need frame axioms nor state-literals. The only rule of inference is the SLDE-resolution rule, i.e. SLD-resolution, where the traditional unification algorithm has been replaced by anE-unification procedure. We exemplify the properties of our method such as forward and backward reasoning, plan checking, and the integration of general theories. Finally, we present the calculus and show that it is sound and complete. An earlier version of this paper was presented at the German Workshop on Artificial Intelligence, 1989.     

基于团队态势感知的汽车 HMI 评测与设计方法

随着汽车智能化和网联化技术发展,汽车人机界面作为人与车的媒介,对驾驶员的用户体 验十分重要。为了通过优化人机界面来提高人与车的团队协作,对汽车人机界面评测与设计方法进行研究。 26 名驾驶员参与了以 FM 为多路径界面范式的驾驶模拟器评测。评测方法依据团队态势感知理论和用户体 验要素,构建包含驾驶指标、行为指标、主观指标的多维度评价体系,通过实验前分析任务阶段和通道, 进一步分析态势感知与用户体验要素的关联,实验后分析汽车人机界面的用户体验五层级数据结果,定位 出现设计问题,推导出相应的设计优化方向,最后得到设计优化的方案,能帮助优化汽车人机界面设计, 提高用户体验。     

Formal reasoning about dialogue properties with automatic support

One of the advantages of using formal methods in the design of human–computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support to this end. This paper discusses the possibilities of verifying the properties of user interfaces and related problems, such as when the dialogue specification has an infinite number of states. We provide an example of a set of general user interfaces properties, and we show how these properties can be tailored for specific cases and thus be used as a framework to evaluate the design of the interactive application considered.     

三维机械模型和其对应工程图纸的智能化校对方法

给出一个完整的模型信息校对平台的设计，重点讨论了模型的外观和轮廓校对，为实现模型校对提供了一个图形化的系统集成环境，同时分析了模型校对的发展方向，为进一步完善模型校对系统提供了基础。     

HutWindows: an improved architecture for a user interfacemanagement system

The design of HutWindows, a user interface management system intended for applications in mechanical CAD, is discussed,. HutWindows features a three-layered internal architecture, where the presentation, dialogue-control, and application-processing layers are clearly separated from each other. This leads to increased simplicity and flexibility in user interface design over the more traditional situation where all of these layers are closely coupled     

手机界面的品牌化发展

手机界面作为用户和手机进行沟通与交流的媒介,其设计的好坏直接关系到用户对手机甚至是手机品牌的印象,一个好的手机界面能够让用户形成对品牌更为真实的认知。文章从手机界面、品牌的内涵出发,试图从手机界面设计的现状中分析手机界面品牌化的必要性,并总结出手机界面的品牌化发展是需要一个较长时间的持续刺激的过程的。