刘彩红
- 作品数:4 被引量:5H指数:2
- 供职机构:山东大学计算机科学与技术学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于面向对象Petri网人机交互行为描述的研究
- 用面向对象Petri网的结构和执行语义描述人机交互的静态结构和动态行为,充分利用Petri网和面向对象技术的优点,从形式化、可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图...
- 刘彩红卢雷罗卫国
- 关键词:OOPN用户界面
- 文献传递
- 面向对象Petri网的约简和系统死锁的检测被引量:2
- 2009年
- 提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。
- 孙冬梅卢雷刘彩红
- 关键词:面向对象PETRI网死锁
- 基于面向对象Petri网人机交互行为描述的研究
- 用面向对象Petri网的结构和执行语义描述人机交互的静态结构和动态行为,充分利用Petri网和面向对象技术的优点,从形式化、可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图...
- 刘彩红卢雷罗卫国
- 关键词:OOPN用户界面面向对象
- 文献传递
- 基于面向对象Petri网的用户界面描述方法的研究
- 对于人机交互要求比较多的应用系统,用户主要通过用户界面与系统进行交互,一个系统能否被接受在很大程度上取决于其用户界面的质量。因此,对用户界面的交互行为进行抽象描述在整个软件开发过程中非常重要,可以更好地概括现实世界,方便...
- 刘彩红
- 关键词:PETRI网面向对象OOPN用户界面交互行为
- 文献传递