事件驱动用户界面的规范设计方法

来源 :南京邮电学院学报 | 被引量 : 0次 | 上传用户:liangchq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上,人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。
其他文献
<正>由石家庄煤矿机械有限责任公司生产的矿山自动 化环形车场,是用于矿山井口地面的一套辅助运输系统。该车场设计新颖,技术先进,自动化程度高,可以大大提高矿山开采的效率
11月13日至15日.2009江苏省“福瑞迪杯&#183;教海探航”征文颁奖暨全国名特优教师课堂教学研讨活动在盐城市第一小学教育集团举行,近700名来自省内各地的小学校长、教师参加了
随着经济和社会的快速发展,城市道路的拥堵问题日益严重,这不仅增加了人们的出行时间、提高了通勤成本,还造成较大的经济损失。随着智能交通系统的发展,交通状态判别技术可以
介绍了具有与PC主机进行在系统调试功能的单片机系统设计方法,详述了单片机系统硬件、软件及主机程序的设计.
在进行1∶10万、1∶25万、1∶50万或更小比例尺地球化学编图时,由于分析单位和工作时间不同,不同的1∶5万、1∶20万图幅间或同图幅不同批次间的化探数据常存在着系统偏倚。因
本刊讯 江苏省第十一届“五四杯”中学青年教师教育教学论文竞赛活动于5月14日至16日在江阴市英桥国际学校成功举行。省教育厅厅长沈健专门发来贺信。省教育厅副巡视员洪流等
"截止"与"截至":"截止"与"截至"是当前差错率最高的一个词,主要错在应该用"截至"的地方却用了"截止"。这两个词意思不同,用法不同。"截止"表示到某个时间停止,不再继续,强调的是停止;"截至"表
1购进羊只购进健康无病的幼龄良种羊.2防疫每年春、秋两季用羊痘苗、羊四联苗各注射1次.3驱虫正常羊80%体内有寄生虫,如果不进行驱治,饲料中的营养物质大部分被寄生虫吸收,催
码激励线性预测能够在低比特率情况下实现较高质量的语音,在CELP编码方案的实现中,确定短时预测器和长时预测器的系数是至关重要的,在简单介绍了CELP的基本原理和激励码本的产生方法后,着