基于Agent的建模技术研究

基于Agent的建模技术是对复杂系统进行问题求解的一种新方法.在面向Agent方法的基础上提出了"基于Agent的建模技术"方法,并针对这一技术方法从系统组织的角度进行了系统性的研究,详细分析了用这一方法建模的主要流程,还首次将这一建模技术运用于"网络坦克作战系统-协作故障诊断与技术维护系统"进行实例分析,根据系统的组织结构和组织目标,构建了3类Agent:系统接口Agent,故障分析Agent和故障区域分析Agent,系统通过3类Agent间的交互协作实现问题求解.最后讨论了应用该技术应注意的主要问题.     

面向主体设计方法研究

面向Agent方法是分析复杂系统问题空间的有效途径,它和面向对象技术的比较在很多方面具有巨大的优点,面向对象设计方法的一切优点都可以被面向主体所吸收和容纳,特别在用Agent技术解决问题的方法及应用方面.通过一个例子来说明用Agent技术构建系统逻辑模型的过程.主体成为软件系统的基本单元,为协同工作提供了服务层次上的封装,整个系统的行为由构成系统的各个主体的交互、协作和协调决定.面向Agent建模方法提供了一系列的操作规程,据此可将现实系统以既定逻辑模型的形式描述出来.     

自适应多Agent系统的面向Agent软件开发方法学ODAM

面向Agent软件工程被视为是一种可有效支持复杂系统开发的新颖软件开发范型.为支持复杂多Agent系统的开发,面向Agent软件工程的研究需发挥Agent技术的潜力和灵活性,借鉴软件工程领域已取得的成果,提出了一个面向Agent软件开发方法学ODAM以支持自适应多Agent系统的开发.ODAM以动态绑定机制作为自适应多Agent系统的核心机制,借助于组织学的概念和思想对自适应多Agent系统进行高层抽象和自然建模,以管理和控制系统的复杂度;集成了迭代开发和MDA方法以适应Agent技术平台的多样性,简化复杂自适应系统的开发.介绍了ODAM的方法学框架和具体的技术细节,包括动态绑定机制、基于组织抽象的元模型和建模语言、基于迭代开发和MDA的软件开发过程,并进行了案例分析.     

面向Agent的方法学概述

对面向Agent的方法学作了概述,介绍了面向Agent的系统建模方法,比较了它对于传统建模方法所具有的优势,最后对面向Agent系统的发展前景作了展望.     

面向Agent的软件工程方法学

现实世界中的软件系统越来越大,越来越复杂,使得现有的软件工程技术(如面向对象技术)很难解决系统中存在的一些问题.为了更好地解决这些问题,智能Agent由于其自身所具有的灵活性被应用到软件工程中,据此文中提出了一种新的面向Agent的软件工程方法学.详细介绍了面向Agent的系统建模方法和Agent的体系结构.最后给出了面向Agent的软件工程方法学在RoboCup中的具体应用,表明面向Agent的软件工程方法学为大型复杂系统的设计和实现提供了一种有效的新途径.     

面向Agent技术

Agent作为一种智能化的对象,使得面向Agent方法在面向对象方法基础上拥有了智能的分析和设计手段.面向Agent是继面向对象之后一个重要的思想,它的出现为解决日益复杂、庞大的系统问题提供了建设性的方式.面向Agent涵盖了程序设计、建模和软件工程等一系列的内容.面向Agent思想具有显著改善当前软件设计、软件工程等一系列问题的潜力.     

面向Agent的软件工程方法学

现实世界中的软件系统越来越大,越来越复杂,使得现有的软件工程技术(如面向对象技术)很难解决系统中存在的一些问题。为了更好地解决这些问题,智能Agent由于其自身所具有的灵活性被应用到软件工程中,据此文中提出了一种新的面向Agent的软件工程方法学。详细介绍了面向Agent的系统建模方法和Agent的体系结构。最后给出了面向A-gent的软件工程方法学在RoboCup中的具体应用,表明面向Agent的软件工程方法学为大型复杂系统的设计和实现提供了一种有效的新途径。     

面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

构建面向Agent的网上选课系统的需求模型

随着Agent技术的发展,面向Agent的需求工程已经成为软件工程研究的热点。当前对面向Agent需求工程的研究提出了一个新的观点,即把需求工程的活动划分为早期需求分析和后期需求分析两个阶段。在该文构建的需求模型中,早期需求分析过程主要采用由Eric Yu等人提出的I*框架,同时为了防止对需求分析的随意性和不准确,基于该框架提出新的需求模型。在后期的需求分析过程中,主要采用UML来完成。基于此,该文采用基于I*和UML的面向Agent需求建模方法,以网上选课系统案例为背景,研究构建面向Agent系统的需求模型的主要过程。     

基于MESSAGE和JADE的Agent开发方法研究

针对面向Agent软件工程方法在实际工作中的某些不足,以MESSAGE(软件Agent系统工程方法学)的建模概念和建模语言为基础,扩展了现有Agent软件工程分析和设计阶段的内容.以JADE为实现平台,将JADE中的相关术语与MESSAGE的建模概念通过一种映射进行有效转化,从而提出了一个系统和完整的Agent软件开发过程,给出企业战略合理性诊断系统,并证实该方法可以应用于现实的软件开发中.     

