歌剧

OPERAS:多智能体系统形式化建模框架及其在基于群的系统中的应用。基于群体的系统是一类特殊的多智能体系统(MAS),因为它们通过自组织表现出涌现行为。它们受到生物学的启发,但发现自己适用于广泛的领域,其中一些领域的特点是任务关键型的。因此,使用正式的框架和方法将有助于MAS的建模,从而使最终产品得到充分测试,安全性能得到验证。实现这一点的一种方法是定义一种新的形式来指定MAS,它可以精确地满足目的,但需要很长的时间来正式证明方法的有效性。另一种选择是使用现有的形式化方法,从而利用它们的遗产。在本文中,我们遵循后一种方法。我们提出了OPERAS,一个开放的框架,通过使用现有的形式化方法来促进MAS的形式化建模。我们描述了这个框架的一个具体实例OPERAS-XC如何将有限状态机和生物计算系统(如X机和P系统)的最突出的特性结合起来。我们演示了如何使用所得到的方法来正式建模一个群系统,并讨论了这种方法的灵活性和优势。

zbMATH参考文献(参考 4篇文章 参考)

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

  1. Thomas Hinze;Weber,Lea Louise;Hatnik,Uwe:步行膜:用人工进化的网格探索P系统,用于级联过程的多用途拓扑优化(2017)
  2. Kefalas,Petros;Stamatopoulou,Ionana;Sakellariou,Ilias;Eleftherakis,George:将通信X机器转换为P系统(2009)
  3. Stamatopoulou,Ioana;Kefalas,Petros;Gheorghe,Marian:OPERAS:多智能体系统的形式化建模框架及其在基于群的系统中的应用(2008)ioport公司
  4. Stamatopoulou,Ioana;Kefalas,Petros;Gheorghe,Marian:(OPERAS_CC):基于人口P系统的MAS建模的正式框架实例(2007)ioport公司