反射式实时集成中间件

反射式实时集成中间件主要研究一类适应于分布式实时应用环境中软件合成与软件集成的构件粘合剂.这种中间件基于反射技术设计,用于分布式实时领域里实时构件间的粘合与集成,并能维护这些构件间交互协作环境的时间约束特征,保障环境变化的动态性和适应性以及降低协同工作环境中通讯机制的耦合度,实践软件复用思想在分布式实时应用领域中的应用.     

软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

一种基于构件模型的分布式实时应用程序设计方法

本文提出了一个具有平台独立性，同步与分布特性的构件模型，阐明了模型的结构、构件活动以及利用该模型进行分布式实时应用程序设计的方法。     

基于上下文相关的构件求精方法

为了有效地复用构件,首先提出了上下文有关的求精文法,并为此对上下文和上下文相关概念进行了重定义;接着将该文法引入到体系结构求精中,并从结构、行为、属性方面对构件求精进行了分析,然后为基于上下文有关的构件求精方法建立了模型,阐述了构件求精的过程;最后通过实例进一步说明了该求精方法。     

基于上下文相关的软件体系结构求精方法

为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程.最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型.     

基于组织干部人事管理领域的构件库管理系统

近年来,我国各级政府部门对组织干部人事管理系统的需求与日俱增.为了应对大量的系统开发需求,希望通过对组织干部人事管理领域的分析,设计生产出基于组织干部人事管理领域的软件构件,并进行构件的管理与组装,最终快速生成用户期望的组织干部人事管理系统.为了解决当前通用构件库无法适应组织干部人事管理领域需求的问题,设计建立了基于组织干部人事管理领域的构件库管理系统.文中分析了领域工程以及软件构件库的研究方法,根据组织干部人事管理领域的领域特性,建立起一套专有的构件库管理系统.     

分布式集成化CAD系统框架

软件复用已成为软件工程领域的研究热点之一。本文介绍了一个客户机／服务器结构的分布式集成化ＣＡＤ系统框架和基于此框架建造的分布式集成化商业设计ＣＡＤ系统。阐述了框架构件的制作方法和原则，并展示这种较大粒度的可复用构件在特定应用领域的效益。     

面向领域的软件构件技术研究

广州市软件协会与广州市各大高校合作,于2005年初开始了广州市软件构件库的建设.该项目的目标是研发面向领域的软件构件库、构建软件构件库管理系统、形成面向领域的构件化应用系统.软件构件库建设的一期任务是医院管理领域应用.一期工程目前已经顺利完成,各项指标均达到预定目标.广州市软件构件库的建设,对面向领域的构件库的研究具有一定的参考价值.     

构件技术在电子战仿真系统中的应用

传统的软件开发方法无法为新系统的开发提供可复用的资源,且软件生产力和软件质量较低。软件复用技术是解决这些问题的有效方法,基于构件的软件复用技术是当前最流行和有效的复用技术。该文在对电子战仿真系统进行详细分析的基础上,研究了构件技术在电子战仿真系统开发过程中的应用。重点研究了电子战仿真构件的设计、实现,以及对构件的管理方法,最终实现了电子战仿真构件库,并在构件库的基础上实现了电子战仿真系统。文中引入了虚构件的思想,提高了构件的复用率。     

基于角色的构件合成

构件合成技术已成为软件复用研究的热点,本文给出了一种基于角色的构件合成方法,并讨论了基于该方法的构件的逻辑合成和物理合成两种合成方式。该方法通过引入角色有效地描述了各个子构件所提供的功能服务之间的交互关系,这种方法自身的特点使其既适用于进行本地构件的合成也适用于进行分布式的构件合成。     

A formal software development approach using refinement calculus