Model checking rational agents

Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for the (automatic or semiautomatic) verification of rational-agent systems written in a logic-based agent-oriented programming language. Typically, developers apply model-checking techniques to abstract models of a system rather than the system implementation. Although this is important for detecting design errors at an early stage, developers might still introduce errors during coding. In contrast, developers can directly apply our model-checking techniques to systems implemented in an agent-oriented programming language, automatically verifying agent systems without the usual gap between design and implementation. We developed our techniques for AgentSpeak, a rational-agent programming language based on the AgentSpeak (L) abstract agent-oriented programming language. AgentSpeak shares many features of the agent-oriented programming paradigm. Similarly, we've developed techniques for automatically translating AgentSpeak programs into the model specification language of existing model-checking systems. In this way, we reduce the problem of verifying that an AgentSpeak system has certain BDI logic properties to a conventional LTL model-checking problem.     

Trusted Agent-Mediated E-Commerce Transaction Services via Digital Certificate Management

Agent-mediated e-commerce (AMEC) transaction services will be a paradigm shift from the existing client–server e-commerce model. In order to fulfill the leverage of AMEC intermediary services with secure and trusted service capabilities, we propose an agent-oriented public key infrastructure (PKI) operating with a variety of digital certificates. Under this agent-oriented PKI, several trusted AMEC transaction service models will be demonstrated using human and agent certificates showing, delegation, and verification protocols. We establish human/agent authentication, authorization, delegation, access control, and trusted relationships before these trusted AMEC intermediary services can be realized. This paper shows that a trusted AMEC system can be implemented in the FIPA compliant multi-agent system.     

在JADE环境下面向Agent的Gaia建模

本文介绍了当今的面向agent编程技术,然后介绍了在java环境下实现agent编程的JADE框架,随后探讨了基于JADE框架实现了对一个GIS系统的Gaia建模的过程,Gaia建模方法是一种容易使用的面向agent的软件开发模式,JADE是一种很好的支持FIPA规范的agent开发环境,两者结合起来能进行更加敏捷而且高效的开发。     

基于网格的面向Agent形式化建模框架

提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^＊框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换．     

面向Agent的软件分析和设计方法

在复杂系统的分析、设计、开发过程中，面向Agent的方法在映射现实世界，模拟人认识问题、解决问题的过程等方面具有优势。从描述Agent的概念、分类和体系结构出发，对面向对象和面向Agent的分析设计方法进行了比较．讨论了面向Agent的分析模型及各模型的组成部分，以及面向Agent的分析模型到设计模型的转换，并指出面向Agent的分析设计方法提供了在建模、设计和实现不同级别上复用的基础。以政府公共行政服务系统为例对上述方法进行实例分析。最后得出面向Agent的软件分析和设计将为复杂系统提供新的解决思路的结论．同时指出本文提出的面向Agent的分析和设计方法的优点以及所面临的问题。     

A framework for model-based design of agent-oriented software

Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests a pressing need for system modeling techniques to support reliable, maintainable, and extensible design. G-nets are a type of Petri net defined to support system modeling in terms of a set of independent and loosely-coupled modules. In this paper, we customize the basic G-net model to define a so-called "agent-based G-net" that can serve as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multiagent systems, an example of an agent family in electronic commerce is provided. Finally, we demonstrate how we can use model checking to verify some key behavioral properties of our agent model. This is facilitated by the use of an existing Petri net tool.     

A comprehensive view of agent-oriented patterns

This paper presents a comprehensive framework for classifying, analyzing and describing agent-oriented software patterns. We present a two dimensional scheme for classifying agent-oriented patterns. We define agent-oriented pattern attributes and use these attributes in a process for analyzing and placing agent-oriented patterns within the classification scheme. Using the proposed classification scheme, we classify 28 patterns written by a variety of agent researchers, chosen from almost 100 patterns which we have studied.     

基于多智能体的人机协作智能信息系统

综合集成研讨厅理论体系是作为处理开放的复杂巨系统的有关问题而提出的,其实质 是一个人机协作的智能信息系统.本文主要探索研讨厅的实现途径,给出了基于网络的研讨厅的 层次模型与系统结构,提出了基于内嵌客户/Agent/服务器的请求器-中介器-供应器模型的多 智能体研讨厅的多层分布计算模型,并基于Java的智能信息Agent技术探讨了支持宏观经济决 策的多智能体研讨厅的构架及工作机制.研究表明,基于Internet有关技术与Agent计算技术有 可能实现研讨厅,并由于Agent技术的优势而可能得到较好的系统性能.     

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

The advent of multi-agent systems has brought us opportunities for the development of complex software that will serve as the infrastructure for advanced distributed applications. During the past decade, there have been many agent architectures proposed for implementing agent-based systems, and also a few efforts to formally specify agent behaviors. However, research on narrowing the gap between agent formal models and agent implementation is rare. In this paper, we propose a model-based approach to designing and implementing intelligent agents for multi-agent systems (MAS). Instead of using formal methods for the purpose of specifying agent behavior, we bring formal methods into the design phase of the agent development life cycle. Specifically, we use the formalism called agent-oriented G-net model, which is based on the G-net formalism (a type of high-level Petri net), to serve as the high-level design for intelligent agents. Based on the high-level design, we further derived the agent architecture and the detailed design for agent implementation. To demonstrate the feasibility of our approach, we developed the toolkit called ADK (Agent Development Kit) that supports rapid development of intelligent agents for multi-agent systems and we discuss the role of inheritance in agent-oriented development. As a potential solution for automated software development, we summarize the procedure to generate a model-based design of application-specific agents. Finally, to illustrate an application built on ADK, we present an air-ticket trading example.