基于Gaia与JADE框架的MAS建模

为了更加有效地开发MAS系统,简化系统建模流程,传统的建模方法已暴露出其不足之处,因此必须采用新的分析和设计建模方法.提出了Gaia建模方法和JADE框架,Gaia为复杂开放式软件系统的设计和分析提供了清晰的解决方案,JADE则是在符合FIPA规范的MAS系统下开发Agent应用的一种软件框架结构,通过结合Gaia和JADE框架对一个针对手机用户的个人信息MAS系统进行了建模,验证了结合使用Gaia建模和JADE框架能够显著的简化MAS系统开发流程,提高开发效率.     

基于JADE和Jess的智能agent系统开发

多agent技术在复杂建模领域具有优势,是当前研究的一个热点。但对于普通研究者来说,从底层开发多agent系统具有复杂性。因此,该文分析了多agent系统的分析和设计过程,讨论了以JADE为开发工具的多agent系统开发步骤,并设计了基于Jess的知识推理流程,增强了agent智能性。对基于JADE和Jess的智能agent系统的开发过程进行了研究。     

一种基于AGORA结构的虚拟企业系统

本文介绍了面向多Agent协作的框架AGORA,在JADE平台上提出了一种虚拟企业系统设计方案,讨论了该系统的模型和主要实现技术。     

面向agent软件工程

1 引言面对复杂分布软件系统的开发,现有软件工程技术常遇到困难。面向agent技术为这类系统的理解、建模、开发提供了一种很自然的方法,较现有其它软件技术更适合于解决这类复杂的现实问题,是面向对象、构件、软件体系结构等软件工程思想的一种自然进步,被认为是网络时代计算机系统的基础。 Oren Etzioni认为:“对于智能agent,99％属于计算机科学,而1％属于人工智能”。面向agent软件工程方法是面向agent系统开发引入软件产业的关键因素,现有软件开发技术不能直接用于面向agent的软件开发,除了基本概念不同外,更重要的是现有方法不足以描述agent灵活性、自主问题求     

基于JADE的智能电子商务系统设计

传统电子商务系统无法让买卖双方就价格、性能、折扣等问题进行即时协商.利用智能体技术实现交易过程智能化是电子商务系统的发展趋势.JADE是基于Java语言的多智能体开发和运行环境,提供了对智能体的管理及通信控制.将JADE与Web访问技术结合起来,可以方便地构建智能电子商务系统,实现买方和卖方的交易协商.描述了JADE的工作原理,介绍了基于JADE平台设计并实现智能电子商务系统的基本方法,为智能电子商务的实现提供了一种技术途径.     

多主体系统的组织结构建模方法

组织结构是指从组织的观点来描述的多主体系统的全局体系结构,是多主体系统建模的一个重要方面。本文在已有的面向主体软件开发方法Gaia的基础上提出了一个组织结构建模方法Gaia2S以及可视化建模语言OrgS,并通过一个典型的电子商务案例详细说明了如何使用OrgS和Gaia2S对多主体系统的组织结构进行分析和建模。     

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

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

基于agent的分布式入侵检测系统框架的研究

本文介绍了一种基于移动agent的分布式入侵检测系统模型的框架,并给出了各个agent模块的详细设计。本系统是一个开发的系统,具有良好的扩展性,并且与特定的操作系统环境无关,具有通用性。本系统有较大的优点和先进性,具有一定的研究价值。     

面向人员工作流管理系统开发框架的设计实现

提出一种适用于面向人员工作流管理系统的开发框架,重点论述了框架的设计实现,并介绍具体应用实例。框架设置了三个层次：业务对象层、Runtime层和业务实体层。业务对象层提供简洁的API;Runtime层设置了统一的管理环境,保证面向人员工作流应用软件的可靠运行;业务实体层持久化并管理工作流对象。利用此框架开发面向人员工作流管理系统将大大简化开发的复杂性,提高系统的可维护性。     

基于UCML的软件开发的研究

UCML(Universal Component Modeling Logic)通用组件建模逻辑是一个面向WEB、面向框架,基于工作流和组件重用技术的软件开发平台,它涵盖了一个应用系统业务开发的全过程。文章介绍了该平台的体系结构、面向框架技术、组件重用技术和工作流原理,分析了它们在该平台软件开发设计和实现中的运用,并描述了基于该平台进行应用程序的开发模式。     

Agent-oriented model-driven development for JADE with the JADEL programming language

