Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息.研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则.设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库.     

签名加密技术在公文系统中的应用

将基于PKI的签名加密技术应用到公文系统，并以UML交互图的方式详细介绍了公文流转中的签名、加密和签名加密过程。为在不同用户之间共享密文数据，设计了一套以密钥数字信封为核心的技术方案，并给出了密文共享中的加密、解密、增加共享人过程的UML交互图。     

UML在实时软件系统中的应用研究

UML是最广泛使用的面向对象建模语言，在实时系统中也得到了普遍的应用。不同的公司对UML在实时系统中的应用进行了不同的扩展。但是，OMG没有把任何一种扩展作为标准。文中将通过应用和研究对IBM Rational的B．Selic提出的UML／Realtime进行进一步的扩展，用一个航空电子系统中的例子详细说明扩展的意义和结果。     

基于进程代数的UML序列图的形式语义

UML序列图用于建模实例间动态交互过程．但UML规范并没有给出其形式化的动态语义，这不利于对模型进行形式化验证和证明。本文把序列图中的事件动作及其执行序列映射为进程代数中的进程表达式，利用进程代数语义框架来构建UML序列图的形式语义。首先，建立了序列图到进程代数的语义映射规则；然后用Plotkin风格的结构化操作语义给出并证明务件组合算子演绎规则；最后，归纳定义了算子次序约束条件并证明了其可终止性。     

一种UML2的交互的形式化语义

