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

An Approach to Designing Event driven User Inter face Specification

作　　者：陈慧南[1] 

机构地区：[1]南京邮电学院计算机科学与技术系,江苏南京210003

出　　处：《南京邮电学院学报》1999年第4期50-53,共4页Journal of Nanjing University of Posts and Telecommunications(Natural Science)

基　　金：原邮电部科研基金资助项目 !( 94部预研 2 6 )

摘　　要：给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上。人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。Theintentionofthispaperistoprovideanapproachtodesigninguserinterfacespecificationfrom realhuman computerinteractionbehaviors.Theapproachisbasedonobject orientedarchitecturemodelwith AIPasbasicunitaswellastheextendedcolorednetworkdialoguemodel.Human computerinteractionbehaviors aredefinedbyactionorderingexpressions.Asaconceptualspecification ,itcanbetransformedintocolorednet workdialoguemodeleasily .Withthesupportofevent drivenconcurrentandmulti threadapplicationenviron ment,theconcurrencydescriptioncapabilityofPetrinetsandthemodelintrolucedasychronoussemanticsactivity executionmechanismallowthenaturalandflexibleimplementationofmulti threaddialogueandconcurrentexe cutionofuserinterfaceandapplicationprocedures.Herethecolorednetworkplaysdualrolesasbothhuman com puterinteractionspecificationmodelandexecutionmodel.Suchanexecutablespecificationmodelsmoothsthe transitionfromsystemspecificationtoimplementation .

关 键 词：用户界面 规范设计 事件驱动 程序设计 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]