基于Petri网的超媒体形式化模型

针对演播类超媒体提出一处基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ,它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

协议工程形式化方法的研究及辅助设计工具的实现

采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

递阶着色Petri网在面向对象设计中的应用

基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用,在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上,分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模,同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法,并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模,最终指导控制软件的开发．     

一种扩充的面向对象 Petri 网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动——ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

面向对象扩展着色Petri网在装配系统中的应用

根据面向对象思想，提出了面向对象扩展着色Ｐｅｔｒｉ网模型。该模型一方面，具有通用性，可重用性和易扩生；另一方面，具有简单性，直观性。很好地解决了传统的Ｐｅｔｒｉ网所面临的问题。     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

面向对象数据库的逻辑设计方法

提出面向对象数据库的逻辑设计方法,并且通过一个实例对方法的可行性进行了检验,此方法对传统的ER模型进行了扩展,加入了继承、构成、消息传递、方法等成分;提出了较为规范的根据陈述需求的资源文本生成扩展的ER模型的方法,包括概念提取、概念分析、分析形式化、确定概念模型等步骤;提出了较为规范的由扩展的ER模型生成面向对象数据库的数据结构的方法,包括消息传递的实现方法和联系的实现方法,以及拥有实例的类的确定法则。     

面向对象分析建模策略及相关讨论

首先介绍了面向对象的软件分析建模的重要性;并在分析比较目前流行的几种面向对象分析建模策略的基础上,着重介绍了在开发青鸟系统系列工具中采用的一种基于面向对象技术的分析建模策略;对分析建模过程中涉及的一些关键问题进行了探讨.     

Object-oriented Integrated Multi-view Modeling Approach in CIMS

Ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＩｎｔｅｇｒａｔｅｄＭｕｌｔｉ－ｖｉｅｗＭｏｄｅｌｉｎｇＡｐｐｒｏａｃｈｉｎＣＩＭＳ￥ＣｈｅｎＪｉａｄｏｎｇ，ＸｉｏｎｇＧｕａｎｇｌｅｎｇ陈加栋，熊光楞（ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｏｎ，ＴｓｉｎｇｈｕａＵｎ...     

面向对象的软件测试研究

在对面向对象程序设计进行分析的基础上，提出了面向对象的软件测试方法的实现途径，以及面向对象的软件测试的内容和步骤。     

面向对象的数据结构教学思想及教学方法的研究

在分析了面向过程程序设计思想与面向对象程序设计思想的区别的基础上,阐述了引入面向对象数据结构教学的必要性,并对教学途径和教学方法进行了深入的研究。     

Research on object-oriented SOC design methodology

The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.     

面向对象软件耦合的度量和验证

在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出耦合、I/E耦合,单向耦合、双向耦合和无耦合等6种耦合情况,并根据程序切片计算信息流的绝对量和信息流的宽度,进一步在此基础上计算面向对象程序中2个组件之间的耦合系数和某个组件自身的耦合度.最后通过理论证明和经验分析的方法验证了基于程序切片耦合度量的正确性和有效性.     

基于UML的快速原型化开发

随着计算机的普及和发展,人们对信息管理系统软件的需求日益增多,应用程序内部的业务逻辑也日益复杂。所以要求开发方法既能够满足软件系统的庞大、复杂的要求,又能满足制作规范、快速、低成本的要求。面向对象化是新一代软件技术发展的标志,为大规模的系统完成庞大繁杂的功能,提供了快速开发的基础。利用面向对象技术可以提高软件生产力,高质量地开发应用程序。为了达到这种效果,基于UML这种图形设计语言,采用面向对象方法进行原型开发,为软件开发的规范化、快速化提供了必要的基础和手段。     

面向对象思想在手机开发平台中的应用

为了把面向对象的分析和设计方式引用到手机开发平台设计中,利用模块化的设计思想提供良好设计公共接口,进行接口与实现的分离,从而实现手机软件开发的模块化以及解决手机开发平台对功能需求相对复杂、数据结构相对简单,但时实性和效率要求较高的问题。本文在面向对象分析思想的基础之上,采用了SINGLETON 设计模式,并提出了三种封装和访问机制,将接口与实现有效分离。另外通过到结构化编程环境的映射,在C语言环境下实现面向对象思想和三级封装和访问机制的方法,为软件开发模块化。实现证明,上述策略可以提高手机功能开发的扩展性以及降低后期系统维护的工作量。     

基于知识的工件物流系统调度模型构造与实现

将Petri网与专家系统相结合，采用面向对象的方法，建立了工件物流系统模型．文中还介绍了基于模型的各种策略实现方法并开发了相应的软件，最后给出了仿真实验．仿真实验结果表明，该模型结构简单，且建模方法容易实现专家系统与Petri网相结合，容易实现调度策略的柔性化和专家系统基于知识的分析咨询功能．