一种面向对象的协议开发方法

本文给出了面向对象协议设计的五个要素和应考虑的几个问题，提出了元协议概念和一个面向对象的协议开发过程模型，把协议开发活动划分成两上产域和应用开发，使协议部件生产工厂化成为可能。     

面向对象的H323协议栈分析与实现

随着网络的迅猛发展,传统的单快式通讯协议的开发已不能满足需要,该文提出了一种全新的方法—使用面向对象的建模技术,将模块化的H323通信协议设计为可构建、可重用和可扩展的H323协议栈。在该协议栈的实现过程中,巧妙地将面向对象中类的继承和多态性概念与通信协议的层次关系进行对应,以类的派生实现协议的依赖关系,并使用类的多态性实现底层协议对上层协议的通知机制。     

面向对象的模型管理问题

在使用面向对象方法的模型管理中，模型应解释为能根据对“消息“的接收及回答来执行各种模型管理功能的对象的集合。本文讨论了使用结构模型框架对构成模型的对象类进行划分的问题，并对执行各种模型操作所需要的协议进行描述。本文还就使用一个关系ＤＢＭＳ来实现面向对象的模型管理系统的可能性问题进行了探讨。     

现场总线协议的对象模型

面向对象的技术首先在软件开发中被成功应用。作为一种思维方式，把面向对象的概念用于对现场总线协议的定义和扫描，可以带来许多的好处，这里不仅对面向对象模型的现场总线的通用概念作了描述，而且还结合DeviceNet和ControlNet，对其在具体实现对象模型方面进行了简要分析。     

RSL应用于协议形式化描述的研究

在RSL形式语言的基础上扩充了时间描述机制，使其能够描述协议的实时性；并且根据该语言的特点．提出了一种面向对象的FSM模型(OOFSM)，该模型将面向对象技术与FSM相结合．既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题，又可以使所描述的协议具有可重用性、可组装性且易于维护；最后给出了一个实例说明OOFSM的建模过程．并用扩充的RSL进行了形式化描述。     

面向对象通信协议的设计与实现

文章介绍了如何利用面向对象技术构建模块化通信系统，并给出了作者设计的TCP模块化实例。     

DSP伺服控制系统软件设计

文章首先介绍了DSP伺服系统软件的模块化设计，改进系统信号流图，将软件模块与信号流图模块对应．以对软件进行增量式搭建；其次介绍了利用面向对象技术设计伺服系统的方法，根据面向对象要求确定对象．再给出关键消息定义，指出伺服系统软件使用面向对象设计时应注意的问题。     

面向对象的软件测试方法

文章针对面向对象软件具有的特征，给出一个面向对象的测试模型．详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略，以及相应的测试用例设计方法。     

基于面向对象时间Petri网的密码协议分析

利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。     

CAD系统的多任务模型

本文以实际系统为背景，利用Ｐｅｔｒｉ网建立分析ＣＡＤ系统的多任务模型。我们从最基本Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的调用模型出发，按调用关系扩展了两类多任务模型；有环模型和无环模型，并利用面向对象的观点提出了建构实用系数模型的模块化构造方法，同时还给出了一个简单的差错处理模型。     

XML消息传递协议的分析与研究

在XML消息通信架构中，传递协议是其中的重要一环。本文在讨论了目前已有方案的可行之处和存在的问题后，提出了一种利用面向对象方法来构建模块化的传递协议，为面向复杂电子商务、电子银行应用的XML消息传递提供了一种有效可行的方法。     

面向方面的信息系统建模方法及应用研究

随着面向对象软件开发技术的不断发展以及软件规模的不断扩大,系统地分析和设计变得日益复杂。软件开发过程中很难利用现有的编程技术（如面向对象编程、面向过程编程）对横切系统多个模块的关注点进行鉴别、理解和模块化。为解决面向对象开发方法中的耦合性较高、可重用性较低和代码分散等问题,将面向方面的编程思想引人到系统分析和设计阶段,提出了一种面向方面的信息系统建模方法。     

A PC-based open robot control system: PC-ORC

An open architecture manufacturing system pursues to integrate manufacturing components on a single platform. Therefore, a particular component can be easily added and/or replaced. In this paper, a modular and object-oriented approach for the PC-based open robot control (PC-ORC) system is investigated. A standard reference model for controlling robots, which consists of a hardware platform, an operating system module, and various application software modules, is first proposed. Then, PC-ORC system, which can reconfigure the control system in various production environments, is developed. The PC-ORC is constructed based upon the object-oriented method. Hence, it allows an easy implementation and modification of various modules. The PC-ORC consists of basic software, application objects, and additional hardware devices on a PC platform. Finally, by applying the proposed PC-ORC to a SCARA robot, the performance of the PC-ORC is examined.     

