摘要
A.El、Fallah-Seghrouchni和H.Mazouzi,《联合国环境保护协会》,1999年11月8日至10日,圣吉尔斯,留尼汪岛。 谷歌学者 B.Bauer、J.P.Muller和J.Odell,in: Agent UML:一种指定面向Agent的多Agent交互软件工程的形式化 P.Ciancarini和M.Wooldridge主编,施普林格出版社,柏林,2001年,第91-103页。 谷歌学者 C.Girault和R.Valk,《系统工程的Petri网:建模、验证和应用指南》。 Springer-Verlag,2002年,国际标准图书编号:3-540-41217-4。 谷歌学者 C.LEMAOETRE等人,《CATN互动的描述、编程与验证》,法国里尔,2003年。 谷歌学者 D.Harel和M.Politi, 用状态图建模反应系统 ,McGraw-Hill,1998年。 谷歌学者 数字图书馆 E.Astesiano,UML作为异构多视图表示法。 正式基金会战略: 程序。 面向对象编程会议 L.Andrade、A.Moreira、A.deshpande和S.Kent主编系统、语言和应用(OOPSLA’98)-UML形式化研讨会。 为什么? 怎样?, 加拿大1998年。 谷歌学者 E.Tranvouez和B.Espinasse,Protocoles de coopération pour le réordonnancement d'atelier,in actes des journées francophones d'Intelligence Artificielle Distributuee et Systèmes Multi-Agents(JFIADMSA'99)áSaint-Gilles,âle de la réunion,1999年11月,Gleizes J.-P.,Marcenac P.,Ed.Hermès,1999年。 谷歌学者 E.Tranvouez,IAD et ordonnance:une approche cooperative du reéordonnacement par systemes multi-gents(IAD与订单:统一的订单合作伙伴系统)。 博士学位。 马赛第三经济与科学大学,2001年。 谷歌学者 Ga?evic,D.Deved'ic,《Petri网教学软件支持:P3》,第三届IEEE高级学习技术国际会议论文集,希腊雅典,2003年,第300-301页。 谷歌学者 D.Gaíevic、V.Deved'ic和N.Veselinovic,P3:用于硬件教学的Petri网教育软件工具,Petri网新闻稿,第66期,2004年4月(即将出版)。 谷歌学者 G.Reggio和R.Wieringa, UML1.3动力学语义中的31个问题 ,在面向对象编程、系统、语言和应用会议(OOPSLA’99)——UML挑战和局限性的严格建模分析研讨会上,1999年。 谷歌学者 H.Mazouzi、A.El Fallah Seghrouchni和S.Haddad, 多智能体系统中复杂交互的开放协议设计 ,在第一次关于自治代理和多代理系统的国际联合会议上,ACM出版社,2002年,517-526。 谷歌学者 I.Bakam、F.Kordon、C.L.Page和F.Bousquet, 基于有色Petri网的空间化多智能体模型的形式化研究狩猎管理系统 第一届国际研讨会,FAABS 2000,美国马里兰州绿地,2000年4月。 FAABS 2000。 谷歌学者 J.L.Peterson,Petri网理论和系统建模Prentice-Hall,N.J.,1981年,ISBN:0-13-61983-5。 谷歌学者 J.Meseguer,并发对象逻辑理论及其在莫德语言中的实现,载于: 基于对象并发的研究方向 G.Agha、P.Wegner和A.Yonezawa主编,麻省理工学院出版社,1992年。 谷歌学者 J.Meseguer,《重写逻辑中的软件规范和验证》,载: 工程软件的模型、代数和逻辑 ,M.Broy和M.Pizka主编,IOS出版社,2003年,第133-193页。 国际标准书号1-58603-342-5。 谷歌学者 J.Odell、H.V.D.Parunak和B.Bauer, 用UML表示Agent交互协议 2000年3月至7月在巴塞罗那举行的AAAI Agents 2000大会。 谷歌学者 J.Odell、H.V.D.Parunak和B.Bauer,《UML中的代理交互协议表示》,收录于: 面向Agent的软件工程 P.Ciancarini和M.Wooldridge主编,Springer-Verlag,柏林,2001年,第121-140页。 谷歌学者 K.kavi和al。 扩展UML用于多Agent系统建模与设计 ,程序。 2003年5月3日至4日,俄勒冈州波特兰市,ICSE’03大型多代理系统软件工程研讨会(SELMAS’03)。 谷歌学者 L.Zavala、A.Care-O和C.Lemaoetre,《CATNAgent工具包:una plataforma para el disno y ejucion de sistemas muliagentes》,墨西哥计算机科学国际会议,2001年。 谷歌学者 M.Clavel等人。, 莫德:重写逻辑中的规范和编程 《内部报告》,SRI International,1999年。 谷歌学者 M.Clavel等人。, Maude 2.0手册,1.0版 ,SRI International,Menlo Park,CA 91025,USA,2003年6月。 谷歌学者 M.K.Purvis、S.Crane_eld、M.Nowostawski、R.Ward、D.Carter和M.A.Oliveira, 使用Opal平台的代理城市交互 《In Work.on Challenges In Open Agent Systems》,AAMAS,2002年。 谷歌学者 M.K.Purvis、S.Crane_eld、M.Nowostawski和M.A.Purvis, 动态变化环境中的MAS交互协议 《走向应用科学:MAS问题空间及其实现,以实现全球一致行为》。 AAMAS,2002年。 谷歌学者 M.Nowostawski、M.Purvis和S.Crane_eld, 代理对话建模的分层方法 ,《代理、MAS和可扩展MAS的基础结构》第2期,Agents 2001。 谷歌学者 M.P.Huget和J.Odell, 用Agent UML表示Agent交互协议 2004年7月19日至23日,AAMAS’04,美国纽约州纽约市。 谷歌学者 M.Wooldridge等人,面向主体分析和设计的gaia方法, 自治Agent和多Agent系统 三 (3) (2000), 285-312. 谷歌学者 交叉引用 P.A.Muller和Nathalie Gaertner,《利用UML进行对象建模》,巴黎2000年Deuxième版。 谷歌学者 R.Cost和al.用有色Petri网建模Agent对话。 《制定和实施对话政策研讨会工作说明》,自治代理人'99,西雅图,华盛顿,1999年5月。 谷歌学者 S.保罗巴利, 理性主体与谈判的过程和状态 2002年,帝国理工学院博士论文。 谷歌学者 S.Paurobally、J.Cunningham和N.R.Jennings, 使用图形和逻辑方法开发Agent交互协议 ,在程序中。 AAMAS03 PROMAS多代理系统编程研讨会,2003年。 谷歌学者 S.Paurobally和J.Cunningham, 在开放代理环境中实现通用交互协议 2003年7月14日至18日,澳大利亚墨尔本,AAMAS 2003,第二届开放代理环境挑战国际研讨会。 谷歌学者 T.McCombs, Maude 2.0底漆 1.0版。 内部报告,SRI国际,2003年。 谷歌学者 对象管理小组,OMG统一建模语言规范,1.3版,2001年3月。 谷歌学者 V.T.Pham、L.Magnin和H.Sahraoui, 多智能体系统的适应动态基于概念模型-CATN 《丹麦人与国际交流协会越南人与法语国家信息》,越南河内,2004年5月2日至5日。 谷歌学者 Z.Guessoum, 代理与系统多代理适应性模型与架构 《皮埃尔和玛丽·居里大学研究能力档案》,2003年。 谷歌学者
索引术语
从AUML图生成Maude形式规范
建议
使用RT-maud形式化ARTIS代理模型 MATES’09:第七届德国多智能体系统技术会议记录 实时多智能体系统是计算机科学领域一个很有前途的领域。 在这样一个领域中实现的大多数工作都是在没有考虑代理模型的形式规范的情况下开发的。 正在正式化实时。。。 在Maude规范中嵌入特定领域的建模语言 我们提出了一种定义和分析领域特定建模语言(dsml)的形式化方法。 该方法使用标准模型驱动的工程工件来定义语言的语法(使用元模型)及其操作语义(。。。