基于面向对象Petri网人机交互行为描述的研究.pdfVIP

Ⅱ 交互行为模型 基于面向对象Petri网人机交互行为描述的研究 刘彩红 卢雷 罗卫国 山东大学计算机科学与技术学院，山东济南，250061 摘要：用面向对象Petri网的结构和执行语义描述人机交互的静态结构和动态行为，充分利 用Petri网和面向对象技术的优点，从形式化、可视化的角度描述交互行为的建模过程，降低 了人机交互建模的复杂度，增强了建模系统的可重用性，并以图形编辑器为例进行了验证。 关键词：OOPN；用户界面；交互行为设计 1．引言 人机交互行为的抽象描述在整个软件开发过程中非常重要，但一般人机交互抽象描述 方法主要用于描述用户界面的布局和风格，如控件的外观和在窗口中的位置等静态特性， 缺乏对人机交互动态行为部分的描述，如操作控件以及操作后的结果。本文引入Petri网以 更好地描述用户界面的静态结构和人机交互的动态行为。 Petri网…由库所和变迁组成，其中库所表示属性，变迁表示变化，可以自然地用于描 述人机交互的静态特性和动态行为。Petri网又是一种可图形化的形式化开发方法，适合人 着系统复杂度的增加，模型中所使用的库所和变迁增多，使建立的模型比较复杂，难以理 解；②难于描述系统中的某些特殊情况，如操作对象之间的行为抑制等；③对系统的依赖 程度比较高，修改和维护比较困难，可重用性差。为了解决上述问题，提出了面向对象Petri Petri Net，OOPN)的概念。 网(Object—Oriented 系统中的各个对象及其关系，以提高系统模型的可维护性和可重用性。目前，它在柔性制 造系统中的应用比较多，其中的对象一般指的是物理对象，用户的干预比较少，因此控制 过程相对简单；本文主要探讨如何用OOPN描述人机交互行为，并通过实例给予验证。 2．面向对象Petri网 一般应用系统的人机交互都是通过用户界面来体现。界面可抽象表示为操作对象和操 作对象之问的关系。其中，操作对象是指在人机交互中用户可以获得信息或进行操作的对 联系作者：刘彩红，E-mail：hanyu—lch@163．com：卢雷，E-mail：lulei@sdu．edu．C11 II 交互行为模型 279 象，如界面、标签、按钮、编辑框等。操作对象之间的关系用来描述人机交互的动态行为， 即界面上的操作对象是如何相互影响、相互制约的，其结果反映的是人机交互过程中操作 对象的外观和行为变化。如何将OOPN的元素与用户界面的语义相关联，并用Petri网的 结构和执行语义描述人机交互的静态特性和动态行为是本文的重点。 OOPN的形式定义lj’4J： 定义l面向对象Petri网S由子网以及子网之间的消息传递关系组成，是一个二元组， 息传递关系的非空有限集合。 建模时，OOPN表示系统的人机交互界面，子网表示界面上的操作对象。 定义2子网厶是一个六元组厶=(S，巧，鸠，E，e，％)。 其中，＆为子网内部的库所(Place，用圆形表示)集合。表示对象的状态，通常用对 象的属性值描述对象的状态。 Z为子网内部的变迁(Transition，用矩形表示)集合。表示引起对象状态变化的活动， 一般对应于对象的方法，可以关联一个事件(用【R]表示)，如鼠标和键盘操作等。 Interface，用椭圆表示)集合，是一种特殊类型的库 M／i为对象的消息接口(Message 所，包括消息接收接口与消息传递接口，分别与对象内的某个变迁的输入弧和输出弧相连， 通过它们可以响应外部消息提供服务或向外部发送消息请求服务。 F为流关系(Flow，用带箭头的弧线表示)集合。流关系指示子网内部的库所和变迁之 间以及变迁和消息接口之间的连接关系，每条弧上可以有相应的弧表达式，用以决定要移 动的token的颜色。 C：为颜色集合，定义了Petri网的组成元素的颜色。其中：C(S)是库所的颜色集，表 示库所可以容纳的token的颜色；C(旭)是消息接口的颜色集，表示消息接口可以容纳的 token的颜色。 坛为初始标识，表示子网内token的初始分布。 一种特殊类型的变迁，连接两个子网之间