基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析

提出一种模块化的扩展Canetti-Krawczyk模型(简称meCK模型)以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证密钥交换协议的模块化安全模型,并证明所提出的安全定义蕴涵原始的扩展Canetti-Krawczyk安全.借助协议模块化分析的思想,设计了一种高效且在标准模型下可证明安全的认证密钥交换协议(简称UPS协议).在meCK模型下,UPS协议的安全性可有效归约到伪随机函数簇、目标抗碰撞Hash函数簇和GapDiffie-Hellman等标准密码学假设上.与其他标准模型下可证明安全的协议相比,UPS协议所需的密码学假设更弱、更标准,且指数运算次数降低了50%～67%.最后,UPS协议的构造与安全性验证了所提出的模块化方法的合理性和有效性,并解决了ProvSec09上的一个公开问题.     

高速传输接口协议分层模型研究

由于接口传输需求的多样性以及协议实现方法的封闭性,导致不同协议之间的互通性和可复用性较差。提出一种高速接口协议实现的通用性模型,根据处理对象在传输处理过程中的颗粒度变化,将接口传输协议分为传输规划层、帧传输控制层和物理传输层,并在各层实现时引入模块化设计,形成可复用的通用功能模块。高速接口协议的开放分层模型不但概括现有各种接口协议实现的基本要素,同时为其他接口协议设计提供了参考模型。     

公平电子合同协议的模块化设计方法

电子合同协议的研究越来越受到人们的重视。本文提出一种模块化的方法来设计公平电子合同协议。通过对电子合同的签定过程进行分析,定义了一套协议模块,利用这些模块可以有效地构造公平电子合同协议。该方法不仅能降低协议设计和分析的复杂度,而且使得设计者可以根据不同的应用需求,灵活地设计公平性程度不同的电子合同协议。     

面向对象的思想在虚拟仪器开发中的应用

按照模块化设计原则,将面向对象的思想应用于虚拟仪器的开发。通过将测试对象或者其操作抽象为相应类的实例,进而完成对表征这些客观对象的属性和操作的封装设计。应用这种思想,完成基于数据采集卡的硬件平台在Windows环境下利用Visual C＋＋6．0进行钻井液参数虚拟测试系统的开发,其中包括采集模块、被测对象、测试数据以及各种辅助模块的封装设计。工程实践证明,面向对象的思想能简化设计过程,开放仪器构架,便于系统的分析和移植。     

An interactive visual protocol simulator

A flexible protocol simulator is presented that supports interactive visual experimentation with protocols. The simulator is modular and allows ready addition of new protocols. Use of Java permits protocol simulations to be delivered via the web, and also to be developed in an object-oriented manner. A range of simulations is presented, covering link-level protocols to application-oriented protocols. The Trivial File Transfer Protocol is used to illustrate in detail how a protocol simulation is implemented.     

Research on Variable Structure Parametric Design System of Ceramic Tile Mould Based on Modular

To solve the existing problems during the ceramic mold enterprises product design and development process, the variable structure parametric design system based on modular of ceramic mold has been developed. The system uses the object-oriented technology and top-down design concept as a guide, establishes a ceramic mold parametric design process, divides the process of ceramic mold design into modules of different levels and creates a component model library based on the functional analysis. Expanding modular thinking to parts structure design level is an effective solution to the difficulty of changing the structure during the product design process. Examples show that the system can achieve a ceramic mold product design, improve design efficiency.     

A paris-model approach to modular simulation

The development of complex models can be greatly facilitated by the utilization of libraries of reusable model components. In this paper we describe an object-oriented module specification formalism (MSF) for implementing archivable modules in support of continuous spatial modeling. This declarative formalism provides the high level of abstraction necessary for maximum generality, provides enough detail to allow a dynamic simulation to be generated automatically, and avoids the “hard-coded” implementation of space-time dynamics that makes procedural specifications of limited usefulness for specifying archivable modules. A set of these MSF modules can be hierarchically linked to create a parsimonious model specification, or “parsi-model”. The parsi-model exists within the context of a modeling environment (an integrated set of software tools which provide the computer services necessary for simulation development and execution), which can offer simulation services that are not possible in a loosely-coupled “federated” environment, such as graphical module development and configuration, automatic differentiation of model equations, run-time visualization of the data and dynamics of any variable in the simulation, transparent distributed computing within each module, and fully configurable space-time representations. We believe this approach has great potential for bringing the power of modular model development into the collaborative simulation arena.