Bidirectionally Tolerating Inconsistency: Partial Transformations
Bidirectionally Tolerating Inconsistency: Partial Transformations
复制标题
双向容忍不一致：部分转换
DOI：
10.1007/978-3-642-54804-8_3
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
P. Stevens
中科院分区：
文献类型：
--
作者：
P. Stevens
双向转换的一个基本属性是它们应该是正确的：也就是说，转换应该成功地恢复给定的任何模型之间的一致性。然而，在实践中，转换引擎有时无法恢复一致性，例如，因为没有一致的模型要返回，或者因为工具无法从同样好的候选中选择最佳模型来返回。在本文中，我们正式的属性，但可能在这种情况下举行，并讨论关系和影响。
A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from among equally good candidates. In this paper, we formalise properties that may nevertheless hold in such circumstances and discuss relationships and implications.
DOI：
--
发表时间：
2014-03
期刊：
--
影响因子：
--
作者：
J. Cheney;James McKinna;P. Stevens;J. Gibbons
通讯作者：
J. Cheney;James McKinna;P. Stevens;J. Gibbons