獾 swMATH ID: 6912 软件作者： Jorge Pinna Puissant；范德斯特雷顿（Van Der Straeten），拉格希尔德（Ragnhild）；男人，汤姆 描述： 獾：解决设计模型不一致的回归规划师。模型驱动软件工程的主要挑战之一是处理设计模型的不一致性。检测和解决这些不一致的自动化技术至关重要。我们建议使用自动规划的人工智能技术来解决软件模型不一致的问题。我们在Prolog中实现了一个回归规划器，并对其进行了验证，以解决不同大小的生成模型的不同类型的结构不一致。我们讨论了通过多次压力测试获得的方法的可伸缩性结果，并讨论了我们的方法的局限性。 主页： http://rd.springer.com/chapter/10.1007/978-3642-31491-9_13#页面-1 编程语言： 序言 关键词： 自动化规划；不一致性解决；模型可伸缩性 相关软件： 引用于： 0个文档