A FORMALIZATION OF DARCS PATCH THEORY USING INVERSE SEMIGROUPS
A FORMALIZATION OF DARCS PATCH THEORY USING INVERSE SEMIGROUPS
复制标题
利用逆半群对DARCS补丁理论进行形式化
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Judah S. Jacobson
中科院分区：
文献类型：
--
作者：
Judah S. Jacobson
。并专门为该系统所选择的假设。提供了一个有用的框架，以讨论和提供有关DARCS执行的操作的结果。
. Darcs is a distributed version control system with a flexible repository model. An abstract “theory of patches” determines how changes from multiple sources are combined and transformed while maintaining a consistent history. Previous formalizations of the semantics of Darcs have generally relied on definitions and assumptions chosen specifically to model that system. We present a formalization of patch theory which builds upon established mathematical concepts. In particular, we model patch effects as elements of inverse semigroups , which generalize the properties of partial injective functions. We demonstrate that our approach provides a useful framework for discussing and proving results about the operations performed by Darcs. We also give new insight into conflictors , which are used to merge incompatible changes and can affect reliability and performance of the software.