皮尔洛 swMATH ID: 8421 软件作者： Lenz Belzner；德尼古拉（De Nicola）、罗科（Rocco）；安德烈·范丁（Andrea Vandin）；马丁·威尔辛 描述： 重写逻辑中的服务组件集成推理对具有大量异构组件的自主系统进行编程给语言设计者和软件工程师带来了许多挑战，并需要集成计算工具和推理工具。我们提出了一种通用方法来丰富SCEL，这是一种最近引入的语言，用于具有大量组件的编程系统，具有由外部推理器保证的推理能力。我们通过考虑SCEL的Maude实现和Maude中实现的特定推理器Pirlo，展示了如何实例化该方法。此外，我们展示了实际集成如何从Maude框架的现有分析工具中受益。特别是，我们通过考虑一个简单的场景来展示我们的方法，该场景由一群机器人在竞技场中移动组成，旨在最大限度地减少碰撞次数。 主页： http://rd.springer.com/chapter/10.1007/978-3-642-54624-2_10 相关软件： MultiVeStA公司;SCEL公司;莫德;SCE灯;科莱姆;自旋蛋白;帕戈达;FAMT公司;RNet徽标;ASAP3公司;生物战;NetLogo公司;杰森;琳达;埃尔朗;奶牛;2APL公司;代理峰值;MetaKlaim公司;克拉瓦 引用于： 4文件 全部的 前5名15位作者引用 2 洛科·德尼古拉 2 罗萨里奥·普格利泽 2 弗朗西斯科·蒂埃齐 1 伦茨·贝尔兹纳 1 弗朗西斯卡·奇亚罗蒙特 1 吉安·路易吉，法拉利 1 丹尼尔·贾奇尼 1 弗朗西斯科·兰佩蒂 1 阿尔贝托·卢什·拉富恩特 1 米歇尔·洛雷蒂 1 安德烈亚·莫里切塔 1 史蒂芬妮·纽伯特 1 瓦莱里奥·塞尼 1 安德烈·范丁 1 马丁·威尔辛 2篇连载文章中引用 1 经济动力学与控制杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 三 计算机科学（68至XX） 1 统计学（62-XX） 按年份列出的引文