OOCPN在OOSD中的应用

引进了面向对象着色Ｐｅｔｒｉ网的概念。

面向对象Petri网建模技术综述

阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。

自动化仓库输送过程调度问题研究

自动化仓库中输送系统的工作过程具有典型的离散事件特征。本文基于面向对象着色Ｐｅｔｒｉ网（ＯＯＣＰＮ：Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＣｏｌｏｒｅｄＰｅｔｒｉＮｅｔｓ）模型，讨论了该过程的死锁分析问题，并给出了死锁避免的最大允许反馈控制策略。

面向对象着色Petri网在交互行为描述方面的研究

用面向对象着色Petri网的结构和执行语义描述人机交互的静态结构和动态行为,充分利用着色Petri网和面向对象技术的优点,从形式化、可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图形编辑器为例进行了验证,给出了面向对象着色Petri网在人机交互行为方面的具体描述,模型与实际系统中的对象可以相对应,易于理解和实现。

基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题,提出基于Petri网和组件技术的功能定制开发方法。采用面向对象着色Petri网实现档案管理的层次化建模,并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论,对模型进行合理性分析。通过模型提取组件,建立组件信息库。利用信息库结合用户定制的业务逻辑,实现系统对组件的有序调用,完成业务定制功能。应用结果表明,该系统定制灵活、适应性强、档案调用速度快,满足实际需要。

基于代数-时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .

基于面向对象层次Petri网的BSS建模方法研究

传统的电信业务支撑系统不能随外部需求的变化而进行相应的功能重组。本文结合业务能力封装的思想提出了一种基于面向对象的层次着色Petri网的业务支撑系统建模方法。该模型首层Petri给出了电信业务运营管理的总体框架,在次层Petri网子页中对综合计费账务系统的动态流程进行了详细的描述,最后以计费子页的Petri网模型为例,说明了如何提高模型的重用性,证明了该模型是可行的并能有效满足重组的要求。