岛民

岛民:电子机构编辑。在本文中,我们提出了ISLANDER,一个用于规范和验证代理中介的电子机构的工具,我们定义了一种文本声明语言来描述一个机构的组件。还介绍了一名岛民编辑。它方便了机构设计者的工作,允许图形和文本规范的结合。我们的立场是,在开始开发复杂系统之前,需要一个可验证的正式规范。这个工具是我们为设计和开发开放多智能体系统的基础设施而迈出的第一步。


zbMATH参考文献(14篇文章引用)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. Bulling,Nils;Dastani,Mehdi:基于规范的机制设计(2016)
  2. Dastani,Mehdi;Meyer,John Jules Ch.;Grossi,Davide:规范多智能体程序的逻辑(2013)
  3. Artikis,Alexander:开放代理系统的动态规范(2012)
  4. d'Inverno,Mark;Luck,Michael;Noriega,Pablo;Rodriguez Aguilar,Juan A;Sierra,Carles:通信开放系统(2012)ioport公司
  5. Hübner,Jomi F.;Boissier,Olivier;Bordini,Rafael H.:多代理组织的规范编程语言(2011)
  6. Hübner,Jomi Fred;Boissier,Olivier;Kitio,Rosine;Ricci,Alessandro:用组织人工制品和代理为多主体组织提供工具(2010)ioport公司
  7. Michael,Loizos;Parkes,David C.;Pfeffer,Avi:使用权利和义务规定和监控经济环境(2010年)ioport公司
  8. Alexander Artikis;Sergot,Marek;Pitt,Jeremy:指定规范管理的计算社会(2009)
  9. Bromuri,Stefano;Urovi,Visara;Stathis,Kostas:GOLEM agent环境中基于游戏的电子零售(2009)ioport公司
  10. Dennis,Louise;Fisher,Michael;Hepple,Anthony:多代理编程的语言构造(2009)
  11. Alexander Artikis;Sergot,Marek;Pitt,Jeremy:形式论证协议的可执行规范(2007)
  12. 2007年,安顿·卡尔多夫(Antonic Carlycoff);新开张的迈克尔·卡利特(Antonic Carlycoff);西姆迪特·博格(Sierra-Carlycoff);西姆迪特·博格(Sierra-Carlycoff);新开展的迈克尔·卡利特(Antonic-Carlycoff);西姆迪思·科夫(Sierra-Carioport公司
  13. Jonker,Catholijn M.;Sharpanskykh,Alexei;Treur,Jan;Yolum,PInar:组织的正式建模和分析框架(2007)ioport公司
  14. Alberti,Marco;Gavanelli,Marco;Lamma,Evelina;Mello,Paola;Torroni,Paolo;Sartor,Giovanni:将义务操作员映射到诱拐预期(2006年)