逆向工程中UML活动图的呈现技术研究

在获取动态信息的基础上，研究了UML活动图的呈现技术，给出在Rose中呈现活动图的算法，论述了表示进程创建关系的Fork类型动态信息和表示进程同步关系的Wait类型动态信息的呈现和基于对象流的进程间通信关系呈现。最后，通过实际的系统验证了该算法的有效性。     

基于Win32的多线程技术及其应用

在现代人机交互的通讯控制方式中，多线程技术的应用越来越广泛。讲述了现代操作系统中多线程与进程的关系，引进多线程的好处，线程间的同步和在Win32系统中如何对传统的单进程系统的改造，提高了系统的运行效率，改善用户的交互性。因为在同一个进程中的线程由于共享存储空间和文件，它们无须调用内核就可以通信，这样使得不同执行程序间的通信效率大大提高。另外多线程进程在创建新进程时，与没有使用线程的进程相比，进程创建的速度大大提高。     

利用SOCKET通信进程实现不同数据库间数据的同步

本文首先介绍了在实施信用监控系统时，存在着不同数据库间数据不同步的问题。为了解决这个问题，本文给出了一种新的解决办法：设计灵活的可方便扩充的接口表，利用SOCKET数据通信进程进行实时通信。文章还对SOCKET信息进程的步骤和接口表的设计进行了介绍。     

与主进程并发运行的串行通信程序设计

本文介绍利用环形数据队列结合中断技术来处理全双工串行通信数据，实现主进程与通信进程的并发运行，并尽可能地减少两进程之间的互相牵制，从而提高了ＣＰＵ的运行效率。文中详细给出了Ｃ语言源程序。     

基于i386结构的进程硬件模型分析及扩展算法

提出了i386体系结构支持的底层进程硬件模型。并给出了它的扩展模型及实现算法,以突破信息网络在硬件平台限制的条件下对进程最大数量的约束,有效解决新一代信息网络系统随机产生的大量并发进程进行海鞋通信的基本技术问题以及在通用计算机体系结构硬设计时必须考虑的问题。     

Linux下多进程编程

从进程定义出发 ,讲述 L inux下如何创建进程、结束进程、进程间的多种通信机制以及根据需求选择合适的通信方式。通过学习此文 ,初学者可以了解到编写多进程的步骤和方法 ,有经验的程序员可以编写出效率更高、安全性更好的多进程程序     

进程间通信COM组件的设计与实现

探讨了应用COM组件来封装进程间的管道通信,统一的组件接口屏蔽了局域网和本机间进程间通信的区别.在多种通信手段的调度系统的应用背景下,给出了完整的进程间通信设计方案和实现过程.     

基于COM原理的Rose扩充技术

项目工程的复杂性使得建模工具必须应对可能出现的各种新情况.为了保持开发过程的完整性,建模工具必须能适应工程环境的变化,即建模工具必须具有可扩充性以满足用户和工程的需要.文中以Rational Rose工具为例,在充分分析Rose扩充技术的原理的前提下,详细论述Rose的各种扩充方式,最后给出了Rose扩充技术在XDRE逆向工程工具中的应用.     

基于Petri网的分布式系统并发进程的死锁检测

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.     

基于进程代数EACSR-VP的通信模型的实现

介绍了进程代数EACSR—VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。     

分布式多媒体网络协作平台的研究

计算机支持的协同工作(CSCW)体现并符合信息时代人们工作的分布性、交互性和协同性的特征,涉及分布式系统、计算机通信、人机交互、人工智能和社会科学等诸多方面,因而日益受到人们的重视。文章结合CSCW技术提出了一个通用分布式多媒体网络协作平台的体系结构,分析了多媒体通信,用户协作信息管理,协同应用的并发控制机制等问题,最终实现了分布式、网络传输、多媒体技术在平台中的集成,并介绍了几个应用实例。     

UML在等级保护管理信息系统中的应用

给出了等级保护管理信息系统业务特点,运用UML语言的图形表达方式,分别从系统用例图、类图、状态图、顺序图对系统进行分析设计。提出建立动态数据库表结构的方法,并通过Rational Rose中的UML模型生成代码和数据表结构,系统的顺利实施表明提出的系统分析和设计方法取得了良好的效果。     

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri nets provide the foundation of the graphical notation and the basic primitives for modelling concurrency, communication, and synchronisation. Standard ML provides the primitives for the definition of data types, describing data manipulation, and for creating compact and parameterisable models. A CPN model of a system is an executable model representing the states of the system and the events (transitions) that can cause the system to change state. The CPN language makes it possible to organise a model as a set of modules, and it includes a time concept for representing the time taken to execute events in the modelled system. CPN Tools is an industrial-strength computer tool for constructing and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis. User interaction with CPN Tools is based on direct manipulation of the graphical representation of the CPN model using interaction techniques, such as tool palettes and marking menus. A license for CPN Tools can be obtained free of charge, also for commercial use.     

Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments

In this paper, we present a novel protocol for disseminating data in broadcast environments such that view consistency, a useful correctness criterion for broadcast environments, is guaranteed. Our protocol is based on concurrency control information that is constructed by the server and is broadcasted at the beginning of each broadcast cycle. The concurrency control information mainly captures read-from relations among update transactions. A salient feature of the protocol is that the concurrency control information is small in size, but precise enough for reducing unnecessary abortion of mobile transactions. The small-sized concurrency control information implies low communication overhead on broadcasting system. In addition, the computation overheads imposed by the algorithm on the server and the clients are low. We also address the reliability issue of wireless communication and the incorporation of a prefetching mechanism into our protocol. Simulation results demonstrate the superiority of our protocol in comparison with existing methods. Furthermore, we have extended our protocol to deal with local view consistency which requires that all mobile transactions submitted by the same client observe the same serial order of update transactions     

基于UML建模的考试信息系统研究

UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言,是面向对象建模领域的工业标准。介绍了UML统一建模语言及其建模工具Rational Rose,以考试信息系统为研究对象,分析了其需求和流程,并利用UML的用例图和顺序图及其建模工具Rational Rose对考试信息系统进行了建模。     

基于UML与Rational Rose开发的列车调度系统

探讨了用建模语言UML和由IBM开发的UML建模工具Rational Rose来开发的列车调度系统.进一步与阐述了用UML和Rational Rose建模的优越性.     

基于关系数据库的应急预案领域本体构建研究

鉴于领域本体在数字化预案中扮演的日益重要的角色,本文提出了一种基于关系数据库（relation database,RDB）的自动生成应急预案领域本体的构建方法。该方法通过数据库逆向工程工具Rational Rose抽取关系数据库的逻辑和概念模型,采用查询数据库系统表的方法抽取其物理模型,分析关系数据模型（relation data model,RDM）的关系及其模式间的规范及非规范关系来定义转换规则。实验证明,该方法可以有效地自动进行关系数据库到领域本体的建模,提高应急预案领域本体的构建效率,加速应急预案数字化的进程。     

基于UML的教务管理系统分析与设计

针对目前高校教务管理系统的实际需求和特点,结合UML,简述了使用RationalRose工具对教务管理系统进行用例建模、静态建模和动态建模等过程。     

基于UML的超市会员管理系统的设计与实现

该文使用统一建模语言UML对超市会员管理系统里的会员卡发行管理模块进行了需求分析和用例关系分析,使用Rational Rose 2003作为建模工具对模块建立了需求模型、静态模型及实现模型。采用了基于MVC模式的J2EE技术对系统进行设计,采用Struts架构来实现视图层、业务层和控制层的分离。