基于Agent的无线传感器网络AUML交互模型

节点之间的协作交互是无线传感器网络自组织基础,也是拓扑控制和路由选择的本质特性。分析无线传感器网络典型拓扑控制算法和路由协议中的交互行为,在多Agent系统模型基础上,提出基于AUML的无线传感器网络Agent元模型和Agent模型图,构建适合于无线传感器网络的AUML交互模型,该模型包括WSNAgent实例、WSNAgent角色特征、WSNAgent生命线和控制焦点、连接器、消息、条件等基本组件。典型协议建模表明,无线传感器网络AUML交互模型具有较好的可视化描述能力,为无线传感器网络交互的实现奠定了良好基础。     

基于AUML的Agent建模方案研究

AUML(Agent UML)是Agent建模普遍采用的方法,其通过对UML的扩展来支持Agent的建模.通过借鉴面向对象的系统分析方法,给出了AUML建模方案,并详细描述了AUML的建模机制和各类图的扩展.以编队指挥系统为例,从分析系统用例,分析和识别最初的Agent类型,责任识别,提取Agent之间的关系及精化Agent,确定交互直至Agent信息的配置,建立了一整套基于AUML的Agent建模方案.     

基于AUML的面向Agent分析方法及其应用

根据Agent与对象的区别,借鉴面向对象方法,提出了一种基于AUML(AgentUML)的面向Agent的分析与建模方法。在模型表示法上对AUML进行了一些扩展。以用例图描述责任分配;用五个信息层次的Agent类图描述系统静态结构;用多种行为图从Agent外部到其内部描述系统动态行为。结合巡航导弹武器控制系统的分析过程,阐明了分析与建模的具体步骤和要领。     

基于CPN与Aalaadin元模型的MAS建模

对于MAS而言,传统的UML已经无法满足建模的需求,必须找到一种更好的方式来对MAS建模,这里对UML进行了研究和扩展至AUML,以达到对建模的需求,还使用了CPN与Aalaadin元模型来弥补AUML的不足,CPN与Aalaadin元模型也能很好的互为补充,极大提高了MAS模型的可行性.     

基于面向对象着色Petri网的多Agent系统建模

提出了一种基于面向对象着色Petri网（OOCPN）的多Agent建模方法,与其它建模方法相比,OOCPN可以全面地刻画出Agent的个体行为特征和多Agent间复杂、并行的动态交互,讨论了利用OOCPN进行个体Agent和多Agent间交互协议的建模,并通过对网上智能购物系统的实例分析,展示了OOCPN对多Agent系统的建模能力。     

飞机电源多Agent 预测与健康管理系统研究

针对复杂多任务的飞机电源预测与健康管理的需求,以状态维护开放系统体系结构OSA-CBM模型为标准架构,提出一种基于多Agent 的飞机电源故障预测与健康管理系统体系结构模型。结合原型系统开发实例,详细阐述了各Agent 的功能及相互关系。采用AUML 技术构建基于多Agent 的AEPHM系统模型,通过AUML 协议图描述了Agent 之间的主要交互活动。实践表明,该体系结构为航空机载设备预测与健康管理系统建设提供了一种新的设计开发模式。     

一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。     

基于着色网的Agent会话协议规范与会话建模

会话以及与之相关的会话协议的概念，作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共识。文中基于着色网的形式化表示，对多Agent系统中Agent之间复杂并行的会话进行建模。着色网不但可以用来描述简单的会话协议，也可以描述由简单会话协议合成的复杂会话，刻画会话的并行特征以及复杂会话运行时的状态。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统（Multi—AgentSystems，MAS）中，多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网，便于描述并发现象和模拟平行系统，除了直观的图形化表示，还具有精确的形式化定义，并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析，说明如何用着色Petri网进行建模。     

一种适于带时间戳安全协议的形式化分析方法

提出了一种适用于带有时间戳的安全协议的有色Petri（CPN）形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPN ML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。     

Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets

The standard language of message sequence charts (MSCs) is designed to describe scenarios of object interaction. Due to their expressiveness and simplicity, MSC diagrams are widely used in practice at all stages of system design and development. In particular, the MSC language is used for describing communication behavior in distributed systems and communication protocols. In this paper, a method for analysis and verification of MSC and HMSC diagrams is considered. The method is based on translation of (H)MSCs into coloured Petri nets. The translation algorithms cover most standard elements of MSCs including data concepts. Size estimates of the CPN, which is the result of translation, are given. Properties of the resulting CPN are analyzed and verified by using the known system CPN Tools and the CPN verifier based on the known tool SPIN. The translation method is demonstrated with an example.     

Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets

Uniform systems of communicating extended finite-state automata are considered. These systems can be used for the initial specification of telecommunication systems such as ring protocols and telephone networks. This paper aims to present an automata systems verifier tool (ASV) designed for the analysis and verification of automata specifications. It is based on an algorithm for the translation of automata systems into colored Petri nets (CPN) presented and justified in [4]. The ASV tool uses CPN Tools [10] for analysis and simulation of CPN, also it uses Petri Net Verifier [12] to verify CPN properties by applying the model checking method to CPN reachability graph with respect to the properties expressed in μ-calculus. The application of the ASV tool is described for the ring RE-protocol verification and the study of the feature interaction in telephone networks.     

基于有色Petri网的SPIN协议建模与分析

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.     

Methodological design and comparative evaluation of a MAS providing AmI

Researches on Ambient Intelligent and Ubiquitous Computing using wireless technologies have increased in the last years. In this work, we review several scenarios to define a multi-agent architecture that support the information needs of these new technologies, for heterogeneous domain. Our contribution consists of designing in a methodological way a Context Aware System (involving location services) using agents that can be used in very different domains. We describe all the steps followed in the design of the agent system. We apply a hybridizing methodology between GAIA and AUML. Additionally we propose a way to compare different agent architectures for Context Aware System using agent interactions. So, in this paper, we describe the assignment of weight values to agents interaction in two different MAS architectures for Context Aware problems solving different scenarios inspired in FIPA standard negotiation protocols.     

用UML与Petri网为智能代理建模

统一建模型语言（UML）已经成为软件系统的分析与设计的标准工具，但由它扩充而成的代理统一建模型语言（AUML）还没变成一个标准，目前的AUML规格说明还有很多的局限性，还不能胜任多代理系统的开发．Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具．本文主要分析当前AUML规格说明和Petri网概念．找出它们之间的结合点，提出用Petri网扩充AUML的方法．将其应用于多代理系统的开发，就能实施之前运用Petri网进行系统的正确性与有效性验证．     

Applying Gaia and AUML for the development of multiagent‐based control software for flexible manufacturing systems: addressing methodological and implementation issues

In this article, we present the development of a simple multiagent‐based system for the control of a flexible manufacturing system. We followed the stages of a methodology specially conceived for the development of agent‐based system, which is an integration of the classical methodology for agent‐oriented analysis and design Gaia, and AUML (Agent‐Unified Modeling Language). We adopted as study case the CIMUBB Laboratory at the University of Bio‐Bio, which has a flexible manufacturing system including three flexible manufacturing cells interconnected by a conveyor belt. In the analysis stage, we identified roles involved, and we design models representing roles and protocols. In the design stage, we applied Gaia agent, services, and acquaintance models from Gaia, and we complemented with AUML as the adopted methodology suggests. With the developed models, we constructed a fully functional system where each agent was built as an independent process tree. Agents communicate by passing messages through the Ethernet network with socket interfaces. Various tests executed in our laboratory scale manufacturing system show the effectiveness of our implementation. Copyright © 2015 John Wiley & Sons, Ltd.