The advantage of COOZ(Complete Object-Oriented Z) is to specify large scale software,but it does not support refinement calculus.Thus its application is comfined for software development.Including refinement calculus into COOZ overcomes its disadvantage during design and implementation.The separation between the design and implementation for structure and notation is removed as well .Then the software can be developed smoothly in the same frame.The combination of COOZ and refinement calculus can build object-oriented frame,in which the specification in COOZ is refined stepwise to code by calculus.In this paper,the development model is established.which is based on COOZ and refinement calculus.Data refinement is harder to deal with in a refinement tool than ordinary algorithmic refinement,since data refinement usually has to be done on a large program component at once.As to the implementation technology of refinement calculus,the data refinement calculator is constructed and an approach for data refinement which is based on data refinement calculus and program window inference is offered.     

Hierarchical message bus-based software architectural style

As the size and complexity of software systems increase, the design and specification of overall system structure become more significant issues than the choice of algorithms and data structures of computation. An appropriate architecture for a system is a key element of its success. Based on the practice of Jadebird software production line, this paper proposes a software architectural style based on hierarchical message buses, named JB/HMB. In this style, the component model consists of external interfaces, static structure and dynamic behavior, which depicts a component from different aspects. Supported by message buses, components interact with one another by messages, which can be used to describe distributed and concurrent systems well. JB/HMB style supports stepwise decomposition and refinement, and runtime system evolution. Finally, characteristics of JB/HMB style are summarized as a conclusion, and future research directions are specified.     

Reasoning about Action Systems using the B-Method

The action system formalism has been succesfully used when constructing parallel and distributed systems in a stepwise manner within the refinement calculus. Usually the derivation is carried out manually. In order to be able to produce more trustworthy software, some mechanical tool is needed. In this paper we show how action systems can be derived and refined within the B-Toolkit, which is a mechanical tool supporting a software development method, the B-Method. We describe how action systems are embedded in the B-Method. Furthermore, we show how a typical and nontrivial refinement rule, the superposition refinement rule, is formalized and applied on action systems within the B-Method. In addition to providing tool support for action system refinement we also extend the application area of the B-Method to cover parallel and distributed systems. A derivation towards a distributed load balancing algorithm is given as a case study.     

软件体系结构求精方法研究

1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年的理论探索和工程实践,也逐渐形成了一系列不同结构风格的软件体系结构。如UNIX操作系统中的管道一过滤器(pipe-filters)风格、分布式系统中典型的客户机/服务器(client/server)风格以及通信系统中的分层(layer)系统等等。     

CORBA构件模型在分布式体系结构中的应用

构件技术是目前软件开发的主流技术，CORBA构件模型是具有代表性的构件模型之一，分布式多层应用系统已成为目前重要的系统结构。文章讨论了基于CORBA构件模型和分布式多层体系结构的软件开发技术在一个分布式信息系统(即某钢管铸造企业管理信息系统)中的应用，并给出了设计步骤及形式化描述。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足,将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中,结合抽象层次和层次视图,提出了一个基于求精的软件体系结构设计方法——ARSADM,给出了其关键步骤和过程,用于指导软件体系结构的正确设计。     

基于Agent的分布仿真平台原型系统设计与实现

基于Agent的分布仿真是基于Agent的建模与仿真ABMS(Agent-Based Modeling and Simulation)研究的重要组成部分。在提出的基于Agent的分布仿真软件框架和通信系统设计与实现的基础上,利用Java语言和面向对象的方法设计实现了一个基于Agent的分布仿真平台原型系统ADSimE。介绍了该分布式仿真平台的主要实现细节,给出了全系统的主要Agent类的UML设计,重点阐述了保守策略仿真Agent类和乐观策略仿真Agent类的设计、处理流程以及KQML消息解析的实现细节。最后以闭合排队网络为例,说明了怎样在该环境下进行基于Agent的分布仿真应用的开发。     

基于UML的CORBA/Java分布式应用系统的领域模型设计

探讨了一种借助UML构建的基于CORBA/Java的分布式应用系统建模方法以及相关技术.研究设计了分布式应用系统的软件模型,使用UML建模方法完成了系统分析、设计和建立领域模型的全过程.通过一个具体实例给予详细说明,实例表明,利用UML对复杂的软件系统建模,有助于实现软件的重组和复用,为快速、高效地构建系统提供了一种可行的解决方案.     

基于Event-B方法的安全协议设计、建模与验证

随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM（trusted platform module）的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证.