形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

基于UML描述的“4＋1”视图模型及应用

由于软件体系结构的描述方法多种多样,各种工具不仅涉及不同领域,而且描述方法不尽相同,给系统选择一种合适工具描述体系结构带来了难度。统一建模语言The Unified Modeling Language（UML）是一种被广泛采纳的可视化建模语言,它对系统结构的共同特征用相关语义、符号、图形加以描述。本文以UML描述为基础,建立软件体系结构“4 1”视图模型,从系统的多个视图描述软件体系结构出发以后提高软件开发效率、平均软件质量与开发周期的矛盾。本文结合“4 1”视图模型给出“综合报警系统”在ROSE2000中的部分实现过程。     

基于UML的软件体系结构描述方法研究

对基于UML(Unified Modeling Language)的"4+1"视图模型进行描述,从场景、概念视图、过程视图、构件视图、物理视图5个视角完整的描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明:它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

基于排队网络的VoIP信令解析系统性能分析

基于软件性能模型的软件性能评估可以应用在软件研发周期的早期阶段,以便对软件系统的行为进行定量分析。该文给出一种应用排队网络模型对VoIP信令解析软件体系结构性能的评估方法。该方法的基本思想是：从基于UML描述的活动图导出多类排队网络性能模型,通过统计分析将得出的性能参数反馈给UML软件体系结构模型,不断完善体系结构设计。模型提供的统计性能评估方法克服了受限估计离散事件分析的局限性。     

基于UML的多视图软件体系结构描述方法研究

提出一种新的基于UML(unified modeling language)的多视图模型,即“6＋1”视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

UML与软件体系结构描述语言之间的转换机制研究

形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。     

可控网络中多Agent系统信念可达性和收敛速度分析

在可控网络中,利用多agent系统是网络控制的一种重要方法.在可控网络中,多agent系统中所有agent持有的信念必须在决策前达到与网络实际状态一致,即多agent系统的信念应具有可达性,是实现网络合理控制的基础.传统的基于agent行为的信念更新模型建模过程复杂,不适合在网络控制中直接分析多agent系统信念的可达性和收敛速度.基于传统的信念更新模型,提出了信念距离的概念,并在该概念的基础上提出了新的多agent系统信念距离更新模型,并证明了该模型的合理性.该模型对多agent系统信念距离更新过程加以描述,利用线性系统对多agent系统信念收敛过程进行描述,简化了对多agent系统信念可达性和收敛速度分析的复杂性.在该模型基础上,对网络控制中多agent系统信念可达性和收敛速度进行了分析,给出了判断多agent系统信念可达性的充要条件和收敛速度的上限.另外,针对全耦合网络和无标度网络两种复杂网络的特点,分别对两种网络下多agent系统信念可达性和收敛速度进行了讨论.提出的信念距离更新模型具有良好的适应性,为判断多agent系统的信念可达性提供了有力的工具.     

基于UML和XYZ/E的ATM系统体系结构描述

本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。     

IN/IP互通模型中多协议接入网关的软件体系结构设计

多协议接入网关是实现智能网与IP网互通的网络实体。该文提出了多协议接入网关的软件体系结构的设计方案,并描述了系统动态演化的方法,给出了软件体系结构的形式化描述。     

政策导向型多agent协同系统研究*

为了使多agent协同过程可控、有序的进行,克服传统多agent系统灵活有余而可控制性不足的缺点,提出以动态约束和调整系统行为的政策为管控手段的政策导向型多agent协同系统。首先阐述了政策导向型多agent协同系统原理,给出该系统的体系结构以及各个子结构的描述;然后介绍该多agent的原型系统,通过对运行实例的描述,验证了系统的可控制和易管理特性。     

A Reusable Multi-Agent Architecture for Active Intelligent Websites

In this paper a reusable multi-agent architecture for intelligent Websites is presented and illustrated for an electronic department store. The architecture has been designed and implemented using the compositional design method for multi-agent systems DESIRE. The agents within this architecture are based on a generic information broker agent model. It is shown how the architecture can be exploited to design an intelligent Website for insurance, developed in co-operation with the software company Ordina Utopics and an insurance company.     

基于Web Service的多代理系统的研究

为了更好地适应软件智能化和分布化的发展需要,在阐述了多代理系统的主要特点和Web Service的核心概念的基础上,提出了基于Web Service的多代理系统的体系架构。架构很好地融合了代理技术与Web Service各自的优点,能够更加高效地构建出应用于发布环境中的开放的、动态的、健壮的多代理系统。     

