走向一种生成约束求解和基于规则推理的解释性追踪的通用框架
摘要：使用简单流利的演算（SFC）来指定通用追踪器，即产生通用追踪的追踪器的方法。通用追踪是可以由软件组件的不同实现产生并独立于被追踪的组件使用的追踪。本文介绍了一种使用SFC来扩展基于Java的CHROR平台CHROME（Constraint Handling Rule Online Model-driven Engine）的方法，包括在SFC中的追踪器规范、扩展它的方法论以及与CHROME集成的方式。结果得到了CHROME-REF（用于推理解释功能）平台，它是一个具有解释追踪功能的约束求解和基于规则的推理引擎。
作者：Pierre Deransart (INRIA Rocquencourt), Rafael Oliveira (CIN)
论文ID：1001.2188
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-01-14