| 事件驱动用户界面的规范设计方法 |
| |
| 引用本文： | 陈慧南.事件驱动用户界面的规范设计方法[J].南京邮电大学学报(自然科学版),1999(4). |
| |
| 作者姓名： | 陈慧南 |
| |
| 作者单位： | 南京邮电学院计算机科学与技术系!江苏南京210003 |
| |
| 基金项目： | 原邮电部科研基金资助项目 !( 94部预研 2 6 ) |
| |
| 摘 要： | 给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上。人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。
|
| 关 键 词： | 用户界面 多线索对话 Petri网 并发模型 规范设计 |
An Approach to Designing Event driven User Inter face Specification |
| |
| CHENHui nan.An Approach to Designing Event driven User Inter face Specification[J].Journal of Nanjing University of Posts and Telecommunications,1999(4). |
| |
| Authors: | CHENHui nan |
| |
| Institution: | CHENHui nan DepartmentofComputerScienceandTechnologyNanjingUniversity ofPostsandTelecommunications,Nanjing 2 10 0 0 3,China |
| |
| Abstract: | |
| |
| Keywords: | Human computer interaction Multi thread dialogue Petrinet Concurrent model Specification design |
| 本文献已被 CNKI 等数据库收录！ |