基于SOA的多Agent协商服务及其应用

在简述一种融合了面向服务架构和多Agent协商系统特点的新的协商模型——基于面向服务架构的多Agent协商模型的基础上,设计了该协商模型的多Agent协商服务端,阐述了Agent中协商推理机在协商中的基本过程。面向服务架构的协商服务端与协商Agent管理平台组合起来,搭建起支持开放环境并开展协商的软件应用环境,实现了基于面向服务架构的多Agent协商模型在电子商务中的 应用。     

基于多Agent的网上教学模型的研究

Agent是人工智能和计算机软件领域的一种新兴的技术,智能Agent技术近年来有了很大的发展,本文基于多Agent技术构建了一个网上教学系统模型,为学生和教师提供虚拟教学环境,实现学生之间的协作化学习。     

基于多Agent的网上教学模型的研究

Agent是人工智能和计算机软件领域的一种新兴的技术,智能Agent技术近年来有了很大的发展．本文基于多Agent技术构建了一个网上教学系统模型,为学生和教师提供虚拟教学环境,实现学生之间的协作化学习。     

基于Multi-Agent的 GDSS的研究

在互联网环境下分析了基于Multi—Agent GDSS的可行性,介绍了GDSS及Agent的概念和结构体系,给出了一个基于Multi—Agent的分布式GDSS的框架模型结构及相关技术,研究了用于GDSS的Multi—Agent协同工作的体系结构通信机制。     

Agent-based reconfigurable architecture for real-time object tracking

Most conventional object tracking algorithms are implemented on general-purpose processors in software due to its great flexibility. However, the real-time performance is hard to achieve due to the inherent characteristics of the sequential processing of these processors. To tackle this issue, a reconfigurable system-on-chip (rSoC) platform with microprocessors and FPGAs is applied in this paper. To simplify the hardware/software interface, a Belief–Desire–Intention (BDI)-based multi-agent architecture is proposed as the unified framework. Then an agent-based task graph and two heuristic partitioning methods are proposed to partition the hardware and software on an rSoC platform. Compared to the module-based architecture, this BDI-based multi-agent architecture provides more efficiency, flexibility, autonomy, and scalability for the real-time tracking systems. A particle swarm optimization (PSO)-based object detection and tracking algorithm is applied to evaluate the proposed architecture. Extensive experimental results of object tracking demonstrate that the proposed architecture is efficient and highly robust with real-time performance.     

多Agent系统理论及其应用研究

随着信息技术的飞速发展,应用软件变得越来越复杂,其智能化程度也越来越高。多Agent技术就是在此背景下应运而生的,并迅速成为软件工程领域的一个研究热点。在介绍Agent定义和特点的基础上,全面阐述了多Agent系统的体系结构和两种主要的Agent通信语言（KQML,FIPA-ACL）,最后对多Agent系统的主要应用做了详细论述。     

Specifying distributed multi-agent systems in chemical reaction metaphor

This paper presents an application of Chemical Reaction Metaphor (CRM) in distributed multi-agent systems (MAS). The suitability of using CRM to model multi-agent systems is justified by CRM's capacity in specifying dynamic features of multi-agent systems. A case study in an agent-based e-learning system (course material updating) demonstrates how the CRM based language, Gamma, can be used to specify the architectures of multi-agent systems. The effectiveness of specifying multi-agent systems in CRM from the view point of software engineering is further justified by introducing a transformational method for implementing the specified multi-agent systems. A computation model with a tree-structured architecture is proposed to base the design of the specified multi-agent system during the implementation phase. A module language based on the computation model is introduced as an intermediate language to facilitate the translation of the specification of multi-agent systems. The multicast networking technology pragmatizes the implementation of communications and synchronization among distributed agents. The paper also discusses the feasibility of implementing an automatic translation from the Gamma specification to a program in the module language. This work is supported by University of Houston-Downtown Organized Research Committee.     

一种基于WEB服务的安全多代理模型

文章介绍了一种基于WEB服务的安全多代理模型,在阐述了多代理系统的主要特点和WEB服务的核心概念的基础上,介绍了该模型的组成、功能和各部分之间的协同交互。该模型很好地融合了多代理技术与WEB服务各自的优点,能够更加高效地构建出应用于发布环境中的安全的、健壮的多代理系统。