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

给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以ＡＩＰ单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上，人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下，Ｐｅｔｒｉ网对并发性的描述能力及模型引入的语义活动异步执行机制，能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里，着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。