OPERAS公司 swMATH ID: 30593 软件作者： 伊奥安娜·斯塔马托普鲁；Petros公司Kefalas；玛丽安·盖奥吉 描述： OPERAS：多代理系统的形式化建模框架及其在基于群的系统中的应用。基于群体的系统是一类特别令人感兴趣的多智能体系统，因为它们通过自组织表现出紧急行为。它们受到生物学的启发，但发现自己适用于广泛的领域，其中一些领域的特点是任务关键型。因此，这意味着正式框架和方法的使用将有助于MAS的建模，以便对最终产品进行全面测试并验证安全性能。实现这一点的一种方法是定义一种新的形式来指定MAS，这种形式可以精确地符合目的，但需要大量时间来正式证明方法的验证能力。另一种选择是使用现有的形式化方法，从而利用其遗产。在本文中，我们遵循后一种方法。我们提出OPERAS，这是一个开放的框架，它通过使用现有的形式化方法促进MAS的形式化建模。我们描述了该框架的一个特定实例，即OPERAS XC，如何集成有限状态机和生物计算系统（如X机和P系统）的最显著特征。我们演示了如何使用生成的方法对群系统进行形式化建模，并讨论了这种方法的灵活性和优势。 主页： https://rd.springer.com/chapter/10.1007/978-3-540-87654-0_8 相关软件： NetLogo公司 引用于： 2文件 全部的 前5名7位作者引用 1 乔治·埃利夫瑟拉基斯 1 乌韦·哈尼克 1 托马斯·欣泽 1 Petros Kefalas公司 1 伊利亚斯·萨凯拉里奥 1 伊奥安娜·斯塔马托普鲁 1 Lea Louise韦伯 连载1篇 1 自然计算 在4个字段中引用 2 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文