UML2(unified modeling language2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺。但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备。利用集合论以组合定义的方式形式化语义,并且证明了形式化后交互的语义为拟序集,此拟序集的线性化恰好就是规范所定义的轨迹集。此形式化语义可以作为UML2交互规范的很好的补充,不但有助于UML2交互的理解,还为UML2交互的应用和研究奠定了坚实的理论基础。     

以UML用例图为基础的系统需求分析

UML是目前面向对象程序设计中的一种标准建模技术，它被用作确定、可视化、构建和文档化一个软件系统的结构。本文主要探讨以UML用例图为中心及出发点，类图、交互图为实现手段，捕获高层次的系统功能需求的策略。     

基于形式化UML的教务管理数据库实现方法

利用统一建模语言(UML),实现了从高校教务管理类模式向教务管理关系数据库数据模式的转换.首先,以学籍管理系统为例,用UML的用例图、序列图、类图对其进行了建模.然后,在类的设计过程中,借助面向度量的UML的代数表达框架,检测了一些类模式的设计错误,对类模式进行了一些优化.最后,运用类图中类间的几种关系在关系数据库中的实现策略,建立了学籍管理数据库中的表.     

UML2．0顺序图的XYZ／E时序逻辑语义研究

UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。     

UML及面向对象的分析与设计的研究

详细阐述了UML本身的特点和一些容易混淆的概念。对支持UML建模的各种工具和UML中的各种框图,也进行了详细的介绍。根据成、德、绵区域网络化制造系统的分析和设计经验,清晰地说明如何用UML来完成一个系统分析和设计,深入地研究了建模过程所需要用到的框图和各框图之间的关系,对面向对象的分析和设计有很强的指导性。     

基于UML图组的软件性能测试

针对软件性能测试的难点一直是快速、准确地得到有效信息,并使性能评价贯穿整个开发周期.利用UML多图组合的方式来进行系统描述,以期充分利用UML的扩展来携带所需的性能信息,避免单一UML图描述系统的片面性;以消息走向为主线,采用多图组合的方式提供完整的系统架构.给出了不同角度下的UML图组合规则,主要研究了根据工作流程进行划分组合或者根据对象的状态来进行图组合两种方式,并给出了各个图例在组合中的作用以及各个图例之间的信息交互.     

CAN与RS232转换节点的设计与实现

介绍将CAN总线接口与RS232总线接口相互转换的设计方法和2种总线电平转换关系,实现CAN总线与各模块的接口设计,制定了相应的软硬件设计方案,并给出软件设计流程图以及部分硬件设计原理图。为CAN总线与RS232总线互联提供了一种方法,对CAN总线与RS232总线接口设备的互联和广泛应用的实现具有重要意义。     

Building an interconnection between PROFIBUS and ATM networks

In this paper, a method describing connection between PROcess Field BUS (PROFIBUS) and asynchronous transfer mode (ATM) systems is presented. The proposed method reveals the usage of ATM at the cell level of the CIM architecture. This leads to the fact that a new bridge based on PROFIBUS and ATM features should be designed. This study is concerned with not only PROFIBUS and ATM interconnection requiring worst-case translation and solution issues (unmatched services, flow diagram, etc.) but also the performance analysis of the model provided CACI Network II.5.     

GRX在GPRS国际漫游网络中的应用

介绍了GPRS网络的网络结构以及不同PLMN进行互联的2种方式,介绍了使用GPO（互联的主要优点以及GRX平台在网络互联,网络服务,流量监控以及业务管理等方面的主要功能;同时结合中国联通GPRS国际漫游数据业务的实际情况,重点介绍了GPX平台在中国联通开展GPRS国际漫游数据业务中的引入和应用情况。     

A fluidic interconnection system for polymer-based microfluidic devices

A microfabricated fluidic interconnection system for polymer-based microfluidic nebulizer chips is presented and discussed. The new interconnection mechanism can be used to make fluidic connection between external capillary and the polymer microfluidic chip. The connector mechanism was fabricated using a combination of mechanical milling and laser micromachining. Preliminary leakage tests were performed to demonstrate that the interconnection system is leak-free and pressure tests were performed to evaluate the burst pressure (maximum working pressure). The interconnection system has several advantages over commercially available Nanoport™ interconnection system. The new fluidic interconnection system implemented onto a microfluidic nebulizer chip was successfully tested for desorption electrospray ionization mass spectrometry applications. The performance of the chip using the new connector mechanism was excellent demonstrating the usability of the new connector mechanism.     

Upper bounds on the connection probability for 2-D meshes and tori

Mesh is an important and popular interconnection network topology for large parallel computer systems. A mesh can be divided into submeshes to obtain the upper bounds on the connection probability for the mesh. Combinatorial techniques are used to get closer upper bounds on the connection probability for 2-D meshes compared with the existing upper bounds we have known. Simulation results of meshes of various sizes show that our upper bounds are close to the exact connection probability. The combinatorial methods and tools used in this paper can be used to study the connection probabilities for other networks.     

Information Anarchy and the Control of Cryptography

Abstract

Extranets have been around as long as the first rudimentary LAN-to-LAN networks began connecting two different business entities together to form WANs. In its basic form, an extranet is the interconnection of two previous separate LANs or WANs with origins from different business entities. This term emerged to differentiate previous definitions of external “Internet” connection and a company's internal “intranet.” Exhibit 1 depicts an extranet with a Venn diagram, where the intersection of two (or more) nets formed the extranet. The network in this intersection was previously part of the intranet and now has been made accessible to external parties.     

Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications

Logic can be used to precisely express human thoughts and inferences. In this paper, an approach using first-order logic for knowledge representation of software component interconnection information to facilitate the validity and integrity checking of the interconnection among software components during software development or modification is presented. Directed graphs are first used to model the structure and behavior of a large-scale software system, and a first-order theory of directed graphs (the DG theory) is established. The interconnection behavior among software components in a large-scale software system is a directed graph which is called software component interconnection graph (CIG). The behavior of the CIG is interpreted using the DG theory and translated into logic representation. The translated logic representation is a set of logic clauses and can be considered as a set of axioms. Automated reasoning techniques based on these axioms can be used to perform the validity and integrity checking of software properties in the software development or maintenance phase.     

视频监控平台的互联应用研究

针对非标准协议监控平台互联互通的问题,提出了一种基于SIP ( Session Initiation Protocol,会话初始协议)协议的平台互联方案,并通过该方案搭建了一个系统管理平台,实现了平台接入和监控资源共享。首先用代理的方式进行两个监控平台的注册连接,然后建立会话通道和媒体流传输通道。会话通道用于平台间建立会话并传输系统控制命令,采用SIP协议建立会话并控制命令转发;媒体流通道用于传输视音频数据,采用UDP(User Datagram Protocol,用户数据报协议)协议进行数据流的转发,从而实现两个平台的监控资源共享。     

异构网络MMS互联的形式化描述,分析及实现

在简述ＭＭＳ协议规范和服务定义的基础上，根据ＭＭＳ的状态转换图，对互联异构网络的网关机进行了设计和描述，并利用Ｐｅｔｒｉ网对异构网络ＭＭＳ互联进行描述和分析。在此基础上实现了应用于ＣＩＭＳ环境的异构网络ＭＭＳ通信系统。