This paper describes, from motivations and main objectives to actual implementation, a novel agent-oriented programming language called JADEL. JADEL is designed to support the effective implementation of JADE agents and multi-agent systems in the scope of real-world model-driven development because it concretely helps developers by natively supporting agent-oriented abstractions, and because it is based on mature industrial-strength technologies. The four core abstractions that JADEL supports, namely agents, behaviours, communication ontologies, and interaction protocols, are presented by gradually introducing the specific syntaxes that the language provides for them. In the last part of the paper, a complete example of a simple JADEL multi-agent system is presented and discussed. Such an example is a well-known example from the official distribution of JADE and many programmers learned the basics of JADE from it. The choice of this example allows comparing JADEL source code with reference Java source code using JADE, and it clearly emphasizes the practical advantages of agent-oriented programming.Section 1 introduces and motivates the presented work. Section 2 surveys major AOP languages and, even if it cannot be considered exhaustive, it highlights the specific features of selected languages that have been relevant for the design of JADEL. Section 3 provides an overview of the features of JADE that are supported by JADEL. Section 4 presents the language in details by discussing main supported abstractions, and by specifying its formal syntax. Section 5 presents the most interesting parts of a complete example of the use of JADEL to develop a simple multi-agent system. Finally, Section 6 concludes the paper with a discussion of the current state of the presented work, and a preliminary assessment of the proposed language.     

THE GAIA2JADE PROCESS FOR MULTI-AGENT SYSTEMS DEVELOPMENT

In this paper we present the Gaia2JADE process concerning how one can implement a multi-agent system with the JADE framework using the Gaia methodology for analysis and design purposes. This process is particularly dedicated to the conversion of Gaia models to JADE code. It is described using the Software Process Engineering Metamodel (SPEM) and extends the one proposed by FIPA for describing the Gaia modeling process. Thus, it proposes to potential MAS developers a process that covers the full software development lifecycle. This work is based on the experience we have acquired by applying this process for implementing a real-word multi-agent system conceived for providing e-services to mobile users. With this paper, we share this experience with future multi-agent systems (MAS) developers, who would like to follow this process, taking into account several technical issues that emerged during the implementation phase, helping them to easily model and implement their systems.     

基于MaSE和JADE的智能会议系统研究与设计

研究了Agent技术在处理分布式系统中的问题,说明了应用MaSE(multi-agent systems engineering)方法、JADE(java agent development framework)架构和开发工具Agent Tool构建多Agent系统的优点,并与原有方法进行了比较,开发了应用面向对象方法分析与设计的智能会议日程安排系统,阐述了系统的执行过程.该系统具有自治性,可自动地确定会议日程,并为多噜Agent系统的研究提供了基础.     

基于Agent的模型转换及其支撑软件工具ODAMTransformer

模型驱动开发技术通过不同抽象层次模型的建立和转换,可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程,研究了基于Agent的模型转换技术,并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型,将基于特定平台所建立起来的模型视为平台相关模型,支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台,建立了ODAM元模型和JADE元模型间的映射关系,提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则,开发了相应的支撑软件工具ODAMTransformer,通过案例分析和演示展示了技术和工具的可行性和有效性。     

A platform-independent metamodel for multiagent systems

Various agent-oriented methodologies and metamodels exist to design and develop multiagent systems (MAS) in an abstract manner. Frequently, these frameworks specialise on particular parts of the MAS and only few works have been invested to derive a common standardisation. This limits the impact of agent-related systems in commercial applications. In this paper, we present a metamodel for agent systems that abstracts from existing agent-oriented methodologies, programming languages, and platforms and could thus be considered as platform-independent. This metamodel defines the abstract syntax of a proposed domain-specific modelling language for MAS that is currently under development and provides furthermore the base to generate code out of the generated designs. This is done by applying the principles of model-driven development (MDD) and providing two model transformations that allow transforming the generated models into textual code that can be executed with JACK and JADE.     

The Gaia Methodology for Agent-Oriented Analysis and Design

This article presents Gaia: a methodology for agent-oriented analysis and design. The Gaia methodology is both general, in that it is applicable to a wide range of multi-agent systems, and comprehensive, in that it deals with both the macro-level (societal) and the micro-level (agent) aspects of systems. Gaia is founded on the view of a multi-agent system as a computational organisation consisting of various interacting roles. We illustrate Gaia through a case study (an agent-based business process management system).     

面向Agent的软件设计模式

设计模式针对一类在特定上下文中反复出现的问题给出了通用解决方案,模式的提取和重用有助于提高软件开发的效率和质量,其思想和方法已在面向对象软件工程中得到广泛应用和验证。我们认为同一问题采用不同的实现技术往往具有不同的设计形态,不同软件开发范型也有其各自不同的设计模式。作为一种新颖的软件开发范型,近年来面向Agent软件工程的研究取得了长足进展,如何提高软件Agent技术实用性,发挥其技术潜力,扩大其应用范围成为当前人们关注的焦点。本文将模式思想引入到面向Agent软件工程,针对软件Agent技术的特点,从组织结构、交互协作和个体Agent体系结构三个视点提出了一组面向Agent的软件设计模式,以支持多Agent系统的设计;并进一步给出了面向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.     

面向Agent软件工程在企业素质诊断系统中的应用

在企业素质诊断系统的开发中引入AOSE,分析了AOSE方法在实际工作中的不足.在开发过程中以软件智能体系统工程方法学(MESSAGE)建模语言为一致性规则,采用愿望-意图-信念(D-I-B)次序的建模方法进行Agent设计.以JADE和Jadex为开发平台,给出了BDI Agent等关键技术的实现,总结出一个完整和系统的面向Agent软件开发过程.